Login / Signup

Automatic Verification of the Adequacy of Models for Families of Geometric Objects.

Aless LasarukThomas Sturm
Published in: Automated Deduction in Geometry (2008)
Keyphrases
  • geometric objects
  • geometric properties
  • probabilistic model
  • model selection
  • complex systems
  • image segmentation