2032 search results - page 311 / 407 » Encodings of the Sequence Constraint |
177
click to vote
ECCV
2004
Springer
15 years 10 months ago
2004
Springer
Feature point tracking over a video sequence fails when the points go out of the field of view or behind other objects. In this paper, we extend such interrupted tracking by imposi...
157
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
Monitoring systems today often involve continuous queries over streaming data, in a distributed collaborative system. The distribution of query operators over a network of process...
176
click to vote
CAV
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...
194
click to vote
SIGGRAPH
1995
ACM
15 years 9 months ago
1995
ACM
We describe a simple technique for editing captured or keyframed animation based on warping of the motion parameter curves. The animator interactively defines a set of keyframe-l...
139
click to vote
WSC
2007
15 years 8 months ago
2007
Department of Health and Environmental Control (DHEC) issued an order recently requiring that all hospitals have an evacuation plan with the following components: sheltering plan,...