A Quantifier Elimination Algorithm for Linear Real Arithmetic.

Published in: LPAR (2008)

Keyphrases

elimination algorithm
probabilistic inference
neural network
learning algorithm
training set
optical flow
floating point
hadamard transform