Generalization in the Presence of Free Variables: A Mechanically-Checked Correctness Proof for one Algorithm.
Matt KaufmannPublished in: J. Autom. Reason. (1991)
Keyphrases
- computational cost
- dynamic programming
- times faster
- computational complexity
- improved algorithm
- particle swarm optimization
- significant improvement
- np hard
- learning algorithm
- worst case
- probabilistic model
- optimization algorithm
- cost function
- k means
- objective function
- high accuracy
- detection algorithm
- classification algorithm
- segmentation algorithm
- theoretical analysis
- computationally efficient
- input data
- preprocessing
- similarity measure
- expectation maximization
- simulated annealing
- experimental evaluation
- artificial neural networks
- clustering method
- matching algorithm
- optimal solution
- convergence rate
- recognition algorithm