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

13 years 12 months ago

Download www.dbnet.ece.ntua.gr

Alessandro Artale, Enrico Franconi

claim paper

Read More »

click to vote

TIME
1998
IEEE

77views Automated Reasoning» more TIME 1998»

Model-Based Visualization of Temporal Abstractions

13 years 12 months ago

Download www.ise.bgu.ac.il

Yuval Shahar, Cleve Cheng

claim paper

Read More »

click to vote

GIS
1998
ACM

83views Automated Reasoning» more GIS 1998»

Overlapping Linear Quadtrees: A Spatio-Temporal Access Method

13 years 12 months ago

Download delab.csd.auth.gr

Theodoros Tzouramanis, Michael Vassilakopoulos, Ya...

claim paper

Read More »

click to vote

LICS
1997
IEEE

86views Automated Reasoning» more LICS 1997»

An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces

13 years 12 months ago

Download www.brics.dk

P. S. Thiagarajan, Igor Walukiewicz

claim paper

Read More »

click to vote

TIME
1997
IEEE

86views Automated Reasoning» more TIME 1997»

Contingent Durations in Temporal CSPs: From Consistency to Controllabilities

13 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers