Coinductive Proof Principles for Stochastic Processes.

Published in: LICS (2006)

Keyphrases

stochastic processes
stochastic process
stochastic models
probability distribution
random fields
markov processes
random variables
brownian motion
continuous time bayesian networks
information retrieval
hidden markov models
non stationary
topic models