Type Inference Verified: Algorithm W in Isabelle/HOL.
Wolfgang NaraschewskiTobias NipkowPublished in: J. Autom. Reason. (1999)
Keyphrases
- detection algorithm
- improved algorithm
- np hard
- dynamic programming
- particle swarm optimization
- search space
- recognition algorithm
- expectation maximization
- high accuracy
- classification algorithm
- optimization algorithm
- theoretical analysis
- computationally efficient
- computational cost
- experimental evaluation
- k means
- learning algorithm
- computational complexity
- optimal solution
- inference mechanism
- convergence rate
- matching algorithm
- tree structure
- clustering method
- segmentation algorithm
- em algorithm
- evolutionary algorithm
- preprocessing