Automatic proof of correctness of a binary addition algorithm.
J. Strother MoorePublished in: SIGART Newsl. (1975)
Keyphrases
- learning algorithm
- computationally efficient
- cost function
- computational complexity
- provably correct
- times faster
- classification algorithm
- detection algorithm
- simulated annealing
- computational cost
- preprocessing
- k means
- single pass
- expectation maximization
- experimental evaluation
- search space
- significant improvement
- dynamic programming
- optimal solution
- particle swarm optimization
- theoretical analysis
- improved algorithm
- selection algorithm
- convergence rate
- recognition algorithm
- evolutionary algorithm
- binary tree
- data sets
- space complexity
- estimation algorithm
- image sequences
- face recognition
- semi automatic
- bayesian networks
- optimization algorithm
- objective function
- probabilistic model