Termination of Linear Loops over the Integers.

Mehran Hosseini Joël Ouaknine James Worrell

Published in: ICALP (2019)

Keyphrases

integer arithmetic
closed form
multiscale
optimal linear
neural network
computer vision
three dimensional
image sequences
objective function
floating point