Sciweavers

265 search results - page 4 / 53
» Non-parametric Local Transforms for Computing Visual Corresp...
Sort
View
JAPLL
2010
131views more  JAPLL 2010»
13 years 5 months ago
Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA
The previously introduced algorithm SQEMA computes first-order frame equivalents for modal formulae and also proves their canonicity. Here we extend SQEMA with an additional rule...
Willem Conradie, Valentin Goranko, Dimiter Vakarel...
ECCV
2000
Springer
14 years 9 months ago
On Utilising Template and Feature-Based Correspondence in Multi-view Appearance Models
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...
Sami Romdhani, Alexandra Psarrou, Shaogang Gong
ICPR
2004
IEEE
14 years 8 months ago
Gaussian Energy Functions for Registration without Correspondences
A new criterion based on Gaussian fields is introduced and applied to the task of automatic rigid registration of point-sets. The method defines a simple energy function, which is...
Andreas Koschan, Besma R. Abidi, Faysal Boughorbel...
GG
2004
Springer
14 years 22 days ago
Fundamental Theory for Typed Attributed Graph Transformation
The concept of typed attributed graph transformation is most significant for modeling and meta modeling in software engineering and visual languages, but up to now there is no ade...
Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer
3DPVT
2002
IEEE
146views Visualization» more  3DPVT 2002»
14 years 10 days ago
Geometry of Contour-based Correspondence for Stereo
We consider the problem of computing stereo correspondence for scenes dense in physical structure, such as a bouquet of flowers. Boundaries are then space curves, formally govern...
Steven W. Zucker, Gang Li