1525 search results - page 85 / 305 » Matching with Regular Constraints |
139
Voted
ICCV
2011
IEEE
14 years 3 months ago
2011
IEEE
We propose a novel method for computing a geometrically consistent and spatially dense matching between two 3D shapes. Rather than mapping points to points we match infinitesimal...
166
Voted
AMAST
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. This paper introduces matching logic, a novel framework for defining axiomatic semantics for programming languages, inspired from operational semantics. Matching logic sp...
116
Voted
CP
1998
Springer
15 years 8 months ago
1998
Springer
In this paper we will show how constraint solving methods can be applied for the recognition of buildings in aerial images. Object models are transformed to constraint representati...
222
Voted
ICDE
2007
IEEE
16 years 5 months ago
2007
IEEE
Automatic recognition and formalization of constraints from free-form service requests is a challenging problem. Its resolution would go a long way toward allowing users to make r...
124
Voted
CVPR
2008
IEEE
16 years 5 months ago
2008
IEEE
This paper presents a new method to enforce inverse consistency in nonrigid image registration and matching. Conventional approaches assume diffeomorphic transformation, implicitl...