410 search results - page 68 / 82 » Temporal View Self-Maintenance |
SIGGRAPH
1996
ACM
14 years 1 months ago
1996
ACM
We present a new representation for time-varying image data that allows for varying--and arbitrarily high--spatial and temporal resolutions in different parts of a video sequence....
NN
1997
Springer
14 years 1 months ago
1997
Springer
Bayesian networks are directed acyclic graphs that represent dependencies between variables in a probabilistic model. Many time series models, including the hidden Markov models (H...
KR
1992
Springer
14 years 27 days ago
1992
Springer
In this paper, we view planning as a special case of reasoning about indefinite actions. We treat actions as predicates defined over a linear temporal order. This formalism permit...
CONCUR
2009
Springer
14 years 23 days ago
2009
Springer
Abstract. We study the decidability and complexity of verification problems for timed automata over time intervals of fixed, bounded length. One of our main results is that time-bo...
CAV
2004
Springer
14 years 17 days ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...