A Mechanized Proof of a Textbook Type Unification Algorithm.
André Rauber Du BoisRodrigo Geraldo RibeiroMaycon AmaroPublished in: RITA (2020)
Keyphrases
- improved algorithm
- times faster
- high accuracy
- optimization algorithm
- computational cost
- experimental evaluation
- preprocessing
- search space
- single pass
- recognition algorithm
- dynamic programming
- optimal solution
- cost function
- genetic algorithm
- learning algorithm
- simulated annealing
- computationally efficient
- experimental study
- objective function
- data mining
- convergence rate
- image segmentation
- theoretical analysis
- expectation maximization
- worst case
- computational complexity
- computer science
- significant improvement