Sciweavers

834 search results - page 82 / 167
» Critical Motions in Euclidean Structure from Motion
Sort
View
CADE
1998
Springer
15 years 2 months ago
A Combination of Nonstandard Analysis and Geometry Theorem Proving, with Application to Newton's Principia
Abstract. The theorem prover Isabelle is used to formalise and reproduce some of the styles of reasoning used by Newton in his Principia. The Principia's reasoning is resolute...
Jacques D. Fleuriot, Lawrence C. Paulson
SI3D
1995
ACM
15 years 1 months ago
Object Associations: A Simple and Practical Approach to Virtual 3D Manipulation
This paper describes a software framework to aid in designing and implementing convenient manipulation behaviors for objects in a 3D virtual environment. A combination of almost r...
Richard W. Bukowski, Carlo H. Séquin
CI
2002
102views more  CI 2002»
14 years 9 months ago
Topological Spatio-Temporal Reasoning and Representation
We present here a theory of motion from a topological point of view, in a symbolic perspective. Taking space-time histories of objects as primitive entities, we introduce temporal...
Philippe Muller
ECCV
2006
Springer
15 years 11 months ago
Face Recognition from Video Using the Generic Shape-Illumination Manifold
Abstract. In spite of over two decades of intense research, illumination and pose invariance remain prohibitively challenging aspects of face recognition for most practical applica...
Ognjen Arandjelovic, Roberto Cipolla
IROS
2009
IEEE
147views Robotics» more  IROS 2009»
15 years 4 months ago
Vision-based estimation of three-dimensional position and pose of multiple underwater vehicles
— This paper describes a model-based probabilistic framework for tracking a fleet of laboratory-scale underwater vehicles using multiple fixed cameras. We model the target moti...
Sachit Butail, Derek A. Paley