A relational approach to interprocedural shape analysis.
Bertrand JeannetAlexey LoginovThomas W. RepsMooly SagivPublished in: ACM Trans. Program. Lang. Syst. (2010)
Keyphrases
- shape analysis
- shape representation
- shape descriptors
- image analysis and pattern recognition
- euclidean space
- preserving transformations
- shape recognition
- distance maps
- medical imaging
- anatomical structures
- fourier descriptors
- heat kernel
- shape space
- shape registration
- image segmentation
- multiscale segmentation
- active contours