1980 search results - page 323 / 396 » Compositional Model Checking of Real Time Systems |
CMC
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. Intelligent MultiMedia (IntelliMedia) focuses on the computer processing and understanding of signal and symbol input from at least speech, text and visual images in term...
EMNETS
2007
14 years 2 months ago
2007
Deployment of a wireless sensor network (WSN) system is a critical step because theoretical models and assumptions often differ from real environmental characteristics and perform...
ETRA
2010
ACM
14 years 3 months ago
2010
ACM
There has been increased interest in reliable, non-intrusive methods of biometric identification due to the growing emphasis on security and increasing prevalence of identity thef...
ICMCS
2005
IEEE
14 years 3 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 eye...
MMM
2007
Springer
14 years 4 months ago
2007
Springer
Real time rendering of animated crowds has many practical multimedia applications. The Graphics Processor Unit (GPU) is being increasingly employed to accelerate associated renderi...