Query processing is an important challenge for spatial databases due to the use of complex data types that represent spatial attributes. In particular, due to the cost of spatial joins, several optimization algorithms based ...

This document presents an executable semantics in rewrite logic for Concurrent Spatial Constraint Programming, abbreviated SCCP. SCCP is a computational model used to reason about spatial information and knowledge distributed ...

En la era de transformación digital, nuestra cotidianidad se encuentra crecientemente invadida por dispositivos inteligentes con la capacidad de percibir distintos tipos de variables de contexto para adaptarse a nuestras ...