Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis.

Kensuke Kojima Minoru Kinoshita Kohei Suenaga

Published in: CoRR (2016)

Keyphrases

program synthesis
real time
information retrieval
face recognition
support vector
object recognition
control system
lightweight
cost effective
computationally expensive
differential equations