Polymorphic Unification and ML Typing.

Paris C. Kanellakis John C. Mitchell

Published in: POPL (1989)

Keyphrases

maximum likelihood
higher order
theorem proving
equational theories
database systems
em algorithm
image processing
eye typing
machine learning
information retrieval
computer vision
decision making
case study
similarity measure
video sequences