6434 search results - page 718 / 1287 » Model Transformations with Reference Models |
228
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
238
Voted
CVPR
2003
IEEE
16 years 9 months ago
2003
IEEE
This paper compares two methods for object localization from contours: shape context and chamfer matching of templates. In the light of our experiments, we suggest improvements to...
224
Voted
CVPR
2005
IEEE
16 years 9 months ago
2005
IEEE
This paper presents a novel and efficient algorithm for the 3D range to 2D image registration problem in urban scene settings. Our input is a set of unregistered 3D range scans an...
181
click to vote
ECCV
2004
Springer
16 years 9 months ago
2004
Springer
Abstract. Complete 3-D modeling of a free-form object requires acquisition from multiple view-points. These views are then required to be registered in a common coordinate system b...
289
click to vote
SIGMOD
2007
ACM
16 years 7 months ago
2007
ACM
Translating data and data access operations between applications and databases is a longstanding data management problem. We present a novel approach to this problem, in which the...