Formal Verification of the rank Algorithm for Succinct Data Structures.
Akira TanakaReynald AffeldtJacques GarriguePublished in: ICFEM (2016)
Keyphrases
- detection algorithm
- optimization algorithm
- dynamic programming
- formal verification
- data structure
- experimental evaluation
- optimal solution
- high accuracy
- search space
- computational cost
- np hard
- computational complexity
- learning algorithm
- cost function
- probabilistic model
- evolutionary algorithm
- convergence rate
- similarity measure
- k means
- segmentation algorithm
- matching algorithm