13. TIME 2006: Budapest, Hungary

13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 15-17 June 2006, Budapest, Hungary. IEEE Computer Society 2006, ISBN 0-7695-2617-9

Temporal Logic

Carlo Combi, Rosalba Rossato:
Representing trends and trend dependencies with multiple granularities. 3-10
Clare Dixon, Michael Fisher, Boris Konev:
Is There a Future for Deductive Temporal Verification? 11-18
Angelo Gargantini, Angelo Morzenti:
Automated Verification of Continuous Time Systems by Discrete Temporal Induction. 19-26
Sylvain Hallé, Roger Villemaire, Omar Cherkaoui:
CTL Model Checking for Labelled Tree Queries. 27-35
Savas Konur:
A Decidable Temporal Logic for Events and States. 36-41
Alexei Lisitsa, Igor Potapov:
In time alone: on the computational power of querying the history. 42-49
Antonio Morales, Guido Sciavicco:
Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic. 50-60

Time in Artificial Intelligence

Carlo Combi, Giuseppe Pozzi:
Task Scheduling for a TemporalWorkflow Management System. 61-68
Jean-François Condotta, Gérard Ligozat, Mahmoud Saade, Stavros Tripakis:
Ultimately Periodic Simple Temporal Problems (UPSTPs). 69-77
Jean-François Condotta, Mahmoud Saade, Gerard Ligozat:
A Generic Toolkit for n-ary Qualitative Temporal and Spatial Calculi. 78-86
Elisabetta De Maria, Angelo Montanari, Marco Zantoni:
An automaton-based approach to the verification of timed workflow schemas. 87-94
Malek Mouhoub, Amrudee Sukpan:
Conditional and Composite Temporal Constraints with Preferences. 95-102
Markus Zanker, Sergiu Gordea:
Measuring, monitoring and controlling software maintenance efforts. 103-110
Kai Zhang, André Trudel:
Efficient Heuristics for Solving Probabilistic Interval Algebra Networks. 111-120

Time in Databases

Michael H. Böhlen, Johann Gamper, Christian S. Jensen:
How Would You Like to Aggregate Your Temporal Data? 121-136
Scot Anderson:
Aggregation Estimation for 2D Moving Points. 137-144
Jun Gao:
Adaptive Interpolation Algorithms for Temporal-Oriented Datasets. 145-151
Francisco Guil, Roque Marín:
Extracting Uncertain Temporal Relations from Mined Frequent Sequences. 152-159
Achraf Makni, Rafik Bouaziz, Faïez Gargouri:
Formal Verification of an Optimistic Concurrency Control Algorithm using SPIN. 160-167
Lixin Li, Xingyou Zhang, Reinhard Piltner:
A Spatiotemporal Database for Ozone in the Conterminous U.S. 168-176
Sergio Mascetti, Claudio Bettini, Xiaoyang Sean Wang, Sushil Jajodia:
k-Anonymity in Databases with Timestamped Data. 177-186

Time in Natural Language

Antony Galton:
Processes as Continuants (Abstract). 187
Robert J. Gaizauskas, Henk Harkema, Mark Hepple, Andrea Setzer:
Task-Oriented Extraction of Temporal Information: The Case of Clinical Narratives. 188-195
Benjamin Han, Donna Gates, Lori S. Levin:
From Language to Time: A Temporal Expression Anchorer. 196-203
Kjetil Nørvåg, Albert Overskeid Nybø:
DyST: Dynamic and Scalable Temporal Text Indexing. 204-211
Feng Pan, Jerry R. Hobbs:
Temporal Arithmetic Mixing Months and Days. 212-217
Estela Saquete, Patricio Martínez-Barco, Rafael Muñoz, Matteo Negri, Manuela Speranza, Renzo Sprugnoli:
Automatic resolution rule assignment to multilingual Temporal Expressions using annotated corpora. 218-224

Last update Fri May 25 08:43:11 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page