A Formal Approach to Specify and Synthesize at the System Level.

Christian Blumenröhr

Published in: MBMV (1999)

Keyphrases

lower level
data sets
levels of abstraction
higher level
formal methods
formal specification
data structure
website
multiscale
learning environment
video sequences
evolutionary algorithm
multimedia
image processing
information retrieval
machine learning
database