Coinductive Proof Principles for Stochastic Processes.

Published in: Log. Methods Comput. Sci. (2007)

Keyphrases

stochastic processes
stochastic process
stochastic models
probability distribution
random fields
markov processes
random variables
brownian motion
computer vision
feature selection
dynamic bayesian networks
continuous time bayesian networks