Augmenting B with Control Annotations.

Wilson Ifill Steve A. Schneider Helen Treharne

Published in: B (2007)

Keyphrases

control system
metadata
multiscale
database
real time
databases
machine learning
semantic annotation
optimal control
neural network
genetic algorithm
decision making
high level
similarity measure
control theory