3387 search results - page 583 / 678 » Model-Checking for Real-Time Systems |
CHI
2004
ACM
14 years 9 months ago
2004
ACM
In recent years the Olympic Games have undergone vast criticism due to perceived subjective scoring in judged events, as for example figure skating and gymnastics. Judges' sc...
ICIAP
2003
ACM
14 years 9 months ago
2003
ACM
This paper presents Olympus, a modular processing architecture for a distributed ambient intelligence. The system is aimed at detailed reporting of people wandering and gesturing ...
TEI
2010
ACM
14 years 3 months ago
2010
ACM
StitchRV is a fiducial and touch-tracking engine based on the popular reacTIVision fiducial tracking system. StitchRV combines video input from multiple cameras in real time, and ...
DAC
2009
ACM
14 years 3 months ago
2009
ACM
It is known that temperature gradients and thermal hotspots affect the reliability of microprocessors. Temperature is also an important constraint when maximizing the performance...
RTCSA
2009
IEEE
14 years 3 months ago
2009
IEEE
—Mobile sensors are widely deployed in Wireless Sensor Networks (WSNs) to satisfy emerging application requirements. Specifically, processing location dependent queries in mobile...