Automated geometry theorem proving using Buchberger's algorithm.
B. KutzlerSabine StifterPublished in: SYMSAC (1986)
Keyphrases
- detection algorithm
- computational complexity
- segmentation algorithm
- recognition algorithm
- experimental evaluation
- clustering method
- matching algorithm
- cost function
- improved algorithm
- dynamic programming
- significant improvement
- neural network
- preprocessing
- similarity measure
- expectation maximization
- selection algorithm
- convergence rate
- single pass
- tree structure
- theoretical analysis
- computationally efficient
- particle swarm optimization
- image registration
- objective function
- knowledge base