Sciweavers

591 search results - page 36 / 119
» Plane-based Projective Reconstruction
Sort
View
TPHOL
2007
IEEE
14 years 1 months ago
Source-Level Proof Reconstruction for Interactive Theorem Proving
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...
Lawrence C. Paulson, Kong Woei Susanto
SCIA
2007
Springer
118views Image Analysis» more  SCIA 2007»
14 years 1 months ago
Reconstruction of 3D Curves for Quality Control
In the area of quality control by vision, the reconstruction of 3D curves is a convenient tool to detect and quantify possible anomalies. Whereas other methods exist that allow us ...
Hanna Martinsson, François Gaspard, Adrien ...
JCP
2007
165views more  JCP 2007»
13 years 7 months ago
Optical 3D Surface Reconstruction by a Multi-Period Phase Shift Method
— One problem of classical phase shifting for optical 3D surface reconstruction is the occurrence of ambiguities due to the use of fringe projection. We generally derive a number...
Erik Lilienblum, Bernd Michaelis
ISVC
2010
Springer
13 years 6 months ago
Image Enhancement by Median Filters in Algebraic Reconstruction Methods: An Experimental Study
Algebraic methods for image reconstruction provide good solutions even if only few projections are available. However, they can create noisy images if the number of iterations or t...
Norbert Hantos, Péter Balázs
ICIP
1999
IEEE
14 years 9 months ago
Uncertainties in Bayesian Geometric Models
Deformable geometric models fit very naturally into the context of Bayesian analysis. The prior probability of boundary shapes is taken to proportional to the negative exponential...
Kenneth M. Hanson, Gregory S. Cunningham, Robert J...