577 search results - page 96 / 116 » Model Checking Based on Simultaneous Reachability Analysis |
TCOM
2010
13 years 5 months ago
2010
Abstract--Arbitration and scheduling of multiple tags in stateof-the-art Radio Frequency Identification (RFID) systems is accomplished on the medium access control layer. Currently...
ECCV
2002
Springer
15 years 5 days ago
2002
Springer
Specular reflections present difficulties for many areas of computer vision such as stereo and segmentation. To separate specular and diffuse reflection components, previous approa...
ECCV
2004
Springer
15 years 6 days ago
2004
Springer
This paper introduces a new concept of surveillance, namely, audio-visual data integration for background modelling. Actually, visual data acquired by a fixed camera can be easily ...
CVPR
2007
IEEE
15 years 10 days ago
2007
IEEE
Facial activities are the most natural and powerful means of human communication. Spontaneous facial activity is characterized by rigid head movements, non-rigid facial muscular m...
CIIT
2004
13 years 11 months ago
2004
In control systems the jitter is a major problem since in a time-varying system the theoretical results for analysis and design of time-invariant systems cannot be used directly. ...