3571 search results - page 438 / 715 » Cohen and Set Theory |
203
click to vote
JAR
2006
15 years 6 months ago
2006
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
201
click to vote
CVPR
1999
IEEE
16 years 8 months ago
1999
IEEE
This paper presents a variational method for supervised texture segmentation, which is based on ideas coming from the curve propagation theory. We assume that a preferable texture...
180
click to vote
CVPR
2003
IEEE
16 years 8 months ago
2003
IEEE
We introduce two appearance-based methods for clustering a set of images of 3-D objects, acquired under varying illumination conditions, into disjoint subsets corresponding to ind...
158
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Component-based detection methods have demonstrated their promise by integrating a set of part-detectors to deal with large appearance variations of the target. However, an essent...
161
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
We present a framework for computing optimal transformations, aligning one point set to another, in the presence of outliers. Example applications include shape matching and regis...