TIME C

35 papers

YearTitle / Authors
2001A Linguistic Framework for Querying Dimensional Data.
Elisa Bertino, Tsz S. Cheng, Shashi K. Gadia, Giovanna Guerrini
2001A Query Calculus for Spatio-Temporal Object Databases.
Tony Griffiths, Alvaro A. A. Fernandes, Nassima Djafri, Norman W. Paton
2001A Temporal Logic for reasoning about Timed Concurrent Constraint Programs.
Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
2001About the Temporal Decrease of Sets.
Bernhard Heinemann
2001Approximate Query Evaluation Using Linear Constraint Databases.
Peter Z. Revesz, Rui Chen, Min Ouyang
2001Best Time and Content for Delay Notification.
Markus Schaal, Hans-Joachim Lenz
2001Cellular Ontology as a Basis for Spatiotemporal Reasoning.
Erik Sandewall
2001Checking Linear Temporal Formulas on Sequential Recursive Petri Nets.
Serge Haddad, Denis Poitrenaud
2001Constraint Databases and Temporal Reasoning.
Peter Z. Revesz
2001Deciding LTL over Mazurkiewicz Traces.
Benedikt Bollig, Martin Leucker
2001Discovering Calendar-based Temporal Association Rules.
Yingjiu Li, Peng Ning, Xiaoyang Sean Wang, Sushil Jajodia
2001Effective Representation and Efficient Management of Indeterminate Dates.
Fabio Grandi, Federica Mandreoli
2001Eigth International Symposium on Temporal Representation and Reasoning, TIME-01, Civdale del Friuli, Italy, June 14-16, 2001
2001Estimating Uncertain Relations between Indeterminate Points and Intervals.
Vladimir Ryabov
2001Expiration of Historical Databases.
David Toman
2001Hybrid Ockhamist Temporal Logic.
Patrick Blackburn, Valentin Goranko
2001Learning preferences on temporal constraints: a preliminary report.
Francesca Rossi, Alessandro Sperduti, Lina Khatib, Paul H. Morris, Robert A. Morris
2001Mapping Temporal Planning Constraints into Timed Automata.
Lina Khatib, Nicola Muscettola, Klaus Havelund
2001Modelling, Specifying, and Verifying Message Passing Systems.
Benedikt Bollig, Martin Leucker
2001Navigating Through Multiple Temporal Granularity Objects.
Elisa Bertino, Elena Ferrari, Giovanna Guerrini, Isabella Merlo
2001Optimizing Temporal Queries: Efficient Handling of Duplicates.
Ivan T. Bowman, David Toman
2001Probabilistic Reasoning about Uncertain Relations between Temporal Points.
Vladimir Ryabov, Seppo Puuronen
2001Qualitative temporal representation and reasoning about points, intervals and durations.
Silvana Badaloni, Massimiliano Giacomin, Claudio Masolo
2001Reasoning about agents in the KARO framework.
Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek
2001Reasoning about the Temporal Aspects of Interacting Agents.
Edjard Mota
2001Representation of Temporal Intervals and Relations: Information Visualization Aspects and their Evaluation.
Luca Chittaro, Carlo Combi
2001Representing Periodic Temporal Information with Automata.
Pierre Wolper
2001Representing temporal interval relationships in a first order logic for time.
André Trudel
2001Spatiotemporal databases: Recent Achievements and Opportunities for Future Research.
Manolis Koubarakis
2001Symbolic Model Checking of Real-Time Systems.
George Logothetis, Klaus Schneider
2001Temporal Reasoning: An Application to Normative Systems.
Tiberiu Stratulat, Françoise Clérin-Debart, Patrice Enjalbert
2001Temporal Tableau Queries.
Jef Wijsen, Alexis Bès
2001Temporal aspects of semistructured data.
Barbara Oliboni, Elisa Quintarelli, Letizia Tanca
2001Temporal reasoning with aspectual adverbs.
Alice ter Meulen, Hans Smessaert
2001The Event Calculus Assessed.
Sergio Brandano