Login / Signup
Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry.
Jens Brandt
Klaus Schneider
Published in:
ICFEM (2005)
Keyphrases
</>
computational geometry
computer graphics
learning algorithm
nearest neighbor searching
uniform sampling
data sets
computer vision
feature selection
convex hull
complexity theory
digital convexity