12. TIME 2005:
Burlington,
Vermont,
USA
12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 23-25 June 2005, Burlington, Vermont, USA.
IEEE Computer Society 2005, ISBN 0-7695-2370-6 BibTeX
Introduction
Invited Talks
Temporal Representation and Reasoning in AI
Temporal Databases
- Fusheng Wang, Carlo Zaniolo, Xin Zhou:
Temporal XML? SQL Strikes Back!
47-55
Electronic Edition (link) BibTeX
- Amal El-Nahas, Omar H. Karam, Ahmad Hamad, Ingy Ramzy:
"TellMe": A Novel Protocol and Location Prediction Scheme Exploiting the "One For All" Framework for Location Management.
56-64
Electronic Edition (link) BibTeX
- Kiyoung Yang, Cyrus Shahabi:
A Multilevel Distance-Based Index Structure for Multivariate Time Series.
65-73
Electronic Edition (link) BibTeX
- Nicole Bidoit, Matthieu Objois:
Temporal Query Languages Expressive Power: µTL versus T-WHILE.
74-82
Electronic Edition (link) BibTeX
- Mohammed Al-Kateb, Essam Mansour, Mohamed E. El-Sharkawi:
CME: A Temporal Relational Model for Efficient Coalescing.
83-90
Electronic Edition (link) BibTeX
- Carlo Combi, Angelo Montanari, Rosalba Rossato:
A Uniform Algebraic Characterization of Temporal Functional Dependencies.
91-99
Electronic Edition (link) BibTeX
Temporal Logic in Computer Science
- Pieter H. Hartel:
A Trace Semantics for Positive Core XPath.
103-112
Electronic Edition (link) BibTeX
- Stéphane Demri, Ranko Lazic, David Nowak:
On the Freeze Quantifier in Constraint LTL: Decidability and Complexity.
113-121
Electronic Edition (link) BibTeX
- Andreas Schäfer:
Axiomatisation and Decidability of Multi-dimensional Duration Calculus.
122-130
Electronic Edition (link) BibTeX
- Roger Villemaire, Sylvain Hallé, Omar Cherkaoui:
Configuration Logic: A Multi-site Modal Logic.
131-137
Electronic Edition (link) BibTeX
- Carsten Lutz, Dirk Walther, Frank Wolter:
Quantitative Temporal Logics: PSPACE and Below.
138-146
Electronic Edition (link) BibTeX
- Alexei Lisitsa, Igor Potapov:
Temporal Logic with Predicate lambda-Abstraction.
147-155
Electronic Edition (link) BibTeX
- Marko Samer, Helmut Veith:
Deterministic CTL Query Solving.
156-165
Electronic Edition (link) BibTeX
- Ben D'Angelo, Sriram Sankaranarayanan, César Sánchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna:
LOLA: Runtime Monitoring of Synchronous Systems.
166-174
Electronic Edition (link) BibTeX
Posters
Invited Posters
Copyright © Sat May 16 23:43:47 2009
by Michael Ley (ley@uni-trier.de)
