2 papers
cs.DS2011
Evaluating geometric queries using few arithmetic operations
Rafael Grimson, Joos Heintz, Bart Kuijpers
Let $\cp:=(P_1,...,P_s)$ be a given family of -variate polynomials with integer coefficients and suppose that the degrees and logarithmic heights of these polynomials are bounde…
cs.LO2007
A case study of the difficulty of quantifier elimination in constraint databases: the alibi query in moving object databases
Bart Kuijpers, Walied Othman, Rafael Grimson
In the constraint database model, spatial and spatio-temporal data are stored by boolean combinations of polynomial equalities and inequalities over the real numbers. The relationa…