-terms using intersection types.

Mariangiola Dezani-Ciancaglini Furio Honsell Yoko Motohama

Published in: Theor. Comput. Sci. (2005)

Keyphrases

information retrieval
real time
genetic algorithm
learning algorithm
information systems
case study
three dimensional
database systems
bayesian networks
reinforcement learning
special case
text classification