1980 search results - page 342 / 396 » Compositional Model Checking of Real Time Systems |
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
The contribution presents a multi-agent technology in the domain of the air-traffic control of several autonomous aerial vehicles (manned as well as unmanned). The system has been...
BMVC
2002
13 years 11 months ago
2002
A gesture recognition system which can reliably recognize single-hand gestures in real time on a 600Mhz notebook computer is described. The system has a vocabulary of 46 gestures ...
ASIAN
2004
Springer
14 years 2 months ago
2004
Springer
Cyber security is a serious global concern. The potential of cyber terrorism has posed a threat to national security; meanwhile the increasing prevalence of malware and incidents o...
ICIP
2005
IEEE
14 years 10 months ago
2005
IEEE
The lack of eye contact in video conference degrades the user's experience. This problem has been known and studied for many years. There are hardware-based solutions to the ...
ICPR
2006
IEEE
14 years 10 months ago
2006
IEEE
This paper presents a method for real-time 3D hand tracking in images acquired by a calibrated, possibly moving stereoscopic rig. The proposed method consists of a collection of t...