Extending Hindley-Milner Type Inference with Coercive Structural Subtyping.

Dmitriy Traytel Stefan Berghofer Tobias Nipkow

Published in: APLAS (2011)

Keyphrases

bayesian networks
three dimensional
objective function
belief networks
probabilistic inference
neural network
feature selection
image segmentation
database systems
structural information
decision theoretic
bayesian model