Analyzing probabilistic pushdown automata.

Tomás Brázdil Javier Esparza Stefan Kiefer Antonín Kucera

Published in: Formal Methods Syst. Des. (2013)

Keyphrases

probabilistic model
uncertain data
database
finite state
context sensitive
bayesian networks
generative model
cellular automata
probabilistic automata
belief networks
posterior probability
data mining
evolutionary algorithm
e learning
social networks
information retrieval
finite automata
data sets