Interprocedural Shape Analysis with Separated Heap Abstractions.
Alexey GotsmanJosh BerdineByron CookPublished in: SAS (2006)
Keyphrases
- shape analysis
- data structure
- shape representation
- shape descriptors
- image analysis and pattern recognition
- medical imaging
- euclidean space
- preserving transformations
- distance maps
- fourier descriptors
- shape recognition
- suffix tree
- multiscale segmentation
- closed curves
- shape space
- heat kernel
- medical image analysis
- anatomical structures
- shortest path