Login / Signup
Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding.
Gilad Arnold
Published in:
SAS (2006)
Keyphrases
</>
shape analysis
shape descriptors
shape representation
euclidean space
general purpose
shape space
valued logic
image analysis and pattern recognition
logic programs
model checking
medical imaging
incomplete information
classical logic
laplace beltrami
geodesic paths