default search action
15th TIME 2008: Monteéal, Canada
- Stéphane Demri, Christian S. Jensen:
15th International Symposium on Temporal Representation and Reasoning, TIME 2008, Université du Québec à Montréal, Canada, 16-18 June 2008. IEEE Computer Society 2008, ISBN 978-0-7695-3181-6
Keynotes
- Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
Temporal Description Logics: A Survey. 3-14 - Kothuri Venkata Ravi Kanth, Robert Hanckel, Aravind Yalamanchi:
Using Oracle Extensibility Framework for Supporting Temporal and Spatio-Temporal Applications. 15-18
Panel
- James Worrell:
Real-Time Model Checking: Algorithms and Complexity. 19
Computational Complexity and Decidability
- Laura Bozzelli:
The Complexity of CaRet + Chop. 23-31 - Thomas Brihaye, Nicolas Markey, Mohamed Ghannem, Lionel Rieg:
Good Friends are Hard to Find! 32-40 - Bernhard Heinemann:
Regarding Overlapping as a Basic Concept of Subset Spaces. 41-45
Spatio-Temporal Data Management
- Alberto Belussi, Carlo Combi, Gabriele Pozzani:
Towards a Formal Framework for Spatio-Temporal Granularities. 49-53 - Romans Kasperovics, Michael H. Böhlen, Johann Gamper:
Representing Public Transport Schedules as Repeating Trips. 54-58 - Ivo Düntsch, Michael Winter:
Moving Spaces. 59-63
Temporal Reasoning on Tree-like Structures
- Farid Nouioua:
A Heuristic Approach to Order Events in Narrative Texts. 67-71 - Sylvain Hallé, Roger Villemaire:
Satisfying a Fragment of XQuery by Branching-Time Reduction. 72-76
Query Processing and Data Mining
- Hui Ding, Goce Trajcevski, Peter Scheuermann:
Efficient Similarity Join of Large Sets of Moving Object Trajectories. 79-87 - Juozas Gordevicius, Johann Gamper, Michael H. Böhlen:
A Greedy Approach Towards Parsimonious Temporal Aggregation. 88-92 - Bashar Saleh, Florent Masseglia:
Time Aware Mining of Itemsets. 93-97
Proof Systems for Temporal Reasoning
- David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò:
A Labeled Tableaux Systemfor the Distributed Temporal Logic DTL. 101-109 - Davide Bresolin, Angelo Montanari, Pietro Sala:
An optimal tableau for Right Propositional Neighborhood Logic over Trees. 110-117 - Luca Viganò, Marco Volpe:
Labeled Natural Deduction Systems for a Family of Tense Logics. 118-126
Planning
- Yuechang Liu, Yunfei Jiang, Hong Qian:
Topology-based Variable Ordering Strategy for Solving Disjunctive Temporal Problems. 129-136 - Frederic Maris, Pierre Régnier:
TLP-GP: Solving Temporally-Expressive Planning Problems. 137-144
Verification of Infinite-State Systems
- Florent Bouchy, Alain Finkel, Jérôme Leroux:
Decomposition of Decidable First-Order Logics over Integers and Reals. 147-155 - Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa:
Practical First-Order Temporal Reasoning. 156-163 - Sergey Tverdyshev, Eyad Alkassar:
Efficient Bit-Level Model Reductions for Automated Hardware Verification. 164-172
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.