A Local Shape Analysis Based on Separation Logic.

Dino Distefano Peter W. O'Hearn Hongseok Yang

Published in: TACAS (2006)

Keyphrases

shape analysis
shape representation
shape descriptors
euclidean space
preserving transformations
shape recognition
medical imaging
image analysis and pattern recognition
fourier descriptors
anatomical structures
shape space
distance maps
computer vision
image processing
closed curves
brain structures