The Qu-Prolog Unification Algorithm: Formalisation and Correctness.
Peter NickolasPeter J. RobinsonPublished in: Theor. Comput. Sci. (1996)
Keyphrases
- computational cost
- dynamic programming
- high accuracy
- computational complexity
- learning algorithm
- improved algorithm
- detection algorithm
- experimental evaluation
- significant improvement
- particle swarm optimization
- worst case
- experimental study
- k means
- preprocessing
- optimal solution
- times faster
- single pass
- theoretical analysis
- provably correct
- higher order
- cost function
- similarity measure
- expectation maximization
- computationally efficient
- linear programming
- optimization algorithm
- search space
- convex hull
- selection algorithm
- theorem proving
- genetic algorithm
- data sets