177 search results - page 4 / 36 » Probabilistic Simulation-Based Analysis of Complex Real-Time... |
CAIP
2009
Springer
15 years 4 months ago
2009
Springer
A probabilistic framework for vision based volumetric reconstruction and marker free tracking of hand and face volumes is presented, which exclusively relies on off-the-shelf hardw...
105
click to vote
FMOODS
2007
14 years 11 months ago
2007
This paper describes the application of Real-Time Maude to the formal specification, simulation, and further formal analysis of the sophisticated state-of-the-art OGDC wireless se...
ECRTS
2004
IEEE
15 years 1 months ago
2004
IEEE
The contribution of this paper is threefold. First, an improvement to a previously published paper on the timing analysis of Controller Area Network (CAN) in the presence of trans...
DAC
1997
ACM
15 years 1 months ago
1997
ACM
We present a system-level approach for power optimization under a set of user specified costs and timing constraints of hard real-time designs. The approach optimizes all three d...
104
click to vote
ICCV
2007
IEEE
15 years 11 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...