Minimization of Counterexamples in SPIN.

Paul Gastin Pierre Moro Marc Zeitoun

Published in: SPIN (2004)

Keyphrases

information retrieval
objective function
decision trees
multiscale
regularization term
quasi newton method
convex minimization
neural network
image processing
multimedia
three dimensional
minimization problems
geometric interpretation