Programming and certifying a CAD algorithm in the Coq system.
Assia MahboubiPublished in: Mathematics, Algorithms, Proofs (2005)
Keyphrases
- preprocessing
- learning algorithm
- theoretical analysis
- computational cost
- optimization algorithm
- segmentation algorithm
- worst case
- data sets
- significant improvement
- similarity measure
- np hard
- dynamic programming
- improved algorithm
- times faster
- optimal solution
- probabilistic model
- computationally efficient
- input data
- simulated annealing
- experimental evaluation
- cost function
- computational complexity
- programming language
- ant colony optimization
- detection algorithm
- single pass
- decision trees
- objective function
- search space
- high accuracy
- search algorithm
- k means