Search Sciweavers | Sciweavers

12745 search results - page 189 / 2549

» Automating test automation

265

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 »

149

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 »

140

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 »

126

click to vote

TPHOL
2000
IEEE

98views Automated Reasoning» more TPHOL 2000»

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

15 years 10 months ago

Download www.irisa.fr

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

claim paper

Read More »

138

click to vote

CSL
1995
Springer

105views Automated Reasoning» more CSL 1995»

An Evolving Algebra Abstract Machine

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers