Login / Signup
Full abstraction for non-deterministic and probabilistic extensions of PCF I: The angelic cases.
Jean Goubault-Larrecq
Published in:
J. Log. Algebraic Methods Program. (2015)
Keyphrases
</>
generative model
high level
probabilistic model
bayesian networks
uncertain data
data sets
artificial intelligence
efficient implementation
real time
genetic algorithm
data driven
classification method
probabilistic approaches