Sign in

NLCertify: A Tool for Formal Nonlinear Optimization.

Victor Magron
Published in: ICMS (2014)
Keyphrases
  • nonlinear optimization
  • starting points
  • optimization method
  • closed form solutions
  • initial solution
  • video sequences
  • search algorithm
  • high dimensional
  • evolutionary algorithm
  • least squares
  • bundle adjustment