Login / Signup
On Termination of Integer Linear Loops.
Mehran Hosseini
Joël Ouaknine
James Worrell
Published in:
CoRR (2019)
Keyphrases
</>
integer arithmetic
simple linear
piecewise linear
bayesian networks
real time
search algorithm
integer valued
rewrite systems
transfer function
linear model
least squares
similarity measure
information systems
computer vision
information retrieval
neural network
data sets