Towards Component Verification in the Generic Component Framework.

Julia Padberg Hartmut Ehrig Fernando Orejas

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

Keyphrases

machine learning
real world
probabilistic model
lightweight
main contribution
databases
neural network
artificial intelligence
search engine
metadata
learning environment
multiresolution
hidden markov models
computational framework