Search results for "TIME"

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

Publications at "TIME"( http://dblp.L3S.de/Venues/TIME )