3481 search results - page 8 / 697 » A New Approach to Component Testing |
IJCAI
2007
13 years 11 months ago
2007
Caching, symmetries, and search with decomposition are powerful techniques for pruning the search space of constraint problems. In this paper we present an innovative way of effi...
ITC
2002
IEEE
14 years 2 months ago
2002
IEEE
SE
2007
13 years 11 months ago
2007
: This paper is a tutorial on the principles and applications of static tion by Abstract Interpretation to development, verification and validation ded applications. The topics cov...
INTEGRATION
1998
13 years 9 months ago
1998
ICCV
2003
IEEE
14 years 11 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...