7. TIME 2000:
Cape Breton,
Nova Scotia,
Canada
Seventh International Workshop on Temporal Representation and Reasoning,
TIME 2000,
July 7-9,
2000,
Cape Breton,
Nova Scotia,
Canada. IEEE Computer Society
Best Papers
Long Papers
- Philippe Balbiani, Jean-François Condotta, Gérard Ligozat:
Reasoning about Generalized Intervals: Horn Representability and Tractability.
23-30
- Claudio Bettini, Xiaoyang Sean Wang, Sushil Jajodia:
Free Schedules for Free Agents in Workflow Systems.
31-38
- M. A. Cárdenas Viedma, Isabel Navarrete, Roque Marín:
Efficient Resolution Mechanism for Fuzzy Temporal Constraint Logic.
39-46
- Iliano Cervesato, Angelo Montanari:
A Calculus of Macro-Events: Progress Report.
47-58
- Carlo Combi:
Modeling Temporal Aspects of Visual and Textual Objects in Multimedia Databases.
59-68
- Clare Dixon, Michael Fisher:
Resolution-Based Proof for Multi-Modal Temporal Logics of Knowledge.
69-78
- Sofie Haesevoets, Bart Kuijpers:
Closure Properties of Classes of Spatio-Temporal Objects under Boolean Set Operations.
79-86
- Bernhard Heinemann:
Extending Topological Nexttime Logic.
87-94
- Bart Kuijpers, Jan Paredaens, Dirk Van Gucht:
Towards a Theory of Movie Database Queries.
95-102
- Isabella Merlo, Elisa Bertino, Elena Ferrari, Shashi K. Gadia, Giovanna Guerrini:
Querying Multiple Temporal Granularity Data.
103-114
- Takao Miura, Isamu Shioya, Kohei Watanabe:
Behavior Discovery as Database Scheme Design.
115-122
- Giorgos Mountrakis, Peggy Agouris, Anthony Stefanidis:
Navigating through Hierarchical Change Propagation in Spatiotemporal Queries.
123-132
- Jefferson R. O. Silva, Mario A. Nascimento:
An Incremental Batch-Oriented Index for Bitemporal Databases.
133-142
- Han-Chieh Wei, Ramez Elmasri:
PMTV: A Schema Versioning Approach for Bi-Temporal Databases.
143-151
Short Papers
Copyright © Fri Mar 12 17:22:22 2010
by Michael Ley (ley@uni-trier.de)
