Probabilistic Termination Versus Fair Termination.

Michael L. Tiomkin

Published in: Theor. Comput. Sci. (1989)

Keyphrases

term rewriting
bayesian networks
probabilistic model
data driven
information retrieval
belief networks
rewrite systems
artificial intelligence
computer vision
probabilistic approaches