Higher-Order Polymorphic Sized Types for Safety Checks.

Wei-Ngan Chin Siau-Cheng Khoo Dana N. Xu

Published in: APLAS (2001)

Keyphrases

higher order
markov random field
neural network
natural images
high order
database
pairwise
real world
data mining
computer vision
information systems
decision trees
probabilistic model