4850 search results - page 88 / 970 » Proof and Computation in Geometry |
150
click to vote
SGP
2007
15 years 8 months ago
2007
We propose an algorithm that performs registration of large sets of unstructured point clouds of moving and deforming objects without computing correspondences. Given as input a s...
151
click to vote
SP
2009
IEEE
16 years 1 months ago
2009
IEEE
We present two machine-checked proofs of the existential unforgeability under adaptive chosen-message attacks of the Full Domain Hash signature scheme. These proofs formalize the ...
177
click to vote
CVPR
2000
IEEE
16 years 8 months ago
2000
IEEE
This paper describes a new method for determining correspondence between points on pairs of surfaces based on shape using a combination of geodesic distance and surface curvature....
181
click to vote
ICCV
1998
IEEE
16 years 8 months ago
1998
IEEE
We propose a new approach to recover epipolar geometry from a pair of uncalibrated images. By minimizing a proposed cost function, our approach matches the detected feature points...
149
click to vote
RT
2000
Springer
15 years 10 months ago
2000
Springer
We present a novel technique for ray tracing geometry represented by points. Our approach makes it possible to render high quality ray traced images with global illumination using ...