Numerical invariants through convex relaxation and max-strategy iteration.

Thomas Martin Gawlitza Helmut Seidl

Published in: Formal Methods Syst. Des. (2014)

Keyphrases

convex relaxation
convex optimization
globally optimal
multistage
multi label
sparse approximation
objective function
multiple kernel learning
computer vision
image features
image classification