Proceedings Seventh International Workshop on Temporal Representation and Reasoning. TIME 2000
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE Comput. Soc

0769507565

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Is point-based semantics always adequate for temporal databases?

Proceedings Seventh International Workshop on Temporal Representation and Reasoning. TIME 2000 ◽

10.1109/time.2000.856601 ◽

2002 ◽

Cited By ~ 7

Author(s):

P. Terenziani

Keyword(s):

Temporal Databases

Download Full-text

Estimating positions and paths of moving objects

Proceedings Seventh International Workshop on Temporal Representation and Reasoning. TIME 2000 ◽

10.1109/time.2000.856597 ◽

2002 ◽

Cited By ~ 3

Author(s):

K. Beard ◽

H.M. Palancioglu

Keyword(s):

Moving Objects

Download Full-text

Extending topological nexttime logic

Proceedings Seventh International Workshop on Temporal Representation and Reasoning. TIME 2000 ◽

10.1109/time.2000.856589 ◽

2002 ◽

Cited By ~ 4

Author(s):

B. Heinemann

Download Full-text

Reasoning about generalized intervals: Horn representability and tractability

Proceedings Seventh International Workshop on Temporal Representation and Reasoning. TIME 2000 ◽

10.1109/time.2000.856580 ◽

2002 ◽

Cited By ~ 4

Author(s):

P. Balbiani ◽

J.-F. Condotta ◽

G. Ligozat

Download Full-text

Efficient resolution mechanism for fuzzy temporal constraint logic

Proceedings Seventh International Workshop on Temporal Representation and Reasoning. TIME 2000 ◽

10.1109/time.2000.856583 ◽

2002 ◽

Cited By ~ 2

Author(s):

M.A. Cardenas ◽

I. Navarrete ◽

R. Marin

Keyword(s):

Temporal Constraint

Download Full-text

A visualization of medical therapy plans compared to Gantt and PERT charts

Proceedings Seventh International Workshop on Temporal Representation and Reasoning. TIME 2000 ◽

10.1109/time.2000.856599 ◽

2002 ◽

Cited By ~ 1

Author(s):

R. Kosara ◽

S. Miksch

Keyword(s):

Medical Therapy

Download Full-text

Navigating through hierarchical change propagation in spatiotemporal queries

Proceedings Seventh International Workshop on Temporal Representation and Reasoning. TIME 2000 ◽

10.1109/time.2000.856593 ◽

2002 ◽

Cited By ~ 2

Author(s):

G. Mountrakis ◽

P. Agouris ◽

A. Stefanidis

Keyword(s):

Change Propagation ◽

Spatiotemporal Queries

Download Full-text

Closure properties of classes of spatio-temporal objects under Boolean set operations

Proceedings Seventh International Workshop on Temporal Representation and Reasoning. TIME 2000 ◽

10.1109/time.2000.856588 ◽

2002 ◽

Cited By ~ 2

Author(s):

S. Haesevoets ◽

B. Kuijpers

Keyword(s):

Closure Properties ◽

Set Operations ◽

Spatio Temporal ◽

Temporal Objects

Download Full-text

Resolution for branching time temporal logics: applying the temporal resolution rule

Proceedings Seventh International Workshop on Temporal Representation and Reasoning. TIME 2000 ◽

10.1109/time.2000.856598 ◽

2002 ◽

Cited By ~ 5

Author(s):

A. Bolotov ◽

C. Dixon

Keyword(s):

Temporal Resolution ◽

Branching Time ◽

Temporal Logics ◽

Resolution Rule

Download Full-text

Behavior discovery as database scheme design

Proceedings Seventh International Workshop on Temporal Representation and Reasoning. TIME 2000 ◽

10.1109/time.2000.856592 ◽

2002 ◽

Author(s):

T. Miura ◽

I. Shioya ◽

K. Watanabe

Keyword(s):

Scheme Design

Download Full-text

Proceedings Seventh International Workshop on Temporal Representation and Reasoning. TIME 2000Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc

Is point-based semantics always adequate for temporal databases?

Estimating positions and paths of moving objects

Extending topological nexttime logic

Reasoning about generalized intervals: Horn representability and tractability

Efficient resolution mechanism for fuzzy temporal constraint logic

A visualization of medical therapy plans compared to Gantt and PERT charts

Navigating through hierarchical change propagation in spatiotemporal queries

Closure properties of classes of spatio-temporal objects under Boolean set operations

Resolution for branching time temporal logics: applying the temporal resolution rule

Behavior discovery as database scheme design

Proceedings Seventh International Workshop on Temporal Representation and Reasoning. TIME 2000
Latest Publications