Formal Correctness of a Quadratic Unification Algorithm.
José-Luis Ruiz-ReinaFrancisco-Jesús Martín-MateosJosé-Antonio AlonsoMaría-José HidalgoPublished in: J. Autom. Reason. (2006)
Keyphrases
- experimental evaluation
- computational complexity
- np hard
- k means
- detection algorithm
- optimization algorithm
- high accuracy
- computational cost
- dynamic programming
- times faster
- objective function
- recognition algorithm
- input data
- simulated annealing
- convergence rate
- data sets
- single pass
- cost function
- optimal solution
- learning algorithm
- worst case
- probabilistic model
- significant improvement
- particle swarm optimization
- expectation maximization
- computationally efficient
- evolutionary algorithm
- search space
- preprocessing
- memory requirements
- image processing