Towards certified compilation of RTFM-core applications.

Per Lindgren Marcus Lindner David Pereira Luís Miguel Pinho

Published in: ETFA (2016)

Keyphrases

three dimensional
real world
decision trees
multi agent
natural language
multi agent systems
hidden markov models
technical support