Login / Signup
Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic.
Takamasa Okudono
Andy King
Published in:
TACAS (1) (2020)
Keyphrases
</>
integer arithmetic
bit vector
euclidean distance transform
image sequences