Search Sciweavers | Sciweavers

4617 search results - page 109 / 924

» Automation of Diagrammatic Reasoning

128

click to vote

GIS
1998
ACM

104views Automated Reasoning» more GIS 1998»

Abstract and Discrete Modeling of Spatio-Temporal Data Types

15 years 9 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 9 months ago

Download www.eecs.umich.edu

Jignesh M. Patel, David J. DeWitt

claim paper

Read More »

144

click to vote

KR
2000
Springer

109views Automated Reasoning» more KR 2000»

Containment of Conjunctive Regular Path Queries with Inverse

15 years 9 months ago

Download www.inf.unibz.it

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

claim paper

Read More »

132

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 9 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