Search Sciweavers | Sciweavers

859 search results - page 27 / 172

» Abduction in Temporal Reasoning

106

click to vote

TIME
1998
IEEE

77views Automated Reasoning» more TIME 1998»

Model-Based Visualization of Temporal Abstractions

15 years 9 months ago

Download www.ise.bgu.ac.il

Yuval Shahar, Cleve Cheng

claim paper

Read More »

123

Voted

GIS
1998
ACM

83views Automated Reasoning» more GIS 1998»

Overlapping Linear Quadtrees: A Spatio-Temporal Access Method

15 years 9 months ago

Download delab.csd.auth.gr

Theodoros Tzouramanis, Michael Vassilakopoulos, Ya...

claim paper

Read More »

130

click to vote

LICS
1997
IEEE

86views Automated Reasoning» more LICS 1997»

An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces

15 years 9 months ago

Download www.brics.dk

P. S. Thiagarajan, Igor Walukiewicz

claim paper

Read More »

128

click to vote

TIME
1997
IEEE

86views Automated Reasoning» more TIME 1997»

Contingent Durations in Temporal CSPs: From Consistency to Controllabilities

15 years 9 months ago

Download www.ep.liu.se

Thierry Vidal, Hélène Fargier

claim paper

Read More »

120

click to vote

LICS
1996
IEEE

99views Automated Reasoning» more LICS 1996»

A Temporal-Logic Approach to Binding-Time Analysis

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers