A Complete Mechanization of Correctness of a String-Preprocessing Algorithm.
Milos BestaFrank A. StompPublished in: Formal Methods Syst. Des. (2005)
Keyphrases
- preprocessing
- matching algorithm
- optimization algorithm
- np hard
- expectation maximization
- dynamic programming
- learning algorithm
- times faster
- optimal solution
- detection algorithm
- high accuracy
- preprocessing stage
- probabilistic model
- multi objective
- k means
- computational cost
- experimental evaluation
- linear programming
- significant improvement
- data structure
- objective function
- recognition algorithm
- genetic algorithm