Compositional Shape Analysis by Means of Bi-Abduction.

Cristiano Calcagno Dino Distefano Peter W. O'Hearn Hongseok Yang

Published in: J. ACM (2011)

Keyphrases

shape analysis
shape descriptors
shape representation
euclidean space
image analysis and pattern recognition
shape recognition
shape space
medical imaging
fourier descriptors
object recognition
anatomical structures
preserving transformations
brain structures
shape registration