Mechanical verification of Lamport's Bakery algorithm.
Wim H. HesselinkPublished in: Sci. Comput. Program. (2013)
Keyphrases
- learning algorithm
- cost function
- preprocessing
- dynamic programming
- high accuracy
- computational cost
- selection algorithm
- significant improvement
- worst case
- times faster
- clustering method
- optimization algorithm
- detection algorithm
- computational complexity
- k means
- optimal solution
- np hard
- mobile robot
- simulated annealing
- theoretical analysis
- space complexity
- recognition algorithm
- segmentation algorithm
- linear programming
- objective function
- similarity measure
- image segmentation