6941 search results - page 585 / 1389 » Testing as a Certification Approach |
253
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
286
click to vote
CVPR
2007
IEEE
16 years 9 months ago
2007
IEEE
This paper describes a patch-based approach for rapid image correlation or template matching. By representing a template image with an ensemble of patches, the method is robust wi...
182
click to vote
CVPR
2007
IEEE
16 years 9 months ago
2007
IEEE
This paper proposes a statistical approach to degraded handwritten form image preprocessing including binarization and form line removal. The degraded image is modeled by a Markov...
206
click to vote
CVPR
2007
IEEE
16 years 9 months ago
2007
IEEE
We present a new algorithm to detect humans in still images utilizing covariance matrices as object descriptors. Since these descriptors do not lie on a vector space, well known m...
174
click to vote
ICCV
2007
IEEE
16 years 9 months ago
2007
IEEE
We propose using the proximity distribution of vectorquantized local feature descriptors for object and category recognition. To this end, we introduce a novel "proximity dis...