3387 search results - page 150 / 678 » Model-Checking for Real-Time Systems |
154
click to vote
PAMI
1998
15 years 6 months ago
1998
—We present two real-time hidden Markov model-based systems for recognizing sentence-level continuous American Sign Language (ASL) using a single camera to track the user’s una...
170
click to vote
RTAS
2008
IEEE
16 years 1 months ago
2008
IEEE
In the domain of multiprocessor real-time systems, there has been a wealth of recent work on scheduling, but relatively little work on the equally-important topic of synchronizati...
183
click to vote
RTCSA
2005
IEEE
16 years 12 days ago
2005
IEEE
— In order for humanoid robots to perform skillful tasks, a reliable and scalable computing system that supports hard real-time processing is required. This paper describes a fiv...
183
click to vote
RTCSA
1999
IEEE
15 years 11 months ago
1999
IEEE
The lifecycle for industrial applications are becoming shorter, the application complexity increases, performance is to low, fault tolerance is required, reuse of components is de...
164
click to vote
ADAEUROPE
2007
Springer
16 years 1 months ago
2007
Springer
Modernlarge real-time systems are becoming more complex. Whilst Ada 2005 provides a comprehensive set of programming mechanisms that allow these systems to be implethe abstraction...