A Generalized Euclidean Algorithm for Geometry Theorem Proving.
Michael KalkbrenerPublished in: Ann. Math. Artif. Intell. (1995)
Keyphrases
- experimental evaluation
- computational complexity
- dynamic programming
- detection algorithm
- simulated annealing
- times faster
- computationally efficient
- theoretical analysis
- optimization algorithm
- search space
- recognition algorithm
- mobile robot
- computational cost
- data sets
- learning algorithm
- tree structure
- matching algorithm
- segmentation algorithm
- improved algorithm
- input data
- probabilistic model
- cost function
- k means
- particle swarm optimization
- linear programming
- graphical models
- high accuracy
- np hard
- clustering method
- ant colony optimization
- classification algorithm
- natural language
- convergence rate
- search algorithm
- objective function