1589 search results - page 57 / 318 » Constraints with Variables' Annotations |
PAMI
2008
13 years 8 months ago
2008
This paper proposes a method for detecting object classes that exhibit variable shape structure in heavily cluttered images. The term "variable shape structure" is used t...
ICCAD
2007
IEEE
14 years 5 months ago
2007
IEEE
ion Chao Wang NEC Laboratories America Hyondeuk Kim University of Colorado Aarti Gupta NEC Laboratories America Variable hiding and predicate abstraction are two popular abstracti...
CP
1995
Springer
14 years 8 days ago
1995
Springer
Abstract. We investigate the dynamic variable ordering (DVO) technique commonly used in conjunction with tree-search algorithms for solving constraint satisfaction problems. We fi...
KR
2000
Springer
14 years 9 days ago
2000
Springer
Recent experimental results have shown that the strength of resolution, the propositional DPLL procedure, the KSAT procedure for description logics, or related tableau-like implem...
CVPR
1998
IEEE
14 years 10 months ago
1998
IEEE
We consider the problem of determining whether two images come from different objects or the same object in the same pose, but under different illumination conditions. We show tha...