3387 search results - page 210 / 678 » Model-Checking for Real-Time Systems |
224
click to vote
SIGMETRICS
2008
ACM
15 years 7 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
230
click to vote
ICCV
2007
IEEE
16 years 9 months ago
2007
IEEE
We present a fully-automated method for real-time and marker-free 3D human motion capture. The system computes the 3D shape of the person filmed from a synchronized camera set. We...
205
click to vote
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
Real-time image processing tasks not only require high computing power but also high data bandwidth. Though current processors excel in computing power, memory throughput is still...
181
Voted
WWW
2009
ACM
16 years 1 months ago
2009
ACM
This paper presents a near real-time multilingual news monitoring and analysis system that forms the backbone of our research work. The system integrates technologies to address t...
200
Voted
ISVC
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we propose a new system for real-time feature acquisition and integration based on high-resolution stereo images that is suitable for mobile robot platforms with limi...