TIME C

25 papers

YearTitle / Authors
200714th International Symposium on Temporal Representation and Reasoning (TIME 2007), 28-30 June 2007, Alicante, Spain
2007A Comparison of Statistical and Rule-Induction Learners for Automatic Tagging of Time Expressions in English.
Jordi Poveda, Mihai Surdeanu, Jordi Turmo
2007A Symbolic Decision Procedure for Robust Safety of Timed Systems.
Mani Swaminathan, Martin Fränzle
2007Automated Natural Deduction for Propositional Linear-Time Temporal Logic.
Alexander Bolotov, Oleg M. Grigoriev, Vasilyi Shangin
2007Automated Planning in Temporal Domains: Some Recent Advances and Current Research Topics.
Alfonso Gerevini
2007Automatic Analysis of Temporal Relations within a Discourse.
Petr Nemec
2007Bi-Intervals for Backtracking on Temporal Constraint Networks.
Jean-François Baget, Sébastien Laborie
2007Conceptual Modeling of Temporal Clinical Workflows.
Carlo Combi, Matteo Gozzi, José M. Juárez, Barbara Oliboni, Giuseppe Pozzi
2007Constructing a Temporal Relation Tagged Corpus of Chinese Based on Dependency Structure Analysis.
Yuchang Cheng, Masayuki Asahara, Yuji Matsumoto
2007Extended Time Constraints for Sequence Mining.
Céline Fiot, Anne Laurent, Maguelonne Teisseire
2007Graph-DTP: Graph-Based Algorithm for Solving Disjunctive Temporal Problems.
Yuechang Liu, Hong Qian, Yunfei Jiang
2007Model Checking Branching Time Logics.
Philippe Schnoebelen
2007Modularity and Temporal Reasoning: A Logic Programming Approach.
Vítor Nogueira, Salvador Abreu
2007Multilingual Extension of Temporal Expression Recognition Using Parallel Corpora.
Marcel Puchol-Blasco, Estela Saquete, Patricio Martínez-Barco
2007On Construction of Holistic Synopses under the Duplicate Semantics of Streaming Queries.
David Toman
2007On the Equivalence of Automaton-Based Representations of Time Granularities.
Ugo Dal Lago, Angelo Montanari, Gabriele Puppis
2007Reasoning with 'And Then' and 'While'.
Suman Roy, Guido Sciavicco
2007Relational Temporal Machines.
Nicole Bidoit, François Hantry
2007SQTL: A Preliminary Proposal for a Temporal-to-Temporal Query Language.
Nicole Bidoit, Matthieu Objois
2007Similarity Search in Trajectory Databases.
Nikos Pelekis, Ioannis Kopanakis, Gerasimos Marketos, Irene Ntoutsi, Gennady L. Andrienko, Yannis Theodoridis
2007Temporal Relations of Intervals with a Gap.
Max J. Egenhofer
2007Temporalising Tractable Description Logics.
Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
2007The Effects of Bounding Syntactic Resources on Presburger LTL.
Stéphane Demri, Régis Gascon
2007Towards a Science of Temporal Databases.
Richard T. Snodgrass
2007WCTAnalyze-Collecting, Indexing, Accessing and Visualizing Temporally Indexed Textual Resources.
Sebastian Gottwald, Gerhard Heyer, Matthias Richter, Peter Walde