4850 search results - page 238 / 970 » Proof and Computation in Geometry |
153
click to vote
SAC
2006
ACM
16 years 17 days ago
2006
ACM
We provide sufficient conditions that formally guarantee that the floating-point computation of a polynomial evaluation is faithful. To this end, we develop a formalization of ï¬...
173
click to vote
CIE
2008
Springer
15 years 8 months ago
2008
Springer
There are many ways to define complexity in logic. In finite model theory, it is the complexity of describing properties, whereas in proof complexity it is the complexity of provin...
163
click to vote
ICPR
2000
IEEE
16 years 7 months ago
2000
IEEE
The goal of this paper is to give a short historical overview of multiple view vision and in particular the estimation of both camera geometry and scene models using only images a...
158
click to vote
CVPR
2006
IEEE
16 years 20 days ago
2006
IEEE
In this paper we describe a method that estimates the motion of a calibrated camera (settled on an experimental vehicle) and the tridimensional geometry of the environment. The on...
162
click to vote
COMPGEOM
1994
ACM
15 years 10 months ago
1994
ACM
An interactive visualization of weighted three-dimensional -hulls is presented for static and dynamic spheres. The -hull is analytically computed and represented by a triangulated...