Termination conditions for positivity proving procedures.

Veronika Pillwein

Published in: ISSAC (2013)

Keyphrases

sufficient conditions
term rewrite systems
information retrieval
image processing
experimental conditions
database
data sets
machine learning
genetic algorithm
multimedia
wide range
cooperative
trade off