A Method for Proving Theorems in Differebtial Geometry and Mechanics
Dongming WangPublished in: J. Univers. Comput. Sci. (1995)
Keyphrases
- preprocessing
- dynamic programming
- detection method
- similarity measure
- evaluation method
- computational cost
- synthetic data
- computational complexity
- feature extraction
- cost function
- experimental evaluation
- fully automatic
- main contribution
- geometric constraints
- optimization method
- high precision
- segmentation method
- maximum likelihood
- input data
- classification accuracy
- significant improvement
- pairwise