Login / Signup
Checking probabilistic noninterference using JOANA.
Gregor Snelting
Dennis Giffhorn
Jürgen Graf
Christian Hammer
Martin Hecker
Martin Mohr
Daniel Wasserrab
Published in:
it Inf. Technol. (2014)
Keyphrases
</>
bayesian networks
generative model
probabilistic model
data mining
uncertain data
data driven
databases
expert systems
information technology
conditional probabilities
maximum entropy
probabilistic reasoning
probabilistic logic
probabilistic databases
probabilistic approaches