156 search results - page 2 / 32 » Verifying Model Transformations by Structural Correspondence |
CVPR
2007
IEEE
14 years 6 months ago
2007
IEEE
This paper proposes a new registration algorithm, Covariance Driven Correspondences (CDC), that depends fundamentally on the estimation of uncertainty in point correspondences. Th...
ECCV
2004
Springer
14 years 6 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...
ECCV
2000
Springer
14 years 6 months ago
2000
Springer
In principle, the recovery and reconstruction of a 3D object from its 2D view projections require the parameterisation of its shape structure and surface re ectance properties. Exp...
ASPDAC
2008
ACM
13 years 5 months ago
2008
ACM
—In this paper we describe a practical methodology to formally verify highly optimized, industrial multipliers. We a multiplier description language which abstracts from low-leve...
ACCV
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Intensity based registration methods, such as the mutual information (MI), do not commonly consider the spatial geometric information and the initial correspondences are ...