2302 search results - page 276 / 461 » Testing as Abstraction |
179
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
Program analysis tools typically compute two types of information: (1) may information that is true of all program executions and is used to prove the absence of bugs in the progr...
178
click to vote
ASPLOS
2011
ACM
14 years 10 months ago
2011
ACM
In practice, it is quite difficult to write correct multithreaded programs due to the potential for unintended and nondeterministic interference between parallel threads. A funda...
160
click to vote
CVPR
1999
IEEE
16 years 8 months ago
1999
IEEE
We use the color cooccurrence histogram (CH) for recognizing objects in images. The color CH keeps track of the number of pairs of certain colored pixels that occur at certain sep...
147
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Abstract: The advent of high-resolution digital cameras and sophisticated multi-view stereo algorithms offers the promises of unprecedented geometric fidelity in image-based modeli...
167
click to vote
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
Most of the work on 3-D object recognition from range data has used an alignment-verification approach in which a specific 3-D object is matched to an exact instance of the same o...