


default search action
7th TIME 2000: Cape Breton, Nova Scotia, Canada
- Seventh International Workshop on Temporal Representation and Reasoning, TIME 2000, Nova Scotia, Canada, July 7-9, 2000. IEEE Computer Society 2000, ISBN 0-7695-0756-5

Best Papers
- Sibel Adali, Luca Console, Maria Luisa Sapino, Massimo Schenone, Paolo Terenziani

:
Representing and Reasoning with Temporal Constraints in Multimedia Presentations. 3-11 - Diana Cukierman, James P. Delgrande:

A Formalization of Structured Temporal Objects and Repetition. 13-20
Long Papers
- Philippe Balbiani

, Jean-François Condotta, Gérard Ligozat:
Reasoning about Generalized Intervals: Horn Representability and Tractability. 23-29 - Claudio Bettini

, Xiaoyang Sean Wang, Sushil Jajodia:
Free Schedules for Free Agents in Workflow Systems. 31-37 - María-Antonia 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-131 - Jefferson R. O. Silva, Mario A. Nascimento:

An Incremental Batch-Oriented Index for Bitemporal Databases. 133-141 - Han-Chieh Wei, Ramez Elmasri:

PMTV: A Schema Versioning Approach for Bi-Temporal Databases. 143-151
Short Papers
- Kate Beard, H. Mustafa Palancioglu:

Estimating Positions and Paths of Moving Objects. 155-162 - Alexander Bolotov, Clare Dixon

:
Resolution for Branching Time Temporal Logics: Applying the Temporal Resolution Rule. 163-172 - Robert Kosara, Silvia Miksch:

A Visualization of Medical Therapy Plans Compared to Gantt and PERT Charts. 173-181 - Vineet Padmanabhan

, Abdul Sattar, Arun K. Pujari, Chinmoy Goswami
:
Temporal Reasoning: A Three Way Analysis. 183-189 - Paolo Terenziani

:
Is Point-Based Semantics Always Adequate for Temporal Databases?. 191-199

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














