Search Sciweavers | Sciweavers

12745 search results - page 189 / 2549

» Automating test automation

257

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 »

142

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 »

120

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

Download www.irisa.fr

Mickaël Kerboeuf, David Nowak, Jean-Pierre Ta...

claim paper

Read More »

128

click to vote

CSL
1995
Springer

105views Automated Reasoning» more CSL 1995»

An Evolving Algebra Abstract Machine

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers