732 search results - page 41 / 147 » Periodicity-Based Temporal Constraints |
169
Voted
FTRTFT
1992
Springer
15 years 7 months ago
1992
Springer
Real-Time Logic is a formal notation for reasoning about temporal behaviour. Z is a general purpose specification language, but lacks explicit features for expressing real-time co...
147
click to vote
EAAI
2008
15 years 3 months ago
2008
: In real life scenarios there is often the need for modelling conditional plans where external events determgine the actual execution sequence. Conditional Temporal Problems (CTPs...
95
Voted
MICRO
2008
IEEE
15 years 9 months ago
2008
IEEE
—L1 instruction-cache misses pose a critical performance bottleneck in commercial server workloads. Cache access latency constraints preclude L1 instruction caches large enough t...
131
click to vote
AAAI
2004
15 years 4 months ago
2004
We present an efficient approach to adding soft constraints, in the form of preferences, to Disjunctive Temporal Problems (DTPs) and their subclass Temporal Constraint Satisfactio...
120
Voted
ICCV
2001
IEEE
16 years 5 months ago
2001
IEEE
This paper presents a new approachto recognizingmultiagent events observed by a static camera. To track objects robustly, knowledgeabout the groundplaneand the events is used. An ...