7. TIME 2000: Cape Breton, Nova Scotia, Canada

Best Papers

• Sibel Adali, Luca Console, Maria Luisa Sapino, Massimo Schenone, Paolo Terenziani:
  Representing and Reasoning with Temporal Constraints in Multimedia Presentations. 3-12
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Diana Cukierman, James P. Delgrande:
  A Formalization of Structured Temporal Objects and Repetition. 13-20
  Electronic Edition (IEEE Computer Society DL) BibTeX

Long Papers

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

Short Papers

• Kate Beard, H. Mustafa Palancioglu:
  Estimating Positions and Paths of Moving Objects. 155-162
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Alexander Bolotov, Clare Dixon:
  Resolution for Branching Time Temporal Logics: Applying the Temporal Resolution Rule. 163-172
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Robert Kosara, Silvia Miksch:
  A Visualization of Medical Therapy Plans Compared to Gantt and PERT Charts. 173-182
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Vineet Padmanabhan, Abdul Sattar, Arun K. Pujari, Chinmoy Goswami:
  Temporal Reasoning: A Three Way Analysis. 183-190
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Paolo Terenziani:
  Is Point-Based Semantics Always Adequate for Temporal Databases?. 191-200
  Electronic Edition (IEEE Computer Society DL) BibTeX