Login / Signup
Superposition Modulo Non-linear Arithmetic.
Andreas Eggers
Evgeny Kruglov
Stefan Kupferschmid
Karsten Scheibler
Tino Teige
Christoph Weidenbach
Published in:
FroCoS (2011)
Keyphrases
</>
databases
signal analysis
arithmetic operations
real time
machine learning
information retrieval
artificial intelligence
similarity measure
multiscale
search algorithm
lower bound
user interface
probability distribution