3387 search results - page 165 / 678 » Model-Checking for Real-Time Systems |
165
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
— We introduce precomputed multizone elastokinematic models for interactive simulation of multibody kinematic systems which include elastostatic deformations. This enables an eï¬...
213
click to vote
CVPR
2007
IEEE
16 years 9 months ago
2007
IEEE
In this paper we present a full-featured license plate detection and recognition system. The system is implemented on an embedded DSP platform and processes a video stream in real...
191
click to vote
PRDC
2008
IEEE
16 years 1 months ago
2008
IEEE
We consider efficient real-time communication mechanisms for applications in unreliable and partitionable networks, where network partitions can occur unpredictably and nodes can ...
188
click to vote
ICPPW
2006
IEEE
16 years 27 days ago
2006
IEEE
Speech recognition has become common in many application domains, from dictation systems for professional practices to vocal user interfaces for people with disabilities or hands-...
213
click to vote
WORDS
2005
IEEE
16 years 13 days ago
2005
IEEE
: The development of real-time systems that are distributed over a wide area is a significant problem that has challenged researchers for many years. Such systems require precise t...