4850 search results - page 47 / 970 » Proof and Computation in Geometry |
123
click to vote
CRYPTO
2011
Springer
13 years 10 months ago
2011
Springer
Abstract. We present EasyCrypt, an automated tool for elaborating security proofs of cryptographic systems from proof sketches—compact, formal representations of the essence of a...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
We reexamine fundamental problems from computational geometry in the word RAM model, where input coordinates are integers that fit in a machine word. We develop a new algorithm fo...
PG
2002
IEEE
15 years 3 months ago
2002
IEEE
We present an algorithm for computing the distance between two free-form surfaces. Using line geometry, the distance computation is reformulated as a simple instance of a surface-...
CCCG
2009
15 years 3 days ago
2009
We present a method for extracting contours from digital images using techniques from computational geometry. Our approach is different from traditional pixelbased methods in imag...
CGA
1999
14 years 10 months ago
1999
translating your abstract notions of desired size and shape directly into the appropriate tugs and pulls. You would probably not think much about coordinate systems. Ifyouwantedtom...