Dependent type inference with interpolants.

Hiroshi Unno Naoki Kobayashi

Published in: PPDP (2009)

Keyphrases

bayesian networks
probabilistic inference
neural network
real time
machine learning
computer vision
clustering algorithm
special case
random fields
decision theoretic
bayesian model
grammatical inference
parametric curves