trees by integration of shape analysis and interactive theorem proving.
Gidon ErnstGerhard SchellhornWolfgang ReifPublished in: Softw. Syst. Model. (2015)
Keyphrases
- shape analysis
- interactive theorem proving
- shape representation
- euclidean space
- preserving transformations
- shape descriptors
- medical imaging
- shape recognition
- shape space
- pattern recognition
- distance maps
- multiscale
- image analysis
- computational intelligence
- machine learning
- closed curves
- heat kernel
- image analysis and pattern recognition
- face recognition