Compositional shape analysis by means of bi-abduction.
Cristiano CalcagnoDino DistefanoPeter W. O'HearnHongseok YangPublished in: POPL (2009)
Keyphrases
- shape analysis
- shape descriptors
- shape representation
- image analysis and pattern recognition
- medical imaging
- euclidean space
- shape recognition
- distance maps
- preserving transformations
- anatomical structures
- shape space
- image processing
- statistical analysis
- human brain
- quantitative analysis
- computational intelligence
- fourier descriptors
- laplace beltrami