Formal Synthesis at the Algorithmic Level.

Christian Blumenröhr Viktor K. Sabelfeld

Published in: CHARME (1999)

Keyphrases

data sets
higher level
three dimensional
levels of abstraction
computer vision
information systems
multimedia
database systems
search algorithm
wireless sensor networks
texture synthesis
formal methods
mathematical theory