283 search results - page 33 / 57 » Error Detection Using BMC in a Parallel Environment |
PODC
2010
ACM
13 years 9 months ago
2010
ACM
The study of complex networks led to the belief that the connectivity of network nodes generally follows a Power-law distribution. In this work, we show that modeling large-scale ...
CLUSTER
2006
IEEE
14 years 1 months ago
2006
IEEE
Distributed software environments are increasingly complex and difficult to manage, as they integrate various legacy software with proprietary management interfaces. Moreover, th...
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
- This paper presents a characterization study of the HOKUYO PBS-03JN Infrared range-finder and compares it to the characterization of the SICK LMS-200 laser rangefinder for use in...
CVPR
2005
IEEE
14 years 10 months ago
2005
IEEE
This paper addresses the problem of learning and recognizing human activities of daily living (ADL), which is an important research issue in building a pervasive and smart environ...
AVSS
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper presents an abandoned item and illegally parked vehicle detection method for single static camera video surveillance applications. By processing the input video at diff...