Login / Signup
On the efficiency of formal synthesis-experimental results.
Christian Blumenröhr
Dirk Eisenbiegler
Detlef Schmid
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1999)
Keyphrases
</>
evolutionary algorithm
computer vision
decision trees
statistical analysis
experimental data
database
databases
neural network
machine learning
multimedia
cooperative
search algorithm
information technology
artificial neural networks