Anzu: A Tool for Property Synthesis.

Barbara Jobstmann Stefan J. Galler Martin Weiglhofer Roderick Bloem

Published in: CAV (2007)

Keyphrases

databases
database
computer vision
feature selection
three dimensional
evolutionary algorithm
wireless sensor networks