Proving Probabilistic Correctness Statements: the Case of Rabin's Algorithm for Mutual Exclusion.
Isaac SaiasPublished in: PODC (1992)
Keyphrases
- probabilistic model
- mutual exclusion
- learning algorithm
- computational complexity
- cost function
- np hard
- convergence rate
- dynamic programming
- search space
- optimal solution
- objective function
- preprocessing
- significant improvement
- neural network
- computational cost
- matching algorithm
- posterior probability
- reinforcement learning
- simulated annealing
- particle swarm optimization
- expectation maximization
- generative model
- similarity measure
- information retrieval