Rafael Grimson

Publication Activity (10 Years)

Years Active: 2007-2020
Publications (10 Years): 2

Top Topics

Quantifier Elimination

Video Denoising

Quantitative Measurements

Top Venues

J. Comput. Syst. Sci.

IEEE Trans. Geosci. Remote. Sens.

Earth Sci. Informatics

Publications

Juan Lucas Bali, Manuela Cerdeiro, Mariela Rajngewerc, Rafael Grimson
A new method for gridding passive microwave data with mixed measurements and spatial correlation. Earth Sci. Informatics 13 (4) (2020)
Rafael Grimson, Juan Lucas Bali, Mariela Rajngewerc, Laura San Martin, Mercedes Salvia
A Statistical Inverse Method for Gridding Passive Microwave Data With Mixed Measurements. IEEE Trans. Geosci. Remote. Sens. 57 (3) (2019)
Rafael Grimson, Natalia S. Morandeira, Alejandro C. Frery
Comparison of nonlocal means despeckling based on stochastic measures. IGARSS (2015)
Santiago Figueira, Daniel Gorín, Rafael Grimson
Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies. J. Comput. Syst. Sci. 80 (6) (2014)
Rafael Grimson, Bart Kuijpers
Some fragments of second-order logic over the reals for which satisability and equivalence are (un)decidable. Reports Math. Log. 49 (2014)
Rafael Grimson, Joos Heintz, Bart Kuijpers
Evaluating geometric queries using few arithmetic operations. Appl. Algebra Eng. Commun. Comput. 23 (3-4) (2012)
Rafael Grimson, Bart Kuijpers, Walied Othman
Quantifier elimination for elementary geometry and elementary affine geometry. Math. Log. Q. 58 (6) (2012)
Rafael Grimson, Joos Heintz, Bart Kuijpers
Evaluating geometric queries using few arithmetic operations CoRR (2011)
Santiago Figueira, Daniel Gorín, Rafael Grimson
On the Expressive Power of IF-Logic with Classical Negation. WoLLIC (2011)
Rafael Grimson, Joos Heintz, Bart Kuijpers
Efficient evaluation of specific queries in constraint databases. Inf. Process. Lett. 111 (19) (2011)
Bart Kuijpers, Rafael Grimson, Walied Othman
An analytic solution to the alibi query in the space-time prisms model for moving object data. Int. J. Geogr. Inf. Sci. 25 (2) (2011)
Rafael Grimson
An Efficient Algorithm for the Sign Condition Problem in the Semi-algebraic Context. GMP (2010)
Santiago Figueira, Daniel Gorín, Rafael Grimson
On the formal semantics of IF-like logics. J. Comput. Syst. Sci. 76 (5) (2010)
Rafael Grimson, Bart Kuijpers
Some lower bounds for the complexity of the linear programming feasibility problem over the reals. J. Complex. 25 (1) (2009)
Santiago Figueira, Daniel Gorín, Rafael Grimson
On the Formal Semantics of IF-Like Logics. WoLLIC (2008)
Rafael Grimson
A lower bound for the complexity of linear optimization from a quantifier-elimination point of view. Constraint Databases, Geometric Elimination and Geographic Information Systems (2007)
Bart Kuijpers, Walied Othman, Rafael Grimson
A case study of the difficulty of quantifier elimination in constraint databases: the alibi query in moving object databases CoRR (2007)