A Mechanized Textbook Proof of a Type Unification Algorithm.
Rodrigo Geraldo RibeiroCarlos CamarãoPublished in: SBMF (2015)
Keyphrases
- dynamic programming
- learning algorithm
- optimization algorithm
- times faster
- theoretical analysis
- high accuracy
- k means
- cost function
- experimental evaluation
- segmentation algorithm
- linear programming
- classification algorithm
- path planning
- search space
- preprocessing
- optimal solution
- objective function
- selection algorithm
- single pass
- improved algorithm
- estimation algorithm
- tree structure
- expectation maximization
- simulated annealing
- worst case
- probabilistic model
- computational cost
- computationally efficient
- higher order
- memory requirements
- recognition algorithm
- np hard
- evolutionary algorithm
- computational complexity