Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis.
Oukseh LeeHongseok YangKwangkeun YiPublished in: ESOP (2005)
Keyphrases
- vector space
- shape analysis
- euclidean space
- shape descriptors
- shape space
- shape representation
- image analysis and pattern recognition
- shape recognition
- medical imaging
- laplace beltrami
- distance maps
- preserving transformations
- quantitative analysis
- graph cuts
- pattern recognition
- anatomical structures
- face recognition
- shape registration
- machine learning