Polar Type Inference with Intersection Types and omega.

Sébastien Carlier

Published in: Electron. Notes Theor. Comput. Sci. (2002)

Keyphrases

multiple types
neural network
decision theoretic
image processing
website
bayesian networks
multiresolution
cartesian coordinates
inference mechanism
bayesian model
rotation invariant
signal processing
denoising
database
information systems
social networks
real world
data sets