Symbolically Computing Most-Precise Abstract Operations for Shape Analysis.

Greta Yorsh Thomas W. Reps Shmuel Sagiv

Published in: TACAS (2004)

Keyphrases

shape analysis
shape representation
shape descriptors
shape recognition
image analysis and pattern recognition
shape space
preserving transformations
euclidean space
medical imaging
computer vision
object recognition
fourier descriptors
brain structures
geodesic paths
shape registration