Type Inference with Inequalities.

Michael I. Schwartzbach

Published in: TAPSOFT, Vol.1 (1991)

Keyphrases

probabilistic inference
data sets
data mining
machine learning
computer vision
expert systems
information extraction
sufficient conditions
inference process