3387 search results - page 524 / 678 » Model-Checking for Real-Time Systems |
IWANN
2007
Springer
14 years 4 months ago
2007
Springer
Wireless sensor networks are being intensely used in health care environments to collect biometric signals from patients. This paper presents an augmented reality visual interface ...
ICMCS
2006
IEEE
14 years 4 months ago
2006
IEEE
— A major challenge in the design of any real time system is the proper selection of implementation and platform alternatives. In this paper, a suitable FPGA-based design of the ...
ICPR
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper presents a real time video surveillance system which is capable of tracking multiple humans simultaneously. To better deal with various challenging issues such as occlu...
IROS
2006
IEEE
14 years 4 months ago
2006
IEEE
- We are conducting research and development in technology for unifying the information of a large number of intelligent sensors distributed in a disaster-stricken area. Operating ...
ISCAS
2006
IEEE
14 years 4 months ago
2006
IEEE
—A novel focal plane imaging sensor capable of real time extraction of polarization information is presented. The imaging system consists of a photo array of 256 by 256 linear cu...