Towards an Automatic Proof of the Bakery Algorithm.
Aman GoelStephan MerzKarem A. SakallahPublished in: FORTE (2023)
Keyphrases
- experimental evaluation
- simulated annealing
- computational cost
- expectation maximization
- improved algorithm
- computational complexity
- worst case
- np hard
- times faster
- detection algorithm
- significant improvement
- estimation algorithm
- learning algorithm
- cost function
- dynamic programming
- preprocessing
- selection algorithm
- neural network
- convergence rate
- memory requirements
- provably correct
- path planning
- tree structure
- segmentation method
- ant colony optimization
- search space
- image sequences
- image processing
- machine learning