A step towards refining and translating B control annotations to Handel-C.

Wilson Ifill Steve A. Schneider

Published in: Concurr. Comput. Pract. Exp. (2010)

Keyphrases

control system
control method
control problems
data mining
learning algorithm
database systems
semantic annotation
genetic algorithm
computer vision
image sequences
keywords
data structure
microarray
image annotation
adaptive control
robot control