Type Inference Verified: Algorithm W in Isabelle/HOL.
Wolfgang NaraschewskiTobias NipkowPublished in: TYPES (1996)
Keyphrases
- learning algorithm
- times faster
- theorem prover
- preprocessing
- k means
- detection algorithm
- optimal solution
- classification algorithm
- experimental evaluation
- computational cost
- simulated annealing
- expectation maximization
- inference mechanism
- improved algorithm
- optimization algorithm
- theoretical analysis
- maximum likelihood
- higher order
- segmentation algorithm
- dynamic programming
- cost function
- ant colony optimization
- tree structure
- significant improvement
- matching algorithm
- path planning
- computational complexity
- convex hull
- recognition algorithm
- search algorithm
- objective function
- bayesian networks