default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13th TIME 2006: Budapest, Hungary
- James Pustejovsky, Peter Z. Revesz:
13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 15-17 June 2006, Budapest, Hungary. IEEE Computer Society 2006, ISBN 0-7695-2617-9
Temporal Logic
- Carlo Combi
, Rosalba Rossato:
Representing trends and trend dependencies with multiple granularities. 3-10 - Clare Dixon, Michael Fisher, Boris Konev:
Is There a Future for Deductive Temporal Verification? 11-18 - Angelo Gargantini, Angelo Morzenti:
Automated Verification of Continuous Time Systems by Discrete Temporal Induction. 19-26 - Sylvain Hallé, Roger Villemaire, Omar Cherkaoui:
CTL Model Checking for Labelled Tree Queries. 27-35 - Savas Konur:
A Decidable Temporal Logic for Events and States. 36-41 - Alexei Lisitsa, Igor Potapov:
In time alone: on the computational power of querying the history. 42-49 - Antonio Morales, Guido Sciavicco:
Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic. 50-60
Time in Artificial Intelligence
- Carlo Combi, Giuseppe Pozzi:
Task Scheduling for a TemporalWorkflow Management System. 61-68 - Jean-François Condotta, Gérard Ligozat, Mahmoud Saade, Stavros Tripakis:
Ultimately Periodic Simple Temporal Problems (UPSTPs). 69-77 - Jean-François Condotta, Mahmoud Saade, Gerard Ligozat:
A Generic Toolkit for n-ary Qualitative Temporal and Spatial Calculi. 78-86 - Elisabetta De Maria, Angelo Montanari, Marco Zantoni:
An automaton-based approach to the verification of timed workflow schemas. 87-94 - Malek Mouhoub, Amrudee Sukpan:
Conditional and Composite Temporal Constraints with Preferences. 95-102 - Markus Zanker, Sergiu Gordea:
Measuring, monitoring and controlling software maintenance efforts. 103-110 - Kai Zhang, André Trudel:
Efficient Heuristics for Solving Probabilistic Interval Algebra Networks. 111-120
Time in Databases
- Michael H. Böhlen, Johann Gamper, Christian S. Jensen:
How Would You Like to Aggregate Your Temporal Data? 121-136 - Scot Anderson:
Aggregation Estimation for 2D Moving Points. 137-144 - Jun Gao:
Adaptive Interpolation Algorithms for Temporal-Oriented Datasets. 145-151 - Francisco Guil, Roque Marín:
Extracting Uncertain Temporal Relations from Mined Frequent Sequences. 152-159 - Achraf Makni, Rafik Bouaziz, Faïez Gargouri:
Formal Verification of an Optimistic Concurrency Control Algorithm using SPIN. 160-167 - Lixin Li, Xingyou Zhang, Reinhard Piltner:
A Spatiotemporal Database for Ozone in the Conterminous U.S. 168-176 - Sergio Mascetti, Claudio Bettini, Xiaoyang Sean Wang, Sushil Jajodia:
k-Anonymity in Databases with Timestamped Data. 177-186
Time in Natural Language
- Antony Galton:
Processes as Continuants (Abstract). 187 - Robert J. Gaizauskas, Henk Harkema, Mark Hepple, Andrea Setzer:
Task-Oriented Extraction of Temporal Information: The Case of Clinical Narratives. 188-195 - Benjamin Han, Donna Gates, Lori S. Levin:
From Language to Time: A Temporal Expression Anchorer. 196-203 - Kjetil Nørvåg, Albert Overskeid Nybø:
DyST: Dynamic and Scalable Temporal Text Indexing. 204-211 - Feng Pan, Jerry R. Hobbs:
Temporal Arithmetic Mixing Months and Days. 212-217 - Estela Saquete, Patricio Martínez-Barco, Rafael Muñoz, Matteo Negri, Manuela Speranza, Renzo Sprugnoli:
Automatic resolution rule assignment to multilingual Temporal Expressions using annotated corpora. 218-224
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-07-29 23:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
