Rafael Grimson

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