1521 search results - page 130 / 305 » On Sampled Semantics of Timed Systems |
GPCE
2007
Springer
15 years 4 months ago
2007
Springer
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchrono...
ICCV
2001
IEEE
15 years 12 months ago
2001
IEEE
Particle filters are used for hidden state estimation with nonlinear dynamical systems. The inference of 3-d human motion is a natural application, given the nonlinear dynamics of...
TACAS
2005
Springer
15 years 3 months ago
2005
Springer
We present MC2 , what we believe to be the first randomized, Monte Carlo algorithm for temporal-logic model checking, the classical problem of deciding whether or not a property s...
MMM
2008
Springer
15 years 4 months ago
2008
Springer
We propose a new method for localizing a sound source in a known space with non-calibrated microphones. Our method does not need the accurate positions of the microphones that are ...
ICRA
2005
IEEE
15 years 3 months ago
2005
IEEE
— When industrial robot arms are controlled using sensor data the performance is dependent on the sensor sampling rate, on delays in signal processing, and on the robot dynamics....