A Decidable Dichotomy Theorem on Directed Graph Homomorphisms with Non-negative Weights
A Decidable Extension of Data Automata
A Decidable Fragment of Strategy Logic
A decidable policy language for history-based transaction monitoring
A Decidable Probability Logic for Timed Probabilistic Systems
A decidable subclass of finitary programs
A Decidable Timeout based Extension of Propositional Linear Temporal Logic
A Decision Feedback Based Scheme for Slepian-Wolf Coding of sources with Hidden Markov Correlation
A Decision Problem for Ultimately Periodic Sets in Non-standard Numeration Systems
A decision procedure for linear "big O" equations
A decision procedure for well-formed linear quantum cellular automata
A decision support system for ship identification based on the curvature scale space representation
A Decision Theoretic Framework for Real-Time Communication
A Decision Tree of Bigrams is an Accurate Predictor of Word Sense
A Decision-Making Support System Based on Know-How
A Decision-Optimization Approach to Quantum Mechanics and Game Theory
A decision-theoretic approach to reliable message delivery
A Decision-Theoretic Approach to Resource Allocation in Wireless Multimedia Networks
A Declarative Semantics for CLP with Qualification and Proximity
A Decompilation Approach to Partitioning Software for Microprocessor/FPGA Platforms