Formal Verification of a Geometry Algorithm: A Quest for Abstract Views and Symmetry in Coq Proofs.
Yves BertotPublished in: ICTAC (2018)
Keyphrases
- learning algorithm
- search space
- np hard
- preprocessing
- computational complexity
- three dimensional
- formal verification
- k means
- cost function
- dynamic programming
- computational cost
- optimization algorithm
- matching algorithm
- probabilistic model
- model checking
- configuration space
- detection algorithm
- segmentation algorithm
- expectation maximization
- particle swarm optimization
- optimal solution
- similarity measure
- image sequences
- web services