4850 search results - page 93 / 970 » Proof and Computation in Geometry |
174
click to vote
FOCS
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper we introduce quantum interactive proof systems, which are interactive proof systems in which the prover and verifier may perform quantum computations and exchange qu...
140
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
This paper presents a new method for computing optimal L1
solutions for vision geometry problems, particularly for those
problems of fixed-dimension and of large-scale. Our strat...
196
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
We understand and reconstruct special surfaces from 3D data with line geometry methods. Based on estimated surface normals we use approximation techniques in line space to recogniz...
160
click to vote
SIGGRAPH
2000
ACM
15 years 10 months ago
2000
ACM
We show how spectral methods may be applied to 3D mesh data to obtain compact representations. This is achieved by projecting the mesh geometry onto an orthonormal basis derived f...
171
click to vote
SIGGRAPH
2000
ACM
15 years 10 months ago
2000
ACM
Many researchers have been arguing that geometry, bump maps, and BRDFs present a hierarchy of detail that should be exploited for efficient rendering purposes. In practice howeve...