Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0769526179

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Adaptive Interpolation Algorithms for Temporal-Oriented Datasets

Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06) ◽

10.1109/time.2006.4 ◽

2006 ◽

Author(s):

Jun Gao

Keyword(s):

Interpolation Algorithms ◽

Adaptive Interpolation

Download Full-text

Conditional and Composite Temporal Constraints with Preferences

Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06) ◽

10.1109/time.2006.10 ◽

2006 ◽

Cited By ~ 1

Author(s):

M. Mouhoub ◽

A. Sukpan

Keyword(s):

Temporal Constraints

Download Full-text

Aggregation Estimation for 2D Moving Points

Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06) ◽

10.1109/time.2006.5 ◽

2006 ◽

Cited By ~ 3

Author(s):

S. Anderson

Keyword(s):

Moving Points

Download Full-text

CTL Model Checking for Labelled Tree Queries

Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06) ◽

10.1109/time.2006.11 ◽

2006 ◽

Cited By ~ 5

Author(s):

S. Halle ◽

R. Villemaire ◽

O. Cherkaoui

Keyword(s):

Model Checking

Download Full-text

From Language to Time: A Temporal Expression Anchorer

Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06) ◽

10.1109/time.2006.16 ◽

2006 ◽

Cited By ~ 9

Author(s):

B. Han ◽

D. Gates ◽

L. Levin

Keyword(s):

Temporal Expression

Download Full-text

Thirteenth International Symposium on Temporal Representation and Reasoning - Table of Contents

Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06) ◽

10.1109/time.2006.31 ◽

2006 ◽

Keyword(s):

International Symposium ◽

Temporal Representation

Download Full-text

Task Scheduling for a TemporalWorkflow Management System

Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06) ◽

10.1109/time.2006.26 ◽

2006 ◽

Cited By ~ 12

Author(s):

C. Combi ◽

G. Pozzi

Keyword(s):

Task Scheduling ◽

Management System

Download Full-text

Author Index

Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06) ◽

10.1109/time.2006.7 ◽

2006 ◽

Download Full-text

Is There a Future for Deductive Temporal Verification?

Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06) ◽

10.1109/time.2006.19 ◽

2006 ◽

Cited By ~ 4

Author(s):

C. Dixon ◽

M. Fisher ◽

B. Konev

Download Full-text

A Generic Toolkit for n-ary Qualitative Temporal and Spatial Calculi

Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06) ◽

10.1109/time.2006.2 ◽

2006 ◽

Cited By ~ 13

Author(s):

J.-F. Condotta ◽

M. Saade ◽

G. Ligozat

Keyword(s):

Temporal And Spatial

Download Full-text

Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Adaptive Interpolation Algorithms for Temporal-Oriented Datasets

Conditional and Composite Temporal Constraints with Preferences

Aggregation Estimation for 2D Moving Points

CTL Model Checking for Labelled Tree Queries

From Language to Time: A Temporal Expression Anchorer

Thirteenth International Symposium on Temporal Representation and Reasoning - Table of Contents

Task Scheduling for a TemporalWorkflow Management System

Author Index

Is There a Future for Deductive Temporal Verification?

A Generic Toolkit for n-ary Qualitative Temporal and Spatial Calculi

Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06)
Latest Publications