Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Hang Yue, Elizabeth G. Jones, Peter Z. Revesz |
Local Polynomial Regression Models for Average Traffic Speed Estimation and Forecasting in Linear Constraint Databases. |
TIME |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Davide Bresolin, Pietro Sala, Dario Della Monica, Angelo Montanari, Guido Sciavicco |
A Decidable Spatial Generalization of Metric Interval Temporal Logic. |
TIME |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Bart Kuijpers |
Dealing with Uncertainty in Trajectory Databases. |
TIME |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Markey, Jef Wijsen (eds.) |
TIME 2010 - 17th International Symposium on Temporal Representation and Reasoning, Paris, France, 6-8 September 2010 |
TIME |
2010 |
DBLP BibTeX RDF |
|
1 | Luca Anselma, Paolo Terenziani, Richard T. Snodgrass |
Valid-Time Indeterminacy in Temporal Relational Databases: A Family of Data Models. |
TIME |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Véronique Bruyère, Alexandre Decan, Jef Wijsen |
On First-Order Query Rewriting for Incomplete Database Histories. |
TIME |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ivo Düntsch, Michael Winter 0001 |
Timed Contact Algebras. |
TIME |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Carlo Combi, Sara Degani |
Building Logical Specifications of Temporal Granularities through Algebraic Operators. |
TIME |
2009 |
DBLP DOI BibTeX RDF |
temporal granularity, granularity specifications, temporal logics |
1 | Carlo Zaniolo |
Event-Oriented Data Models and Temporal Queries in Transaction-Time Databases. |
TIME |
2009 |
DBLP DOI BibTeX RDF |
Trtansaction Time Databases, Event-Pattern Queries, Temporal Queries |
1 | Szabolcs Mikulás, Mark Reynolds 0001, Tim French 0002 |
Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time. |
TIME |
2009 |
DBLP DOI BibTeX RDF |
temporal logic, epistemic logic, complete axiomatizations |
1 | Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
Undecidability of Interval Temporal Logics with the Overlap Modality. |
TIME |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Serge Abiteboul, Pierre Bourhis, Alban Galland, Bogdan Marinoiu |
The AXML Artifact Model. |
TIME |
2009 |
DBLP DOI BibTeX RDF |
XML, database, workflow, documents, artifact |
1 | Roger Villemaire, Sylvain Hallé |
Strong Temporal, Weak Spatial Logic for Rule Based Filters. |
TIME |
2009 |
DBLP DOI BibTeX RDF |
rule-based filters, temporal logic, spatial, anomalies |
1 | John Christopher McCabe-Dansted, Tim French 0002, Mark Reynolds 0001, Sophie Pinchinat |
On the Expressivity of RoCTL*. |
TIME |
2009 |
DBLP DOI BibTeX RDF |
reliability, Robustness, time, logic, CTL |
1 | Michel Ludwig, Ullrich Hustadt |
Resolution-Based Model Construction for PLTL. |
TIME |
2009 |
DBLP DOI BibTeX RDF |
Propositional Linear-Time Temporal Logic, Automated Model Construction, Resolution |
1 | Mark Reynolds 0001 |
Dense Time Reasoning via Mosaics. |
TIME |
2009 |
DBLP DOI BibTeX RDF |
real-numbers time, complexity, temporal logic, reasoning |
1 | Luke Hunsberger |
Fixing the Semantics for Dynamic Controllability and Providing a More Practical Characterization of Dynamic Execution Strategies. |
TIME |
2009 |
DBLP DOI BibTeX RDF |
temporal networks, dynamic controllability |
1 | André Trudel |
Interval Algebra Networks with Infinite Intervals. |
TIME |
2009 |
DBLP DOI BibTeX RDF |
Interval algebra networks, infinite temporal intervals, Allen's logic, temporal reasoning |
1 | Carsten Lutz, Jean-François Raskin (eds.) |
TIME 2009, 16th International Symposium on Temporal Representation and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009, Proceedings |
TIME |
2009 |
DBLP BibTeX RDF |
|
1 | Silvana Badaloni, Marco Falda |
Classical and Fuzzy Neighborhood Relations of the Temporal Qualitative Algebra. |
TIME |
2009 |
DBLP DOI BibTeX RDF |
Coarse Relations, Temporal Reasoning, Fuzzy Constraints |
1 | Yasmina Abdeddaïm, Eugene Asarin, Mihaela Sighireanu |
Simple Algorithm for Simple Timed Games. |
TIME |
2009 |
DBLP DOI BibTeX RDF |
reachability games, temporal uncertainity, timed game automata, STNU |
1 | Daniele Riboni, Linda Pareschi, Claudio Bettini, Sushil Jajodia |
Preserving Anonymity of Recurrent Location-Based Queries. |
TIME |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Catalin Dima |
Positive and Negative Results on the Decidability of the Model-Checking Problem for an Epistemic Extension of Timed CTL. |
TIME |
2009 |
DBLP DOI BibTeX RDF |
timed automata, epistemic logics |
1 | Tommaso Caselli, Felice Dell'Orletta, Irina Prodanof |
Temporal Relations with Signals: The Case of Italian Temporal Prepositions. |
TIME |
2009 |
DBLP DOI BibTeX RDF |
Italian, signals, temporal relations |
1 | Olaf Beyersdorff, Arne Meier, Michael Thomas 0001, Heribert Vollmer, Martin Mundhenk, Thomas Schneider 0002 |
Model Checking CTL is Almost Always Inherently Sequential. |
TIME |
2009 |
DBLP DOI BibTeX RDF |
Model checking, complexity, temporal logic |
1 | Sylvain Hallé, Roger Villemaire |
Satisfying a Fragment of XQuery by Branching-Time Reduction. |
TIME |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Lutz, Frank Wolter, Michael Zakharyaschev |
Temporal Description Logics: A Survey. |
TIME |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Juozas Gordevicius, Johann Gamper, Michael H. Böhlen |
A Greedy Approach Towards Parsimonious Temporal Aggregation. |
TIME |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Farid Nouioua |
A Heuristic Approach to Order Events in Narrative Texts. |
TIME |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Davide Bresolin, Angelo Montanari, Pietro Sala |
An optimal tableau for Right Propositional Neighborhood Logic over Trees. |
TIME |
2008 |
DBLP DOI BibTeX RDF |
|
1 | James Worrell 0001 |
Real-Time Model Checking: Algorithms and Complexity. |
TIME |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Frederic Maris, Pierre Régnier |
TLP-GP: Solving Temporally-Expressive Planning Problems. |
TIME |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Bashar Saleh, Florent Masseglia |
Time Aware Mining of Itemsets. |
TIME |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Romans Kasperovics, Michael H. Böhlen, Johann Gamper |
Representing Public Transport Schedules as Repeating Trips. |
TIME |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Kothuri Venkata Ravi Kanth, Robert Hanckel, Aravind Yalamanchi |
Using Oracle Extensibility Framework for Supporting Temporal and Spatio-Temporal Applications. |
TIME |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ivo Düntsch, Michael Winter 0001 |
Moving Spaces. |
TIME |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Brihaye, Nicolas Markey, Mohamed Ghannem, Lionel Rieg |
Good Friends are Hard to Find! |
TIME |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Demri, Christian S. Jensen (eds.) |
15th International Symposium on Temporal Representation and Reasoning, TIME 2008, Université du Québec à Montréal, Canada, 16-18 June 2008 |
TIME |
2008 |
DBLP BibTeX RDF |
|
1 | Alberto Belussi, Carlo Combi, Gabriele Pozzani |
Towards a Formal Framework for Spatio-Temporal Granularities. |
TIME |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Heinemann |
Regarding Overlapping as a Basic Concept of Subset Spaces. |
TIME |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sergey Tverdyshev, Eyad Alkassar |
Efficient Bit-Level Model Reductions for Automated Hardware Verification. |
TIME |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Yuechang Liu, Yunfei Jiang, Hong Qian |
Topology-based Variable Ordering Strategy for Solving Disjunctive Temporal Problems. |
TIME |
2008 |
DBLP DOI BibTeX RDF |
|
1 | David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò 0001 |
A Labeled Tableaux Systemfor the Distributed Temporal Logic DTL. |
TIME |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bozzelli |
The Complexity of CaRet + Chop. |
TIME |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Florent Bouchy, Alain Finkel, Jérôme Leroux |
Decomposition of Decidable First-Order Logics over Integers and Reals. |
TIME |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Clare Dixon, Michael Fisher 0001, Boris Konev, Alexei Lisitsa 0001 |
Practical First-Order Temporal Reasoning. |
TIME |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Hui Ding 0004, Goce Trajcevski, Peter Scheuermann |
Efficient Similarity Join of Large Sets of Moving Object Trajectories. |
TIME |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Luca Viganò 0001, Marco Volpe 0001 |
Labeled Natural Deduction Systems for a Family of Tense Logics. |
TIME |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jean-François Baget, Sébastien Laborie |
Bi-Intervals for Backtracking on Temporal Constraint Networks. |
TIME |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ugo Dal Lago, Angelo Montanari, Gabriele Puppis |
On the Equivalence of Automaton-Based Representations of Time Granularities. |
TIME |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Nicole Bidoit, Matthieu Objois |
SQTL: A Preliminary Proposal for a Temporal-to-Temporal Query Language. |
TIME |
2007 |
DBLP DOI BibTeX RDF |
Temporal databases, temporal query languages |
1 | Vítor Nogueira, Salvador Abreu |
Modularity and Temporal Reasoning: A Logic Programming Approach. |
TIME |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Yuechang Liu, Hong Qian, Yunfei Jiang |
Graph-DTP: Graph-Based Algorithm for Solving Disjunctive Temporal Problems. |
TIME |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Marcel Puchol-Blasco, Estela Saquete, Patricio Martínez-Barco |
Multilingual Extension of Temporal Expression Recognition Using Parallel Corpora. |
TIME |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Nicole Bidoit, François Hantry |
Relational Temporal Machines. |
TIME |
2007 |
DBLP DOI BibTeX RDF |
|
1 | |
14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 28-30 June 2007, Alicante, Spain |
TIME |
2007 |
DBLP BibTeX RDF |
|
1 | Mani Swaminathan, Martin Fränzle |
A Symbolic Decision Procedure for Robust Safety of Timed Systems. |
TIME |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Petr Nemec |
Automatic Analysis of Temporal Relations within a Discourse. |
TIME |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Carlo Combi, Matteo Gozzi, José M. Juárez, Barbara Oliboni, Giuseppe Pozzi |
Conceptual Modeling of Temporal Clinical Workflows. |
TIME |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jordi Poveda, Mihai Surdeanu, Jordi Turmo |
A Comparison of Statistical and Rule-Induction Learners for Automatic Tagging of Time Expressions in English. |
TIME |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Gottwald 0002, Gerhard Heyer, Matthias Richter 0001, Peter Walde |
WCTAnalyze-Collecting, Indexing, Accessing and Visualizing Temporally Indexed Textual Resources. |
TIME |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Demri, Régis Gascon |
The Effects of Bounding Syntactic Resources on Presburger LTL. |
TIME |
2007 |
DBLP DOI BibTeX RDF |
|
1 | David Toman 0001 |
On Construction of Holistic Synopses under the Duplicate Semantics of Streaming Queries. |
TIME |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Max J. Egenhofer |
Temporal Relations of Intervals with a Gap. |
TIME |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Schnoebelen |
Model Checking Branching Time Logics. |
TIME |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Nikos Pelekis, Ioannis Kopanakis, Gerasimos Marketos, Irene Ntoutsi, Gennady L. Andrienko, Yannis Theodoridis |
Similarity Search in Trajectory Databases. |
TIME |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Suman Roy 0001, Guido Sciavicco |
Reasoning with 'And Then' and 'While'. |
TIME |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev |
Temporalising Tractable Description Logics. |
TIME |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Richard T. Snodgrass |
Towards a Science of Temporal Databases. |
TIME |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Bolotov, Oleg M. Grigoriev 0001, Vasilyi Shangin |
Automated Natural Deduction for Propositional Linear-Time Temporal Logic. |
TIME |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Céline Fiot, Anne Laurent, Maguelonne Teisseire |
Extended Time Constraints for Sequence Mining. |
TIME |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Yuchang Cheng, Masayuki Asahara, Yuji Matsumoto 0001 |
Constructing a Temporal Relation Tagged Corpus of Chinese Based on Dependency Structure Analysis. |
TIME |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alfonso Gerevini |
Automated Planning in Temporal Domains: Some Recent Advances and Current Research Topics. |
TIME |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Carlo Combi, Giuseppe Pozzi |
Task Scheduling for a TemporalWorkflow Management System. |
TIME |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Hallé, Roger Villemaire, Omar Cherkaoui |
CTL Model Checking for Labelled Tree Queries. |
TIME |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Carlo Combi, Rosalba Rossato |
Representing trends and trend dependencies with multiple granularities. |
TIME |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Angelo Gargantini, Angelo Morzenti |
Automated Verification of Continuous Time Systems by Discrete Temporal Induction. |
TIME |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Estela Saquete, Patricio Martínez-Barco, Rafael Muñoz 0001, Matteo Negri, Manuela Speranza, Renzo Sprugnoli |
Automatic resolution rule assignment to multilingual Temporal Expressions using annotated corpora. |
TIME |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Clare Dixon, Michael Fisher 0001, Boris Konev |
Is There a Future for Deductive Temporal Verification? |
TIME |
2006 |
DBLP DOI BibTeX RDF |
fragments of PTL, deductive verification, clausal temporal resolution, complexity |
1 | Savas Konur |
A Decidable Temporal Logic for Events and States. |
TIME |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Antony Galton |
Processes as Continuants (Abstract). |
TIME |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Kai Zhang, André Trudel |
Efficient Heuristics for Solving Probabilistic Interval Algebra Networks. |
TIME |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Morales, Guido Sciavicco |
Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic. |
TIME |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Markus Zanker, Sergiu Gordea |
Measuring, monitoring and controlling software maintenance efforts. |
TIME |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Alexei Lisitsa 0001, Igor Potapov |
In time alone: on the computational power of querying the history. |
TIME |
2006 |
DBLP DOI BibTeX RDF |
history-dependent computations, executable temporal logic, universality, models of computations |
1 | Benjamin Han, Donna Gates, Lori S. Levin |
From Language to Time: A Temporal Expression Anchorer. |
TIME |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jean-François Condotta, Mahmoud Saade, Gerard Ligozat |
A Generic Toolkit for n-ary Qualitative Temporal and Spatial Calculi. |
TIME |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Achraf Makni, Rafik Bouaziz, Faïez Gargouri |
Formal Verification of an Optimistic Concurrency Control Algorithm using SPIN. |
TIME |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Robert J. Gaizauskas, Henk Harkema, Mark Hepple, Andrea Setzer |
Task-Oriented Extraction of Temporal Information: The Case of Clinical Narratives. |
TIME |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Malek Mouhoub, Amrudee Sukpan |
Conditional and Composite Temporal Constraints with Preferences. |
TIME |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Elisabetta De Maria, Angelo Montanari, Marco Zantoni |
An automaton-based approach to the verification of timed workflow schemas. |
TIME |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Scot Anderson |
Aggregation Estimation for 2D Moving Points. |
TIME |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jean-François Condotta, Gérard Ligozat, Mahmoud Saade, Stavros Tripakis |
Ultimately Periodic Simple Temporal Problems (UPSTPs). |
TIME |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jun Gao |
Adaptive Interpolation Algorithms for Temporal-Oriented Datasets. |
TIME |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Michael H. Böhlen, Johann Gamper, Christian S. Jensen |
How Would You Like to Aggregate Your Temporal Data? |
TIME |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Kjetil Nørvåg, Albert Overskeid Nybø |
DyST: Dynamic and Scalable Temporal Text Indexing. |
TIME |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Lixin Li, Xingyou Zhang, Reinhard Piltner |
A Spatiotemporal Database for Ozone in the Conterminous U.S. |
TIME |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Feng Pan 0012, Jerry R. Hobbs |
Temporal Arithmetic Mixing Months and Days. |
TIME |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Guil, Roque Marín |
Extracting Uncertain Temporal Relations from Mined Frequent Sequences. |
TIME |
2006 |
DBLP DOI BibTeX RDF |
|
1 | James Pustejovsky, Peter Z. Revesz (eds.) |
13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 15-17 June 2006, Budapest, Hungary |
TIME |
2006 |
DBLP BibTeX RDF |
|