3243 search results - page 20 / 649 » Object Race Detection |
ICIP
2006
IEEE
14 years 11 months ago
2006
IEEE
This paper describes a hierarchical Bayesian network used for segmenting desert images and detecting off road drivable corridors for autonomous navigation. Unlike the embedded hid...
RV
2010
Springer
13 years 7 months ago
2010
Springer
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
IJDAR
2006
13 years 9 months ago
2006
Evaluation of object detection algorithms is a non-trivial task: a detection result is usually evaluated by comparing the bounding box of the detected object with the bounding box...
SOSP
2007
ACM
14 years 6 months ago
2007
ACM
Software defects significantly reduce system dependability. Among various types of software bugs, semantic and concurrency bugs are two of the most difficult to detect. This pape...
SPIN
2000
Springer
14 years 1 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...