Login / Signup
Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method.
Dominique Michelucci
Sebti Foufou
Published in:
Automated Deduction in Geometry (2006)
Keyphrases
</>
geometric constraints
similarity measure
image analysis
image sequences
single image
image segmentation
three dimensional
missing data