Formal Verification of a Lazy Concurrent List-Based Set Algorithm.
Robert ColvinLindsay GrovesVictor LuchangcoMark MoirPublished in: CAV (2006)
Keyphrases
- dynamic programming
- initial set
- formal verification
- learning algorithm
- matching algorithm
- detection algorithm
- optimization algorithm
- objective function
- neural network
- packing problem
- input data
- simulated annealing
- np hard
- k means
- preprocessing
- optimal solution
- computational cost
- probability distribution
- worst case
- image segmentation
- computational complexity
- convex hull
- convergence rate
- decision trees
- similarity measure