Shape Analysis with Structural Invariant Checkers.

Bor-Yuh Evan Chang Xavier Rival George C. Necula

Published in: SAS (2007)

Keyphrases

shape analysis
preserving transformations
shape descriptors
shape representation
euclidean space
shape recognition
medical imaging
image analysis and pattern recognition
shape deformations
distance maps
multiscale
image analysis
closed curves
shape registration