A Universal Unification Algorithm Based on Unification-Driven Leftmost Outermost Narrowing.
Heinz FaßbenderHeiko VoglerPublished in: Acta Cybern. (1994)
Keyphrases
- learning algorithm
- computational cost
- times faster
- cost function
- experimental evaluation
- simulated annealing
- expectation maximization
- segmentation algorithm
- optimization algorithm
- significant improvement
- computational complexity
- decision trees
- detection algorithm
- matching algorithm
- improved algorithm
- theorem proving
- particle swarm optimization
- single pass
- worst case
- probabilistic model
- dynamic programming
- np hard
- k means
- search space
- optimal solution
- image processing
- input data
- computationally efficient
- theoretical analysis
- multi objective
- path planning
- selection algorithm
- objective function
- estimation algorithm