default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID17th TIME 2010: Paris, France
- Nicolas Markey, Jef Wijsen:
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 M. 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
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 2024-11-05 21:09 CET 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 and maintained by:
the dblp computer science bibliography is funded and supported by:
