760 search results - page 45 / 152 » Pedestrian Detection: A Benchmark |
AVSS
2009
IEEE
13 years 6 months ago
2009
IEEE
The paper presents a method for efficient text detection in unconstrained environments, based on image features derived from connected components and on a classification architect...
PEPM
2009
ACM
14 years 5 months ago
2009
ACM
The goal of the Parfait project is to find bugs in C source code in a scalable and precise way. To this end, Parfait was designed as a framework with layers of sound program anal...
CACM
2010
13 years 6 months ago
2010
Multithreaded programs are notoriously prone to race conditions. Prior work on dynamic race detectors includes fast but imprecise race detectors that report false alarms, as well ...
ICSE
2009
IEEE-ACM
14 years 9 months ago
2009
IEEE-ACM
We present an effective static deadlock detection algorithm for Java. Our algorithm uses a novel combination of static analyses each of which approximates a different necessary co...
DFT
2008
IEEE
14 years 3 months ago
2008
IEEE
The paper presents a new technique for designing a concurrently checking combinational circuit. The technique is based on partitioning the circuit into two independent sub-circuit...