Probabilistic verification of all languages.

Maksims Dimitrijevs Abuzer Yakaryilmaz

Published in: CoRR (2018)

Keyphrases

bayesian networks
language independent
expressive power
data driven
generative model
databases
machine learning
probabilistic model
semi supervised
model checking
probabilistic logic
artificial intelligence
knowledge representation
information retrieval systems
uncertain data
face verification