Login / Signup
Sharper and Simpler Nonlinear Interpolants for Program Verification.
Takamasa Okudono
Yuki Nishida
Kensuke Kojima
Kohei Suenaga
Kengo Kido
Ichiro Hasuo
Published in:
CoRR (2017)
Keyphrases
</>
databases
data sets
nonlinear equations
high order
parametric curves
nonlinear optimization
piecewise smooth
kernel pca
computer graphics
virtual environment
support vector
data structure
image segmentation
knowledge base
information systems
machine learning
data mining