2646 search results - page 260 / 530 » Local Type Inference |
181
click to vote
AI
2004
Springer
15 years 6 months ago
2004
Springer
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
213
click to vote
CVPR
2009
IEEE
2009
IEEE
Layered Graph Matching by Composite Cluster Sampling with Collaborative and Competitive Interactions
17 years 1 months ago
This paper studies a framework for matching an unknown
number of corresponding structures in two images
(shapes), motivated by detecting objects in cluttered background
and lear...
227
click to vote
ECCV
2008
Springer
16 years 11 months ago
2008
Springer
We introduce a new concept of co-recognition for object-level image matching between an arbitrary image pair. Our method augments putative local regionmatches to reliable object-...
179
click to vote
CVPR
1999
IEEE
16 years 8 months ago
1999
IEEE
We treat the problem of edge detection as one of statistical inference. Local edge cues, implemented by filters, provide information about the likely positions of edges which can ...
195
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
We introduce an approach to accurately detect and segment partially occluded objects in various viewpoints and scales. Our main contribution is a novel framework for combining obj...