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