Interprocedural Shape Analysis for Cutpoint-Free Programs.

Noam Rinetzky Mooly Sagiv Eran Yahav

Published in: SAS (2005)

Keyphrases

shape analysis
shape descriptors
euclidean space
shape recognition
shape representation
image analysis and pattern recognition
medical imaging
fourier descriptors
preserving transformations
distance maps
anatomical structures
shape space
machine learning
computer vision
x ray