Growing importance of application domains such as location-based services and evacuation planning highlights the need for efficient modeling of spatio-temporal networks (e.g. road networks) that takes into account changes to the network over time. The model should provide the necessary framework for developing efficient algorithms that implement frequent operations posed on such networks. A fre...

One difficult task in information modeling is to adequately address the impact of time. This paper briefly reviews some popular approaches for modeling temporal data and operations, then provides a conceptual framework for classifying temporal information, and proposes data model patterns to address time-impacted tasks such as modeling histories, and tracking entities across time as they migrat...

We present an approach to query modeling that uses the temporal distribution of documents in an initially retrieved set of documents. Such distributions tend to exhibit bursts, especially in news-related document collections. We hypothesize that documents in those bursts are more likely to be relevant and update the query model with the most distinguishing terms in high-quality documents sample...

Integrating spatial and temporal dimensions is a fundamental yet challenging issue in modeling geospatial data. This article presents the design of a generic model within the object-oriented paradigm to represent spatially-varying, temporally-varying, and spatio-temporally-varying information using a mechanism, called parametric polymorphism. This mechanism allows a conventional data type (e.g....

Temporal textures are textures with motion. Examples include wavy water, rising steam and fire. We model image sequences of temporal textures using the spatio-temporal autoregressive model (STAR). This model expresses each pixel as a linear combination of surrounding pixels lagged both in space and in time. The model provides a base for both recognition and synthesis. We show how the least squa...

In this article the methodology proposed by Li and Wang for mixed qualitative and quantitative modeling and simulation of temporal behavior of processing unit is reexamined and extended to more complex case. The main issue of their approach considers the multivariate statistics of principal component analysis (PCA), along with clustered fuzzy digraphs and reasoning. The PCA and fuz...

Our paper introduces a runtime verification framework for concurrent monitoring of applications specified by UML statecharts. The approach offers a considerable degree of granularity by (i) enabling the modeler to focus on specific key dependability criteria by defining temporal logic formulae over a behavioral model that is available even in early phases of the development and (ii) by supporti...

Time modeling is an important aspect of medical decision-support systems engineering. At the core of effective time modeling lies the challenge of proper knowledge representation design. In this paper, we focus on two important principles for effective time-modeling languages: (a) hybrid temporal representation, and (b) dynamic temporal abstraction. To explore the significance of these design p...