Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction.
Mathieu GiorginoMartin StreckerPublished in: FM (2012)
Keyphrases
- data structure
- computationally efficient
- benchmark datasets
- recently developed
- computationally expensive
- learning algorithm
- theoretical analysis
- computational cost
- real time
- worst case
- computational complexity
- image processing
- database
- significant improvement
- data streams
- video sequences
- image segmentation
- machine learning algorithms
- databases
- orders of magnitude
- data mining algorithms
- data sets
- convergence rate
- provably correct