17. TIME 2010: Paris, France

Nicolas Markey, Jef Wijsen (Eds.): TIME 2010 - 17th International Symposium on Temporal Representation and Reasoning, Paris, France, 6-8 September 2010. IEEE Computer Society 2010, ISBN 978-0-7695-4187-7

Invited Talks

Martin Leucker, César Sánchez:
Regular Linear-Time Temporal Logic. 3-5
Ian Hodkinson:
Interval Temporal Logics with Chop-Like Operators. 6
Bart Kuijpers:
Dealing with Uncertainty in Trajectory Databases. 7-8

Temporal Logics

John Christopher McCabe-Dansted, Clare Dixon:
CTL-Like Fragments of a Temporal Logic of Robustness. 11-18
Philippe Balbiani:
Axiomatizing the Temporal Logic Defined over the Class of All Lexicographic Products of Dense Linear Orders without Endpoints. 19-26
Angelo Montanari, Ian Pratt-Hartmann, Pietro Sala:
Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders. 27-34
Sumesh Divakaran, Deepak D'Souza, M. Raj Mohan:
Conflict-Tolerant Real-Time Specifications in Metric Temporal Logic. 35-42
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro:
Bounded Reachability for Temporal Logic over Constraint Systems. 43-50
François Laroussinie, Antoine Meyer, Eudes Petonnet:
Counting LTL. 51-58

Real-Time Systems

Massimo Benerecetti, Stefano Minopoli, Adriano Peron:
Analysis of Timed Recursive State Machines. 61-68
Béatrice Bérard, Serge Haddad, Mathieu Sassolas:
Real Time Properties for Interrupt Timed Automata. 69-76
Sandie Balaguer, Thomas Chatain, Stefan Haar:
A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata. 77-84

Spatial and Temporal Reasoning

Sergios Petridis, Georgios Paliouras, Stavros J. Perantonis:
Allen's Hourglass: Probabilistic Treatment of Interval Relations. 87-94
Davide Bresolin, Pietro Sala, Dario Della Monica, Angelo Montanari, Guido Sciavicco:
A Decidable Spatial Generalization of Metric Interval Temporal Logic. 95-102
Lamia Belouaer, Maroua Bouzid, Abdel-Illah Mouaddib:
Ontology Based Spatial Planning for Human-Robot Interaction. 103-110

Planning and Control

Martin C. Cooper, Frederic Maris, Pierre Régnier:
Solving Temporally-Cyclic Planning Problems. 113-120
Luke Hunsberger:
A Fast Incremental Algorithm for Managing the Execution of Dynamically Controllable Temporal Networks. 121-128
Carlo Combi, Roberto Posenato:
Towards Temporal Controllabilities for Workflow Schemata. 129-136

Databases

Luca Anselma, Paolo Terenziani, Richard T. Snodgrass:
Valid-Time Indeterminacy in Temporal Relational Databases: A Family of Data Models. 139-145
Kostas Patroumpas, Timos K. Sellis:
Multi-granular Time-Based Sliding Windows over Data Streams. 146-153
Hang Yue, Elizabeth G. Jones, Peter Z. Revesz:
Local Polynomial Regression Models for Average Traffic Speed Estimation and Forecasting in Linear Constraint Databases. 154-161

Last update Fri May 25 08:43:11 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page