Type-level Computation Using Narrowing in Omegamega.

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

artificial intelligence
real time
case study
levels of abstraction
neural network
machine learning
genetic algorithm
decision trees
bayesian networks
multiresolution
higher level
lower level
multiple types