Formal Verification of Algorithm W: The Monomorphic Case.
Dieter NazarethTobias NipkowPublished in: TPHOLs (1996)
Keyphrases
- times faster
- learning algorithm
- dynamic programming
- k means
- experimental evaluation
- detection algorithm
- high accuracy
- cost function
- np hard
- computational cost
- expectation maximization
- optimization algorithm
- matching algorithm
- formal verification
- computational complexity
- optimal solution
- objective function
- recognition algorithm
- significant improvement
- search space
- genetic algorithm
- search strategy