181 search results - page 4 / 37 » It's About Time: Real-Time Logics Reviewed |
ASWSD
2004
Springer
14 years 3 months ago
2004
Springer
– A safety-critical real-time computer system must provide its services with a dependability that is much better than the dependability of any one of its constituent components. ...
CVPR
2005
IEEE
14 years 3 months ago
2005
IEEE
This work presents a real-time system for multiple objects tracking in dynamic scenes. A unique characteristic of the system is its ability to cope with longduration and complete ...
CVPR
2010
IEEE
14 years 4 months ago
2010
IEEE
We present a method for real-time 3D object detection
that does not require a time consuming training stage, and
can handle untextured objects. At its core, is a novel tem-
plat...
WILF
2009
Springer
14 years 2 months ago
2009
Springer
Digital video stabilization approaches typically degrade their performances in presence of periodic patterns. Any kind of matching between consecutive frames is not usually able to...
FASE
2006
Springer
14 years 1 months ago
2006
Springer
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...