Spatial partitioning is commonly used for parallel simulation of spatial–temporal systems, such as simulations of wildfires. Achieving effective spatial partitioning is a challenging task due to the dynamic behavior of the simulation models. This paper presents a partitioning method named profile-based spatial partitioning for parallel simulation of large scale wildfires. The profile-based part...

We propose a new class of logics for specifying and modelchecking properties of distributed systems Dynamic Epistemic Spatial Logics. They have been designed as extensions of Hennessy-Milner logic with spatial operators (inspired by Cardelli-Gordon-Caires spatial logic) and epistemic operators (inspired by dynamic-epistemic logics). Our logics focus on observers, agents placed in different loca...

Ambient intelligence environments necessitate representing and reasoning about dynamic spatial scenes and configurations. The ability to perform predictive and explanatory analyses of spatial scenes is crucial toward serving a useful intelligent function within such environments. We present a formal qualitative model that combines existing qualitative theories about space with a formal logic-ba...

The systematic modelling of dynamic spatial systems is a key requirement in a wide range of application areas such as commonsense cognitive robotics, computer-aided architecture design, dynamic geographic information systems. We present ASPMT(QS), a novel approach and fully-implemented prototype for non-monotonic spatial reasoning —a crucial requirement within dynamic spatial systems— based on ...

The systematic modelling of dynamic spatial systems [9] is a key requirement in a wide range of application areas such as comonsense cognitive robotics, computer-aided architecture design, dynamic geographic information systems. We present ASPMT(QS), a novel approach and fully-implemented prototype for non-monotonic spatial reasoning —a crucial requirement within dynamic spatial systems– based ...

BACKGROUND The task of spatial cluster detection involves finding spatial regions where some property deviates from the norm or the expected value. In a probabilistic setting this task can be expressed as finding a region where some event is significantly more likely than usual. Spatial cluster detection is of interest in fields such as biosurveillance, mining of astronomical data, military sur...

Along with using geometric information to define spatial terms such as “in”, Coventry and Garrod (2004) have proposed the use of dynamic-kinematic (DK) routines which relate to how two objects interact (kinematic) over time (dynamic). For the spatial description, “The penny is in the bowl,” the penny is contained by a bounding box around the bowl as well as the DK location-control routine that ...

In many survival studies, covariates effects are time-varying and there is presence of spatial effects. Dynamic models can be used to cope with the variations of the effects and spatial components are introduced to handle spatial variation. This paper proposes a methodology to simultaneously introduce these components into the model. A number of specifications for the spatial components are con...

Voronoi diagrams have recently received attention as data structures containing significant information about the spatial adjacency of map objects. Despite their theoretical efficiency, batch construction techniques require complete rebuilding after each modification. Incremental Voronoi creation methods use processes such as insert, delete and move for points, and from these derive insertion a...

Moving range queries over mobile objects are important in many location management applications. There have been quite a few research works in this area. However, all existing solutions assume an open space environment, which are either not applicable to spatial network environment or require nontrivial extensions. In this paper, we consider a new class of query called Dynamic Range Query. A dy...