TIME C

28 papers

YearTitle / Authors
200613th International Symposium on Temporal Representation and Reasoning (TIME 2006), 15-17 June 2006, Budapest, Hungary
James Pustejovsky, Peter Z. Revesz
2006A Decidable Temporal Logic for Events and States.
Savas Konur
2006A Generic Toolkit for n-ary Qualitative Temporal and Spatial Calculi.
Jean-François Condotta, Mahmoud Saade, Gerard Ligozat
2006A Spatiotemporal Database for Ozone in the Conterminous U.S.
Lixin Li, Xingyou Zhang, Reinhard Piltner
2006Adaptive Interpolation Algorithms for Temporal-Oriented Datasets.
Jun Gao
2006Aggregation Estimation for 2D Moving Points.
Scot Anderson
2006An automaton-based approach to the verification of timed workflow schemas.
Elisabetta De Maria, Angelo Montanari, Marco Zantoni
2006Automated Verification of Continuous Time Systems by Discrete Temporal Induction.
Angelo Gargantini, Angelo Morzenti
2006Automatic resolution rule assignment to multilingual Temporal Expressions using annotated corpora.
Estela Saquete, Patricio Martínez-Barco, Rafael Muñoz, Matteo Negri, Manuela Speranza, Renzo Sprugnoli
2006CTL Model Checking for Labelled Tree Queries.
Sylvain Hallé, Roger Villemaire, Omar Cherkaoui
2006Conditional and Composite Temporal Constraints with Preferences.
Malek Mouhoub, Amrudee Sukpan
2006DyST: Dynamic and Scalable Temporal Text Indexing.
Kjetil Nørvåg, Albert Overskeid Nybø
2006Efficient Heuristics for Solving Probabilistic Interval Algebra Networks.
Kai Zhang, André Trudel
2006Extracting Uncertain Temporal Relations from Mined Frequent Sequences.
Francisco Guil, Roque Marín
2006Formal Verification of an Optimistic Concurrency Control Algorithm using SPIN.
Achraf Makni, Rafik Bouaziz, Faïez Gargouri
2006From Language to Time: A Temporal Expression Anchorer.
Benjamin Han, Donna Gates, Lori S. Levin
2006How Would You Like to Aggregate Your Temporal Data?
Michael H. Böhlen, Johann Gamper, Christian S. Jensen
2006In time alone: on the computational power of querying the history.
Alexei Lisitsa, Igor Potapov
2006Is There a Future for Deductive Temporal Verification?
Clare Dixon, Michael Fisher, Boris Konev
2006Measuring, monitoring and controlling software maintenance efforts.
Markus Zanker, Sergiu Gordea
2006Processes as Continuants (Abstract).
Antony Galton
2006Representing trends and trend dependencies with multiple granularities.
Carlo Combi, Rosalba Rossato
2006Task Scheduling for a TemporalWorkflow Management System.
Carlo Combi, Giuseppe Pozzi
2006Task-Oriented Extraction of Temporal Information: The Case of Clinical Narratives.
Robert J. Gaizauskas, Henk Harkema, Mark Hepple, Andrea Setzer
2006Temporal Arithmetic Mixing Months and Days.
Feng Pan, Jerry R. Hobbs
2006Ultimately Periodic Simple Temporal Problems (UPSTPs).
Jean-François Condotta, Gérard Ligozat, Mahmoud Saade, Stavros Tripakis
2006Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic.
Antonio Morales, Guido Sciavicco
2006k-Anonymity in Databases with Timestamped Data.
Sergio Mascetti, Claudio Bettini, Xiaoyang Sean Wang, Sushil Jajodia