Login / Signup
Optimized Static Parameter Assignment for Semiformal Software Verification.
Alexander Grünhage
Jörg Behrend
Patrick Heckeler
Jürgen Ruf
Thomas Kropf
Wolfgang Rosenstiel
Djones Lettnin
Published in:
MBMV (2012)
Keyphrases
</>
real time
neural network
information systems
parameter settings
parameter values
three dimensional
input parameters
computational complexity
single parameter
database
dynamic analysis
optimal parameters
wide range
objective function
database systems
information retrieval
data mining
databases