|
|
Conferences in DBLP
- Carlo Combi, Rosalba Rossato
Representing trends and trend dependencies with multiple granularities. [Citation Graph (0, 0)][DBLP]
TIME, 2006, pp:3-10 [Conf]
- Clare Dixon, Michael Fisher, Boris Konev
Is There a Future for Deductive Temporal Verification? [Citation Graph (0, 0)][DBLP]
TIME, 2006, pp:11-18 [Conf]
- Angelo Gargantini, Angelo Morzenti
Automated Verification of Continuous Time Systems by Discrete Temporal Induction. [Citation Graph (0, 0)][DBLP]
TIME, 2006, pp:19-26 [Conf]
- Sylvain Hallé, Roger Villemaire, Omar Cherkaoui
CTL Model Checking for Labelled Tree Queries. [Citation Graph (0, 0)][DBLP]
TIME, 2006, pp:27-35 [Conf]
- Savas Konur
A Decidable Temporal Logic for Events and States. [Citation Graph (0, 0)][DBLP]
TIME, 2006, pp:36-41 [Conf]
- Alexei Lisitsa, Igor Potapov
In time alone: on the computational power of querying the history. [Citation Graph (0, 0)][DBLP]
TIME, 2006, pp:42-49 [Conf]
- Antonio Morales, Guido Sciavicco
Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic. [Citation Graph (0, 0)][DBLP]
TIME, 2006, pp:50-60 [Conf]
- Carlo Combi, Giuseppe Pozzi
Task Scheduling for a TemporalWorkflow Management System. [Citation Graph (0, 0)][DBLP]
TIME, 2006, pp:61-68 [Conf]
- Jean-François Condotta, Gérard Ligozat, Mahmoud Saade, Stavros Tripakis
Ultimately Periodic Simple Temporal Problems (UPSTPs). [Citation Graph (0, 0)][DBLP]
TIME, 2006, pp:69-77 [Conf]
- Jean-François Condotta, Mahmoud Saade, Gerard Ligozat
A Generic Toolkit for n-ary Qualitative Temporal and Spatial Calculi. [Citation Graph (0, 0)][DBLP]
TIME, 2006, pp:78-86 [Conf]
- Elisabetta De Maria, Angelo Montanari, Marco Zantoni
An automaton-based approach to the verification of timed workflow schemas. [Citation Graph (0, 0)][DBLP]
TIME, 2006, pp:87-94 [Conf]
- Malek Mouhoub, Amrudee Sukpan
Conditional and Composite Temporal Constraints with Preferences. [Citation Graph (0, 0)][DBLP]
TIME, 2006, pp:95-102 [Conf]
- Markus Zanker, Sergiu Gordea
Measuring, monitoring and controlling software maintenance efforts. [Citation Graph (0, 0)][DBLP]
TIME, 2006, pp:103-110 [Conf]
- Kai Zhang, André Trudel
Efficient Heuristics for Solving Probabilistic Interval Algebra Networks. [Citation Graph (0, 0)][DBLP]
TIME, 2006, pp:111-120 [Conf]
- Michael H. Böhlen, Johann Gamper, Christian S. Jensen
How Would You Like to Aggregate Your Temporal Data? [Citation Graph (0, 0)][DBLP]
TIME, 2006, pp:121-136 [Conf]
- Scot Anderson
Aggregation Estimation for 2D Moving Points. [Citation Graph (0, 0)][DBLP]
TIME, 2006, pp:137-144 [Conf]
- Jun Gao
Adaptive Interpolation Algorithms for Temporal-Oriented Datasets. [Citation Graph (0, 0)][DBLP]
TIME, 2006, pp:145-151 [Conf]
- Francisco Guil, Roque Marín
Extracting Uncertain Temporal Relations from Mined Frequent Sequences. [Citation Graph (0, 0)][DBLP]
TIME, 2006, pp:152-159 [Conf]
- Achraf Makni, Rafik Bouaziz, Faïez Gargouri
Formal Verification of an Optimistic Concurrency Control Algorithm using SPIN. [Citation Graph (0, 0)][DBLP]
TIME, 2006, pp:160-167 [Conf]
- Lixin Li, Xingyou Zhang, Reinhard Piltner
A Spatiotemporal Database for Ozone in the Conterminous U.S. [Citation Graph (0, 0)][DBLP]
TIME, 2006, pp:168-176 [Conf]
- Sergio Mascetti, Claudio Bettini, Xiaoyang Sean Wang, Sushil Jajodia
k-Anonymity in Databases with Timestamped Data. [Citation Graph (0, 0)][DBLP]
TIME, 2006, pp:177-186 [Conf]
- Antony Galton
Processes as Continuants (Abstract). [Citation Graph (0, 0)][DBLP]
TIME, 2006, pp:187- [Conf]
- Robert J. Gaizauskas, Henk Harkema, Mark Hepple, Andrea Setzer
Task-Oriented Extraction of Temporal Information: The Case of Clinical Narratives. [Citation Graph (0, 0)][DBLP]
TIME, 2006, pp:188-195 [Conf]
- Benjamin Han, Donna Gates, Lori S. Levin
From Language to Time: A Temporal Expression Anchorer. [Citation Graph (0, 0)][DBLP]
TIME, 2006, pp:196-203 [Conf]
- Kjetil Nørvåg, Albert Overskeid Nybø
DyST: Dynamic and Scalable Temporal Text Indexing. [Citation Graph (0, 0)][DBLP]
TIME, 2006, pp:204-211 [Conf]
- Feng Pan, Jerry R. Hobbs
Temporal Arithmetic Mixing Months and Days. [Citation Graph (0, 0)][DBLP]
TIME, 2006, pp:212-217 [Conf]
- 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. [Citation Graph (0, 0)][DBLP]
TIME, 2006, pp:218-224 [Conf]
|
