Identifying optimal trade-offs between CPU time usage and temporal constraints using search.
Shiva NejatiLionel C. BriandPublished in: ISSTA (2014)
Keyphrases
- temporal constraints
- temporal reasoning
- trade off
- search algorithm
- constraint reasoning
- constraint propagation
- simple temporal
- search space
- temporal information
- temporal constraint networks
- consistency checking
- workflow systems
- clinical guidelines
- ai planning
- global consistency
- incremental algorithms
- dynamic programming
- computer vision
- databases