Formally specifying temporal constraints and error recovery.
Stuart KentT. S. E. MaibaumWilliam J. QuirkPublished in: RE (1993)
Keyphrases
- temporal constraints
- error recovery
- temporal reasoning
- text understanding
- plan generation
- error detection
- plan execution
- temporal information
- video transmission
- network coding
- constraint satisfaction problems
- packet loss
- error concealment
- machine learning
- knowledge representation
- search algorithm
- databases
- qualitative and quantitative
- functional dependencies
- coding scheme
- dynamic environments