2042 search results - page 233 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
146
click to vote
AAAI
1997
15 years 5 months ago
1997
We address the problem of visually detecting causal events and tting them together into a coherent story of the action witnessed by the camera. We show that this can be done by re...
146
click to vote
ECRTS
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper describes a methodology for the development of real-time systems and shows its application to the modeling, analysis and implementation of distributed multimedia system...
142
click to vote
ISMAR
2009
IEEE
15 years 10 months ago
2009
IEEE
Augmented reality applications often rely on a detailed environment model to support features such as annotation and occlusion. Usually, such a model is constructed offline, whic...
117
click to vote
FPLAY
2008
15 years 5 months ago
2008
This paper presents a game-model of a gym training system, where the behavior of the system is specified using languages developed originally for reactive system design, which dri...
136
click to vote
WSC
1998
15 years 5 months ago
1998
A regional transportation system and the movement of large traffic volumes through it, are characteristic of stochastic systems. The standard traffic management or transportation ...