Login / Signup
Simple interpolants for linear arithmetic.
Christoph Scholl
Florian Pigorsch
Stefan Disch
Ernst Althaus
Published in:
DATE (2014)
Keyphrases
</>
simple linear
real time
neural network
learning algorithm
wide range
information retrieval
e learning
similarity measure
objective function
learning environment
closed form
piecewise linear
highly reliable