891 search results - page 16 / 179 » Temporal Constraints: A Survey |
114
click to vote
CAV
2003
Springer
15 years 7 months ago
2003
Springer
Run-time monitoring of temporal properties and assertions is used for testing and as a component of execution-based model checking techniques. Traditional run-time monitoring howev...
198
click to vote
VLDB
2005
ACM
16 years 2 months ago
2005
ACM
Joins are arguably the most important relational operators. Poor implementations are tantamount to computing the Cartesian product of the input relations. In a temporal database, t...
AIMSA
2008
Springer
15 years 8 months ago
2008
Springer
Integrated modeling of temporal and logical constraints is important for solving real-life planning and scheduling problems. Logical constrains extend the temporal formalism by rea...
119
click to vote
IJCAI
2003
15 years 3 months ago
2003
Temporal Constraint Satisfaction Problems allow for reasoning with events happening over time. Their expressiveness has been extended independently in two directions: to account f...
117
Voted
ECAI
2008
Springer
15 years 3 months ago
2008
Springer
A temporal constraint management system (TCMS) is a temporal network together with algorithms for managing the constraints in that network over time. This paper presents a practica...