Sign in
Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs.
Jörg Kreiker
Thomas W. Reps
Noam Rinetzky
Mooly Sagiv
Reinhard Wilhelm
Eran Yahav
Published in:
Programming Logics (2013)
Keyphrases
</>
shape analysis
shape descriptors
euclidean space
shape representation
shape recognition
image analysis and pattern recognition
medical imaging
distance maps
shape space
image processing
anatomical structures
geodesic paths
high resolution
preserving transformations
multiscale segmentation