CSDL - Proceedings T

PDF

Session 1: Temporal Logic

Representing trends and trend dependencies with multiple granularities (Abstract)

Carlo Combi, Universita degli Studi di Verona

Rosalba Rossato, Universita degli Studi di Verona

pp. 3-10

PDF

Is There a Future for Deductive Temporal Verification? (Abstract)

Clare Dixon, University of Liverpool, UK

Michael Fisher, University of Liverpool, UK

Boris Konev, University of Liverpool, UK

pp. 11-18

PDF

Automated Verification of Continuous Time Systems by Discrete Temporal Induction (Abstract)

Angelo Gargantini, Universit? di Bergamo, Italy

Angelo Morzenti, Politecnico di Milano, Italy

pp. 19-26

PDF

CTL Model Checking for Labelled Tree Queries (Abstract)

Sylvain Halle, Universite du Quebec a Montreal, Canada

Roger Villemaire, Universite du Quebec a Montreal, Canada

Omar Cherkaoui, Universite du Quebec a Montreal, Canada

pp. 27-35

PDF

A Decidable Temporal Logic for Events and States (Abstract)

Savas Konur, University of Manchester, UK

pp. 36-41

PDF

In time alone: on the computational power of querying the history (Abstract)

Alexei Lisitsa, University of Liverpool, UK

Igor Potapov, University of Liverpool, UK

pp. 42-49

PDF

Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic (Abstract)

Antonio Morales, University of Murcia, Spain

Guido Sciavicco, University of Murcia, Spain

pp. 50-60

PDF

Session 2: Time in Artificial Intelligence

Task Scheduling for a TemporalWorkflow Management System (Abstract)

Carlo Combi, Universita degli Studi di Verona, Spain

Giuseppe Pozzi, Universita degli Studi di Verona, Spain

pp. 61-68

PDF

Ultimately Periodic Simple Temporal Problems (UPSTPs) (Abstract)

Jean-Francois Condotta, CRIL-CNRS, Universite d?Artois, Rue de l?Universite, 62307 Lens, France

Gerard Ligozat, LIMSI-CNRS, Universite de Paris-Sud, 91403 Orsay, France

Mahmoud Saade, CRIL-CNRS, Universite d?Artois, Rue de l?Universite, 62307 Lens, France

Stavros Tripakis, VERIMAG, Centre Equation, 2, avenue de Vignate, 38610 Gieres, France

pp. 69-77

PDF

A Generic Toolkit for n-ary Qualitative Temporal and Spatial Calculi (Abstract)

Jean-Francois Condotta, CRIL-CNRS, Universite d?Artois, 62307 Lens Cedex, France

Mahmoud Saade, CRIL-CNRS, Universite d?Artois, 62307 Lens Cedex, France

Gerard Ligozat, LIMSI-CNRS, Universite d?Orsay, 91403 Orsay, France

pp. 78-86

PDF

An automaton-based approach to the verification of timed workflow schemas (Abstract)

Elisabetta De Maria, University of Udine, Italy

Angelo Montanari, University of Udine, Italy

Marco Zantoni, University of Udine, Italy

pp. 87-94

PDF

Conditional and Composite Temporal Constraints with Preferences (Abstract)

Malek Mouhoub, University of Regina, Canada

Amrudee Sukpan, University of Regina, Canada

pp. 95-102

PDF

Measuring, monitoring and controlling software maintenance efforts (Abstract)

Markus Zanker, University Klagenfurt, Austria

Sergiu Gordea, University Klagenfurt, Austria

pp. 103-110

PDF

Efficient Heuristics for Solving Probabilistic Interval Algebra Networks (Abstract)

Kai Zhang, Acadia University, Canada

Andr? Trudel, Acadia University, Canada

pp. 111-120

PDF

Session 3: Time in Databases

How Would You Like to Aggregate Your Temporal Data? (Abstract)

Michael H. Bohlen, Free University of Bozen-Bolzano, Italy

Johann Gamper, Free University of Bozen-Bolzano, Italy

Christian S. Jensen, Aalborg University, Denmark

pp. 121-136

PDF

Aggregation Estimation for 2D Moving Points (Abstract)

Scot Anderson, University of Nebraska

pp. 137-144

PDF

Adaptive Interpolation Algorithms for Temporal-Oriented Datasets (Abstract)

Jun Gao, University of Nebraska-Lincoln

pp. 145-151

PDF

Extracting Uncertain Temporal Relations from Mined Frequent Sequences (Abstract)

Francisco Guil, Universidad de Almerya, Spain

Roque Marin, Universidad de Murcia, Spain

pp. 152-159

PDF

Formal Verification of an Optimistic Concurrency Control Algorithm using SPIN (Abstract)

Achraf Makni, Economiques et de Gestion de Sfax, Tunisia

Rafik Bouaziz, Economiques et de Gestion de Sfax, Tunisia

Faiez Gargouri, Multim?dia de Sfax, Tunisia

pp. 160-167

PDF

A Spatiotemporal Database for Ozone in the Conterminous U.S. (Abstract)

Lixin Li, Georgia Southern University

Xingyou Zhang, Georgia Southern University

Reinhard Piltner, Georgia Southern University

pp. 168-176

PDF

k-Anonymity in Databases with Timestamped Data (Abstract)

Sergio Mascetti, University of Milan, Italy

Claudio Bettini, University of Milan, Italy

X. Sean Wang, University of Vermont, VT

Sushil Jajodia, George Mason University, VA

pp. 177-186

PDF

Session 4: Time in Natural Language

Processes as Continuants (Abstract) (PDF)

Antony Galton, University of Exeter, UK

pp. 187

PDF

Task-Oriented Extraction of Temporal Information: The Case of Clinical Narratives (Abstract)

Rob Gaizauskas, University of Sheffield, UK

Henk Harkema, University of Sheffield, UK

Mark Hepple, University of Sheffield, UK

Andrea Setzer, University of Sheffield, UK

pp. 188-195

PDF

From Language to Time: A Temporal Expression Anchorer (Abstract)

Benjamin Han, Carnegie Mellon University

Donna Gates, Carnegie Mellon University

Lori Levin, Carnegie Mellon University

pp. 196-203

PDF

DyST: Dynamic and Scalable Temporal Text Indexing (Abstract)

Kjetil Norvag, Norwegian University of Science and Technology, Norway

Albert Overskeid N Nybo, Norwegian University of Science and Technology, Norway

pp. 204-211

PDF

Temporal Arithmetic Mixing Months and Days (Abstract)

Feng Pan, University of Southern California

Jerry R. Hobbs, University of Southern California

pp. 212-217

PDF

Automatic resolution rule assignment to multilingual Temporal Expressions using annotated corpora (Abstract)

E. Saquete, DLSI. UA, Alicante, Spain

P. Martinez-Barco, DLSI. UA, Alicante, Spain

R. Munoz, DLSI. UA, Alicante, Spain

M. Negri, ITC-irst, Povo (TN), Italy

M. Speranza, ITC-irst, Povo (TN), Italy

R. Sprugnoli, CELCT, Trento, Italy

pp. 218-224

PDF

Author Index

Author Index (PDF)

pp. 225