Sciweavers

4850 search results - page 94 / 970
» Proof and Computation in Geometry
Sort
View
ECCV
2002
Springer
16 years 8 months ago
Generalized Rank Conditions in Multiple View Geometry with Applications to Dynamical Scenes
In this paper, the geometry of a general class of projections from ??? to ?! is examined, as a generalization of classic multiple view geometry in computer vision. It is shown that...
Kun Huang, Robert M. Fossum, Yi Ma
SAC
2006
ACM
16 years 9 days ago
Digital geometry image analysis for medical diagnosis
This paper describes a new medical image analysis technique for polygon mesh surfaces of human faces for a medical diagnosis application. The goal is to explore the natural patter...
Jiandong Fang, Shiaofen Fang, Jeffrey Huang, Mihra...
CGI
2009
IEEE
15 years 10 months ago
Automatic registration of color images to 3D geometry
We present an approach to automatically register a large set of color images to a 3D geometric model. The problem arises from the modeling of real-world environments, where surfac...
Yunzhen Li, Kok-Lim Low
BIRTHDAY
2005
Springer
15 years 12 months ago
On the Proof Theory of the Existence Predicate
Matthias Baaz, Rosalie Iemhoff