Abstraction refinement guided by a learnt probabilistic model.

Radu Grigore Hongseok Yang

Published in: POPL (2016)

Keyphrases

probabilistic model
graphical models
language model
generative model
bayesian networks
high level
refinement process
three dimensional
image processing
machine learning
data abstraction
case study
multi agent
object oriented
feature selection
data sets
database