TIME
1997
IEEE
14 years 3 months ago
1997
IEEE
TIME
1997
IEEE
14 years 3 months ago
1997
IEEE
d Abstract) Heikki Mannila and Pirjo Ronkainen
TIME
1997
IEEE
14 years 3 months ago
1997
IEEE
Temporal databases provide built-in supports for efficient recording and querying of time-evolving data. In this paper, data clustering issues in temporal database environment are...
TIME
1997
IEEE
14 years 3 months ago
1997
IEEE
TIME
1997
IEEE
14 years 3 months ago
1997
IEEE
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, allows the derivation of the maximal validity intervals (MVIs) o...
LICS
1997
IEEE
14 years 3 months ago
1997
IEEE
We present a categorical theory of ‘well-behaved’ operational semantics which aims at complementing the established theory of domains and denotational semantics to form a cohe...
LICS
1997
IEEE
14 years 3 months ago
1997
IEEE
LICS
1997
IEEE
14 years 3 months ago
1997
IEEE
LICS
1997
IEEE
14 years 3 months ago
1997
IEEE
In this paper, we incorporate a representation of the non-negative extended real numbers based on the composition of linear fractional transformations with nonnegative integer coe...
LICS
1997
IEEE
14 years 3 months ago
1997
IEEE