Correct by Construction Components Or: Would Nasreddin Use Components?

Asuman Suenbuel

Published in: EUROMICRO (2003)

Keyphrases

machine learning
probability distribution
neural network
genetic algorithm
real time
databases
information retrieval
learning algorithm
reinforcement learning
video sequences
multi agent systems