Abstraction for Shape Analysis with Fast and Precise Transformers.

Tal Lev-Ami Neil Immerman Shmuel Sagiv

Published in: CAV (2006)

Keyphrases

shape analysis
shape representation
euclidean space
shape descriptors
shape recognition
medical imaging
preserving transformations
image analysis and pattern recognition
distance maps
shape space
geodesic paths
laplace beltrami
fourier descriptors