A Certified Implementation of ML with Structural Polymorphism.

Jacques Garrigue

Published in: APLAS (2010)

Keyphrases

maximum likelihood
implementation details
reinforcement learning
expert systems
multiresolution
real time
information retrieval
multimedia
database systems
artificial neural networks
future development