4850 search results - page 87 / 970 » Proof and Computation in Geometry |
138
click to vote
SIBGRAPI
2007
IEEE
16 years 18 days ago
2007
IEEE
Most direct manipulation tasks rely on precise placements of the cursor on the object of interest. Commonly, this requires the knowledge of distinct application-dependent geometry...
168
click to vote
SIGGRAPH
2000
ACM
15 years 10 months ago
2000
ACM
We propose a new progressive compression scheme for arbitrary topology, highly detailed and densely sampled meshes arising from geometry scanning. We observe that meshes consist o...
205
click to vote
FOCS
1990
IEEE
15 years 10 months ago
1990
IEEE
A new algebraic technique for the construction of interactive proof systems is presented. Our technique is used to prove that every language in the polynomial-time hierarchy has an...
170
click to vote
CVPR
1999
IEEE
15 years 10 months ago
1999
IEEE
We present a novel algorithm performing projective rectification which does not require explicit computation of the epipolar geometry, and specifically of the fundamental matrix. ...
151
click to vote
EWC
2008
15 years 6 months ago
2008
The pre-processing stage of finite element analysis of the Navier-Stokes equations is becoming increasingly important as the desire for more general boundary conditions, as well a...