Login / Signup
Proving probabilistic correctness statements: the case of Rabin's algorithm for mutual exclusion.
Isaac Saias
Published 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