410 search results - page 68 / 82 » Temporal View Self-Maintenance |
SIGGRAPH
1996
ACM
15 years 4 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....
105
click to vote
NN
1997
Springer
15 years 4 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
15 years 4 months 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...
105
Voted
CONCUR
2009
Springer
15 years 4 months 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...
113
click to vote
CAV
2004
Springer
15 years 4 months 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...