Login / Signup

Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry.

Jens BrandtKlaus 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