UNIMOK: A System for Combining Equational Unification Algorithm.
Stephan KepserJörn RichtsPublished in: RTA (1999)
Keyphrases
- computational cost
- computational complexity
- detection algorithm
- learning algorithm
- times faster
- simulated annealing
- improved algorithm
- significant improvement
- search space
- experimental evaluation
- single pass
- experimental study
- matching algorithm
- theoretical analysis
- convergence rate
- recognition algorithm
- expectation maximization
- neural network
- worst case
- cost function
- objective function
- np hard
- optimization algorithm
- multi objective
- lower bound
- optimal solution
- face recognition
- decision trees
- estimation algorithm
- genetic algorithm