Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm.
Michaël RusinowitchSorin StratulatFrancis KlayPublished in: J. Autom. Reason. (2003)
Keyphrases
- experimental evaluation
- preprocessing
- recognition algorithm
- optimization algorithm
- dynamic programming
- optimal solution
- computational complexity
- significant improvement
- computational cost
- experimental study
- detection algorithm
- single pass
- learning algorithm
- objective function
- np hard
- cost function
- k means
- matching algorithm
- image processing
- improved algorithm
- convergence rate
- classification algorithm
- incremental algorithms
- clustering method
- theoretical analysis
- particle swarm optimization
- linear programming
- simulated annealing
- high accuracy
- worst case
- search space