1030 search results - page 15 / 206 » Partial Detectability Profiles |
CVPR
2008
IEEE
14 years 2 months ago
2008
IEEE
We propose a method that detects and segments multiple, partially occluded objects in images. A part hierarchy is defined for the object class. Whole-object segmentor and part de...
ATVA
2004
Springer
14 years 1 months ago
2004
Springer
This paper proposes a partial order reduction algorithm for timed trace theoretic verification in order to detect both safety failures and timing failures of timed circuits effic...
CVPR
2000
IEEE
14 years 10 months ago
2000
IEEE
Zebra-crossings are useful road features for outdoor navigation in mobility aids for the partially sighted. In this paper, zebra-crossings are detected by looking for groups of co...
CIKM
2011
Springer
12 years 8 months ago
2011
Springer
A framework is presented for discovering partial duplicates in large collections of scanned books with optical character recognition (OCR) errors. Each book in the collection is r...
FM
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. Explicit state methods have proven useful in verifying safetycritical systems containing concurrent processes that run asynchronously and communicate. Such methods consis...