Sign in
Automatic Verification of the Adequacy of Models for Families of Geometric Objects.
Aless Lasaruk
Thomas Sturm
Published in:
Automated Deduction in Geometry (2008)
Keyphrases
</>
geometric objects
geometric properties
probabilistic model
model selection
complex systems
image segmentation