On Termination of Integer Linear Loops.

Joël Ouaknine João Sousa Pinto James Worrell

Published in: SODA (2015)

Keyphrases

integer arithmetic
image processing
floating point
neural network
feature extraction
objective function
wavelet transform
closed form solutions
linear systems
quadratic programming