Search Sciweavers | Sciweavers

12745 search results - page 192 / 2549

» Automating test automation

128

click to vote

DLOG
2007

120views Automated Reasoning» more DLOG 2007»

Actions and Programs over Description Logic Ontologies

15 years 8 months ago

Download www.dis.uniroma1.it

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

claim paper

Read More »

134

Voted

DLOG
2008

89views Automated Reasoning» more DLOG 2008»

On Ordering and Indexing Metadata for the Semantic Web

15 years 8 months ago

Download ftp.informatik.rwth-aachen.de

Jeffrey Pound, Lubomir Stanchev, David Toman, Gran...

claim paper

Read More »

140

click to vote

GIS
2007
ACM

130views Automated Reasoning» more GIS 2007»

Near-real time motion analysis for APLIS 2007: a systems modeling perspective

15 years 8 months ago

Download vims.cis.udel.edu

Mani Thomas, Chandra Kambhamettu, Cathleen A. Geig...

claim paper

Read More »

132

click to vote

DEON
2008
Springer

103views Automated Reasoning» more DEON 2008»

Need to Know: Questions and the Paradox of Epistemic Obligation

15 years 8 months ago

Download staff.feweb.vu.nl

Joris Hulstijn

claim paper

Read More »

121

click to vote

FLOPS
2008
Springer

73views Automated Reasoning» more FLOPS 2008»

Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers