Sciweavers

563 search results - page 3 / 113
» An Observational Model for Spatial Logics
Sort
View
ENTCS
2006
141views more  ENTCS 2006»
13 years 10 months ago
A Concurrent Model for Linear Logic
We build a realizability model for linear logic using a name-passing process calculus. The construction is based on testing semantics for processes, drawing ideas from spatial and...
Emmanuel Beffara
DOLAP
2006
ACM
14 years 4 months ago
Towards a logical multidimensional model for spatial data warehousing and OLAP
Decision support systems (DSS) may be enhanced qualitatively if they are able to also deal with spatial dimensions and measures. Regardless the evident importance of using data wa...
Marcus Costa Sampaio, Andre Gomes de Sousa, Cl&aac...
ENTCS
2007
116views more  ENTCS 2007»
13 years 10 months ago
Co-Algebraic Models for Quantitative Spatial Logics
We introduce a class of coalgebraic models and a family of modal logics that support the specication of spatial properties of distributed applications. The evaluation of a formul...
Vincenzo Ciancia, Gian Luigi Ferrari
COSIT
1999
Springer
189views GIS» more  COSIT 1999»
14 years 3 months ago
A Formal Model of the Process of Wayfinding in Built Environments
Previous recent research on human wayfinding has focused primarily on mental representations rather than processes of wayfinding. This paper presents a formal model of some aspect...
Martin Raubal, Michael F. Worboys