Login / Signup
Tropical Fourier-Motzkin elimination, with an application to real-time verification.
Xavier Allamigeon
Uli Fahrenberg
Stéphane Gaubert
Ricardo David Katz
Axel Legay
Published in:
Int. J. Algebra Comput. (2014)
Keyphrases
</>
real time
vision system
image reconstruction
real time systems
model checking
video sequences
fourier transform
database
data sets
multiresolution
translation invariant