Refinement algebra for probabilistic programs.

Larissa Meinicke Kim Solin

Published in: Formal Aspects Comput. (2010)

Keyphrases

spatial data
bayesian networks
probabilistic model
data sets
data model
generative model
uncertain data
computer programs
probabilistic approaches
database
data structure
data driven
posterior probability
relational algebra
probabilistic logic
algebraic structure