Search Sciweavers | Sciweavers

955 search results - page 18 / 191

» Tractable Temporal Reasoning

click to vote

TIME
1999
IEEE

120views Automated Reasoning» more TIME 1999»

Introducing Temporal Description Logics

15 years 7 months ago

Download www.dbnet.ece.ntua.gr

Alessandro Artale, Enrico Franconi

claim paper

Read More »

Voted

TIME
1998
IEEE

77views Automated Reasoning» more TIME 1998»

Model-Based Visualization of Temporal Abstractions

15 years 7 months ago

Download www.ise.bgu.ac.il

Yuval Shahar, Cleve Cheng

claim paper

Read More »

102

click to vote

GIS
1998
ACM

83views Automated Reasoning» more GIS 1998»

Overlapping Linear Quadtrees: A Spatio-Temporal Access Method

15 years 7 months ago

Download delab.csd.auth.gr

Theodoros Tzouramanis, Michael Vassilakopoulos, Ya...

claim paper

Read More »

116

click to vote

LICS
1997
IEEE

86views Automated Reasoning» more LICS 1997»

An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces

15 years 7 months ago

Download www.brics.dk

P. S. Thiagarajan, Igor Walukiewicz

claim paper

Read More »

112

click to vote

TIME
1997
IEEE

86views Automated Reasoning» more TIME 1997»

Contingent Durations in Temporal CSPs: From Consistency to Controllabilities

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers