Sciweavers

760 search results - page 115 / 152
» Pedestrian Detection: A Benchmark
Sort
View
LOGCOM
2010
154views more  LOGCOM 2010»
13 years 2 months ago
Collaborative Runtime Verification with Tracematches
Perfect pre-deployment test coverage is notoriously difficult to achieve for large applications. Given enough end users, however, many more test cases will be encountered during a...
Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondre...
CORR
2011
Springer
142views Education» more  CORR 2011»
12 years 11 months ago
Taming Numbers and Durations in the Model Checking Integrated Planning System
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
Stefan Edelkamp
ASPLOS
2012
ACM
12 years 3 months ago
Relyzer: exploiting application-level fault equivalence to analyze application resiliency to transient faults
Future microprocessors need low-cost solutions for reliable operation in the presence of failure-prone devices. A promising approach is to detect hardware faults by deploying low-...
Siva Kumar Sastry Hari, Sarita V. Adve, Helia Naei...
CVPR
2009
IEEE
15 years 2 months ago
Efficient Representation of Local Geometry for Large Scale Object Retrieval
State of the art methods for image and object re- trieval exploit both appearance (via visual words) and local geometry (spatial extent, relative pose). In large scale problems,...
Michal Perdoch (Czech Technical University), Ondre...
CVPR
2009
IEEE
15 years 2 months ago
Holistic Context Modeling using Semantic Co-occurrences
We present a simple framework to model contextual relationships between visual concepts. The new framework combines ideas from previous object-centric methods (which model conte...
Nikhil Rasiwasia (University Of California, San Di...