default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th 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.
last updated on 2024-12-22 19:08 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
