The SCEAS System
Navigation Menu

Conferences in DBLP

TIME Symposium / Workshop (time)
2007 (conf/time/2007)

  1. 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]
  2. Ph. Schnoebelen
    Model Checking Branching Time Logics. [Citation Graph (0, 0)][DBLP]
    TIME, 2007, pp:5- [Conf]
  3. Richard T. Snodgrass
    Towards a Science of Temporal Databases. [Citation Graph (0, 0)][DBLP]
    TIME, 2007, pp:6-7 [Conf]
  4. 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]
  5. Nicole Bidoit, Francois Hantry
    Relational Temporal Machines. [Citation Graph (0, 0)][DBLP]
    TIME, 2007, pp:23-34 [Conf]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. Céline Fiot, Anne Laurent, Maguelonne Teisseire
    Extended Time Constraints for Sequence Mining. [Citation Graph (0, 0)][DBLP]
    TIME, 2007, pp:105-116 [Conf]
  13. Petr Nemec
    Automatic Analysis of Temporal Relations within a Discourse. [Citation Graph (0, 0)][DBLP]
    TIME, 2007, pp:117-128 [Conf]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. Max J. Egenhofer
    Temporal Relations of Intervals with a Gap. [Citation Graph (0, 0)][DBLP]
    TIME, 2007, pp:169-174 [Conf]
  19. 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]
  20. Suman Roy, Guido Sciavicco
    Reasoning with 'And Then' and 'While'. [Citation Graph (0, 0)][DBLP]
    TIME, 2007, pp:181-188 [Conf]
  21. 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]
  22. 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]
  23. Vítor Nogueira, Salvador Abreu
    Modularity and Temporal Reasoning: A Logic Programming Approach. [Citation Graph (0, 0)][DBLP]
    TIME, 2007, pp:191- [Conf]
  24. 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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002