:facetid:toc:\"db/conf/time/time2007.bht\"OK:facetid:toc:db/conf/time/time2007.bhtAlessandro ArtaleRoman KontchakovCarsten LutzFrank WolterMichael ZakharyaschevTemporalising Tractable Description Logics.TIME11-222007Conference and Workshop Papersclosedconf/time/ArtaleKLWZ0710.1109/TIME.2007.62https://doi.org/10.1109/TIME.2007.62https://dblp.org/rec/conf/time/ArtaleKLWZ07URL#5610366Jean-François BagetSébastien LaborieBi-Intervals for Backtracking on Temporal Constraint Networks.TIME163-1682007Conference and Workshop Papersclosedconf/time/BagetL0710.1109/TIME.2007.44https://doi.org/10.1109/TIME.2007.44https://dblp.org/rec/conf/time/BagetL07URL#5610367Nicole BidoitFrançois HantryRelational Temporal Machines.TIME23-342007Conference and Workshop Papersclosedconf/time/BidoitH0710.1109/TIME.2007.58https://doi.org/10.1109/TIME.2007.58https://dblp.org/rec/conf/time/BidoitH07URL#5610368Nicole BidoitMatthieu ObjoisSQTL: A Preliminary Proposal for a Temporal-to-Temporal Query Language.TIME35-462007Conference and Workshop Papersclosedconf/time/BidoitO0710.1109/TIME.2007.60https://doi.org/10.1109/TIME.2007.60https://dblp.org/rec/conf/time/BidoitO07URL#5610369Alexander BolotovOleg M. Grigoriev 0001Vasilyi ShanginAutomated Natural Deduction for Propositional Linear-Time Temporal Logic.TIME47-582007Conference and Workshop Papersclosedconf/time/BolotovGS0710.1109/TIME.2007.41https://doi.org/10.1109/TIME.2007.41https://dblp.org/rec/conf/time/BolotovGS07URL#5610370Yuchang ChengMasayuki AsaharaYuji Matsumoto 0001Constructing a Temporal Relation Tagged Corpus of Chinese Based on Dependency Structure Analysis.TIME59-692007Conference and Workshop Papersclosedconf/time/ChengAM0710.1109/TIME.2007.47https://doi.org/10.1109/TIME.2007.47https://dblp.org/rec/conf/time/ChengAM07URL#5610371Carlo CombiMatteo GozziJosé M. JuárezBarbara OliboniGiuseppe PozziConceptual Modeling of Temporal Clinical Workflows.TIME70-812007Conference and Workshop Papersclosedconf/time/CombiGJOP0710.1109/TIME.2007.45https://doi.org/10.1109/TIME.2007.45https://dblp.org/rec/conf/time/CombiGJOP07URL#5610372Stéphane DemriRégis GasconThe Effects of Bounding Syntactic Resources on Presburger LTL.TIME94-1042007Conference and Workshop Papersclosedconf/time/DemriG0710.1109/TIME.2007.63https://doi.org/10.1109/TIME.2007.63https://dblp.org/rec/conf/time/DemriG07URL#5610373Max J. EgenhoferTemporal Relations of Intervals with a Gap.TIME169-1742007Conference and Workshop Papersclosedconf/time/Egenhofer0710.1109/TIME.2007.61https://doi.org/10.1109/TIME.2007.61https://dblp.org/rec/conf/time/Egenhofer07URL#5610374Céline FiotAnne LaurentMaguelonne TeisseireExtended Time Constraints for Sequence Mining.TIME105-1162007Conference and Workshop Papersclosedconf/time/FiotLT0710.1109/TIME.2007.48https://doi.org/10.1109/TIME.2007.48https://dblp.org/rec/conf/time/FiotLT07URL#5610375Alfonso GereviniAutomated Planning in Temporal Domains: Some Recent Advances and Current Research Topics.TIME3-42007Conference and Workshop Papersclosedconf/time/Gerevini0710.1109/TIME.2007.42https://doi.org/10.1109/TIME.2007.42https://dblp.org/rec/conf/time/Gerevini07URL#5610376Sebastian Gottwald 0002Gerhard HeyerMatthias Richter 0001Peter WaldeWCTAnalyze-Collecting, Indexing, Accessing and Visualizing Temporally Indexed Textual Resources.TIME1892007Conference and Workshop Papersclosedconf/time/GottwaldHRW0710.1109/TIME.2007.66https://doi.org/10.1109/TIME.2007.66https://dblp.org/rec/conf/time/GottwaldHRW07URL#5610377Ugo Dal LagoAngelo MontanariGabriele PuppisOn the Equivalence of Automaton-Based Representations of Time Granularities.TIME82-932007Conference and Workshop Papersclosedconf/time/LagoMP0710.1109/TIME.2007.56https://doi.org/10.1109/TIME.2007.56https://dblp.org/rec/conf/time/LagoMP07URL#5610378Yuechang LiuHong QianYunfei JiangGraph-DTP: Graph-Based Algorithm for Solving Disjunctive Temporal Problems.TIME1902007Conference and Workshop Papersclosedconf/time/LiuQJ0710.1109/TIME.2007.50https://doi.org/10.1109/TIME.2007.50https://dblp.org/rec/conf/time/LiuQJ07URL#5610379Petr NemecAutomatic Analysis of Temporal Relations within a Discourse.TIME117-1282007Conference and Workshop Papersclosedconf/time/Nemec0710.1109/TIME.2007.43https://doi.org/10.1109/TIME.2007.43https://dblp.org/rec/conf/time/Nemec07URL#5610380Vítor NogueiraSalvador AbreuModularity and Temporal Reasoning: A Logic Programming Approach.TIME1912007Conference and Workshop Papersclosedconf/time/NogueiraA0710.1109/TIME.2007.53https://doi.org/10.1109/TIME.2007.53https://dblp.org/rec/conf/time/NogueiraA07URL#5610381Nikos PelekisIoannis KopanakisGerasimos MarketosIrene NtoutsiGennady L. AndrienkoYannis TheodoridisSimilarity Search in Trajectory Databases.TIME129-1402007Conference and Workshop Papersclosedconf/time/PelekisKMNAT0710.1109/TIME.2007.59https://doi.org/10.1109/TIME.2007.59https://dblp.org/rec/conf/time/PelekisKMNAT07URL#5610382Jordi PovedaMihai SurdeanuJordi TurmoA Comparison of Statistical and Rule-Induction Learners for Automatic Tagging of Time Expressions in English.TIME141-1492007Conference and Workshop Papersclosedconf/time/PovedaST0710.1109/TIME.2007.38https://doi.org/10.1109/TIME.2007.38https://dblp.org/rec/conf/time/PovedaST07URL#5610383Marcel Puchol-BlascoEstela SaquetePatricio Martínez-BarcoMultilingual Extension of Temporal Expression Recognition Using Parallel Corpora.TIME175-1802007Conference and Workshop Papersclosedconf/time/Puchol-BlascoSM0710.1109/TIME.2007.54https://doi.org/10.1109/TIME.2007.54https://dblp.org/rec/conf/time/Puchol-BlascoSM07URL#5610384Suman Roy 0001Guido SciaviccoReasoning with 'And Then' and 'While'.TIME181-1882007Conference and Workshop Papersclosedconf/time/RoyS0710.1109/TIME.2007.57https://doi.org/10.1109/TIME.2007.57https://dblp.org/rec/conf/time/RoyS07URL#5610385Philippe SchnoebelenModel Checking Branching Time Logics.TIME52007Conference and Workshop Papersclosedconf/time/Schnoebelen0710.1109/TIME.2007.52https://doi.org/10.1109/TIME.2007.52https://dblp.org/rec/conf/time/Schnoebelen07URL#5610386Richard T. SnodgrassTowards a Science of Temporal Databases.TIME6-72007Conference and Workshop Papersclosedconf/time/Snodgrass0710.1109/TIME.2007.65https://doi.org/10.1109/TIME.2007.65https://dblp.org/rec/conf/time/Snodgrass07URL#5610387Mani SwaminathanMartin FränzleA Symbolic Decision Procedure for Robust Safety of Timed Systems.TIME1922007Conference and Workshop Papersclosedconf/time/SwaminathanF0710.1109/TIME.2007.39https://doi.org/10.1109/TIME.2007.39https://dblp.org/rec/conf/time/SwaminathanF07URL#5610388David Toman 0001On Construction of Holistic Synopses under the Duplicate Semantics of Streaming Queries.TIME150-1622007Conference and Workshop Papersclosedconf/time/Toman0710.1109/TIME.2007.55https://doi.org/10.1109/TIME.2007.55https://dblp.org/rec/conf/time/Toman07URL#561038914th International Symposium on Temporal Representation and Reasoning (TIME 2007), 28-30 June 2007, Alicante, SpainTIMEIEEE Computer Society2007Editorshipconf/time/2007https://ieeexplore.ieee.org/xpl/conhome/4438655/proceedinghttps://dblp.org/rec/conf/time/2007URL#5622022