Login / Signup
An algorithm for automatically selecting a suitable verification method for linear systems.
Katsuhisa Ozaki
Takeshi Ogita
Shin'ichi Oishi
Published in:
Numer. Algorithms (2011)
Keyphrases
</>
linear systems
verification method
dynamic programming
learning algorithm
k means
np hard
simulated annealing
computationally intensive
neural network
genetic algorithm
image segmentation
optimization algorithm
convergence rate