Search Sciweavers | Sciweavers

4573 search results - page 100 / 915

» Automated Reasoning

129

click to vote

GIS
1998
ACM

104views Automated Reasoning» more GIS 1998»

Abstract and Discrete Modeling of Spatio-Temporal Data Types

15 years 10 months ago

Download web.engr.oregonstate.edu

Martin Erwig, Ralf Hartmut Güting, Markus Sch...

claim paper

Read More »

258

click to vote

GIS
2000
ACM

157views Automated Reasoning» more GIS 2000»

Clone join and shadow join: two parallel spatial join algorithms

15 years 10 months ago

Download www.eecs.umich.edu

Jignesh M. Patel, David J. DeWitt

claim paper

Read More »

146

click to vote

KR
2000
Springer

109views Automated Reasoning» more KR 2000»

Containment of Conjunctive Regular Path Queries with Inverse

15 years 10 months ago

Download www.inf.unibz.it

Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...

claim paper

Read More »

133

click to vote

LPAR
2000
Springer

97views Automated Reasoning» more LPAR 2000»

How to Decide Query Containment Under Constraints Using a Description Logic

15 years 10 months ago

Download www.comlab.ox.ac.uk

Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Ste...

claim paper

Read More »

122

click to vote

TPHOL
2000
IEEE

98views Automated Reasoning» more TPHOL 2000»

Specification and Verification of a Steam-Boiler with Signal-Coq

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers