Proving probabilistic correctness statements: the case of Rabin's algorithm for mutual exclusion.
Isaac SaiasPublished in: CoRR (1994)
Keyphrases
- mutual exclusion
- optimization algorithm
- probabilistic model
- preprocessing
- matching algorithm
- detection algorithm
- objective function
- bayesian networks
- search space
- k means
- cost function
- dynamic programming
- learning algorithm
- segmentation algorithm
- query expansion
- simulated annealing
- combinatorial optimization
- generative model
- expectation maximization
- natural language
- upper bound
- computational cost
- computational complexity