Formal Verification of a Geometry Algorithm: A Quest for Abstract Views and Symmetry in Coq Proofs.
Yves BertotPublished in: CoRR (2018)
Keyphrases
- formal verification
- worst case
- preprocessing
- learning algorithm
- k means
- optimal solution
- detection algorithm
- optimization algorithm
- computational cost
- simulated annealing
- search space
- computational complexity
- similarity measure
- dynamic programming
- np hard
- expectation maximization
- segmentation algorithm
- matching algorithm
- heuristic search