4079 search results - page 694 / 816 » Differential Testing for Software |
156
Voted
ISSTA
2012
ACM
13 years 4 months ago
2012
ACM
To avoid receiving incorrect arguments, a method specifies the expected type of each formal parameter. However, some parameter types are too general and have subtypes that the me...
142
Voted
CVPR
2004
IEEE
16 years 4 months ago
2004
IEEE
This paper gives an algorithm for detecting and reading text in natural images. The algorithm is intended for use by blind and visually impaired subjects walking through city scen...
140
click to vote
ICCV
1999
IEEE
16 years 4 months ago
1999
IEEE
We propose a flexible new technique to easily calibrate a camera. It only requires the camera to observe a planar pattern shown at a few (at least two) different orientations. Eit...
118
click to vote
ICIP
2002
IEEE
16 years 4 months ago
2002
IEEE
In this paper, we present a new algorithm for solving the block matching problem which is independent of image content and is faster than other full-search methods. The method emp...
122
Voted
DAC
2005
ACM
16 years 3 months ago
2005
ACM
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...