14. TIME 2007:
Alicante,
Spain
14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 28-30 June 2007, Alicante, Spain.
IEEE Computer Society 2007, ISBN 978-0-7695-2836-6 BibTeX
Invited Talks
Regular Papers
- Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
Temporalising Tractable Description Logics.
11-22
Electronic Edition (link) BibTeX
- Nicole Bidoit, Francois Hantry:
Relational Temporal Machines.
23-34
Electronic Edition (link) BibTeX
- Nicole Bidoit, Matthieu Objois:
SQTL: A Preliminary Proposal for a Temporal-to-Temporal Query Language.
35-46
Electronic Edition (link) BibTeX
- Alexander Bolotov, Oleg Grigoriev, Vasilyi Shangin:
Automated Natural Deduction for Propositional Linear-Time Temporal Logic.
47-58
Electronic Edition (link) BibTeX
- Yuchang Cheng, Masayuki Asahara, Yuji Matsumoto:
Constructing a Temporal Relation Tagged Corpus of Chinese Based on Dependency Structure Analysis.
59-69
Electronic Edition (link) BibTeX
- Carlo Combi, Matteo Gozzi, José M. Juárez, Barbara Oliboni, Giuseppe Pozzi:
Conceptual Modeling of Temporal Clinical Workflows.
70-81
Electronic Edition (link) BibTeX
- Ugo Dal Lago, Angelo Montanari, Gabriele Puppis:
On the Equivalence of Automaton-Based Representations of Time Granularities.
82-93
Electronic Edition (link) BibTeX
- Stéphane Demri, Régis Gascon:
The Effects of Bounding Syntactic Resources on Presburger LTL.
94-104
Electronic Edition (link) BibTeX
- Céline Fiot, Anne Laurent, Maguelonne Teisseire:
Extended Time Constraints for Sequence Mining.
105-116
Electronic Edition (link) BibTeX
- Petr Nemec:
Automatic Analysis of Temporal Relations within a Discourse.
117-128
Electronic Edition (link) BibTeX
- Nikos Pelekis, Ioannis Kopanakis, Gerasimos Marketos, Irene Ntoutsi, Gennady L. Andrienko, Yannis Theodoridis:
Similarity Search in Trajectory Databases.
129-140
Electronic Edition (link) BibTeX
- Jordi Poveda, Mihai Surdeanu, Jordi Turmo:
A Comparison of Statistical and Rule-Induction Learners for Automatic Tagging of Time Expressions in English.
141-149
Electronic Edition (link) BibTeX
- David Toman:
On Construction of Holistic Synopses under the Duplicate Semantics of Streaming Queries.
150-162
Electronic Edition (link) BibTeX
Short Papers
Poster Papers
Copyright © Sat May 16 23:43:48 2009
by Michael Ley (ley@uni-trier.de)
