A Formal Proof of The Chandy-Lamport Distributed Snapshot Algorithm.
Ben FiedlerDmitriy TraytelPublished in: Arch. Formal Proofs (2020)
Keyphrases
- computational cost
- dynamic programming
- detection algorithm
- np hard
- k means
- learning algorithm
- experimental evaluation
- cost function
- optimization algorithm
- particle swarm optimization
- theoretical analysis
- preprocessing
- segmentation algorithm
- simulated annealing
- ant colony optimization
- times faster
- recognition algorithm
- improved algorithm
- formal proof
- machine learning
- probabilistic model
- significant improvement
- path planning
- decision trees
- multi robot
- objective function
- memory requirements
- distributed environment
- convex hull
- optimal solution
- data sets
- matching algorithm
- data structure
- clustering method
- computational complexity
- search space
- expectation maximization