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 
Invited Talks
Regular Papers
- Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
Temporalising Tractable Description Logics.
11-22
- Nicole Bidoit, François Hantry:
Relational Temporal Machines.
23-34
- Nicole Bidoit, Matthieu Objois:
SQTL: A Preliminary Proposal for a Temporal-to-Temporal Query Language.
35-46
- Alexander Bolotov, Oleg Grigoriev, Vasilyi Shangin:
Automated Natural Deduction for Propositional Linear-Time Temporal Logic.
47-58
- Yuchang Cheng, Masayuki Asahara, Yuji Matsumoto:
Constructing a Temporal Relation Tagged Corpus of Chinese Based on Dependency Structure Analysis.
59-69
- Carlo Combi, Matteo Gozzi, José M. Juárez, Barbara Oliboni, Giuseppe Pozzi:
Conceptual Modeling of Temporal Clinical Workflows.
70-81
- Ugo Dal Lago, Angelo Montanari, Gabriele Puppis:
On the Equivalence of Automaton-Based Representations of Time Granularities.
82-93
- Stéphane Demri, Régis Gascon:
The Effects of Bounding Syntactic Resources on Presburger LTL.
94-104
- Céline Fiot, Anne Laurent, Maguelonne Teisseire:
Extended Time Constraints for Sequence Mining.
105-116
- Petr Nemec:
Automatic Analysis of Temporal Relations within a Discourse.
117-128
- Nikos Pelekis, Ioannis Kopanakis, Gerasimos Marketos, Irene Ntoutsi, Gennady L. Andrienko, Yannis Theodoridis:
Similarity Search in Trajectory Databases.
129-140
- Jordi Poveda, Mihai Surdeanu, Jordi Turmo:
A Comparison of Statistical and Rule-Induction Learners for Automatic Tagging of Time Expressions in English.
141-149
- David Toman:
On Construction of Holistic Synopses under the Duplicate Semantics of Streaming Queries.
150-162
Short Papers
Poster Papers
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
