Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study.
Anna PogosyantsRoberto SegalaNancy A. LynchPublished in: Distributed Comput. (2000)
Keyphrases
- np hard
- learning algorithm
- improved algorithm
- selection algorithm
- experimental evaluation
- times faster
- computational complexity
- matching algorithm
- worst case
- detection algorithm
- preprocessing
- dynamic programming
- cost function
- data sets
- expectation maximization
- path planning
- segmentation algorithm
- search space
- decision forest
- bayesian networks
- objective function
- search algorithm
- classification algorithm
- experimental study
- optimization algorithm
- computationally efficient
- simulated annealing
- probabilistic model
- computational cost
- k means