Random model sampling: Making craig interpolation work when it should not.

Marat Kh. Akhin Sam Kolton Vladimir M. Itsykson

Published in: Autom. Control. Comput. Sci. (2015)

Keyphrases

theoretical framework
high level
statistical model
computational model
mathematical model
management system
parameter estimation
formal model
experimental data
probabilistic model
information retrieval
real time
probability distribution
active learning
multi agent
hierarchical structure
parameter space
data sets