Search Sciweavers | Sciweavers

12745 search results - page 182 / 2549

» Automating test automation

130

click to vote

LICS
1999
IEEE

89views Automated Reasoning» more LICS 1999»

Logics with Aggregate Operators

15 years 10 months ago

Download homepages.inf.ed.ac.uk

Lauri Hella, Leonid Libkin, Juha Nurmonen, Limsoon...

claim paper

Read More »

116

click to vote

GIS
1999
ACM

103views Automated Reasoning» more GIS 1999»

Cartographic Generalization as a Combination of Representing and Abstracting Knowledge

15 years 10 months ago

Download www-poleia.lip6.fr

Sébastien Mustière, Jean-Daniel Zuck...

claim paper

Read More »

133

click to vote

ICCBR
1999
Springer

75views Automated Reasoning» more ICCBR 1999»

Constructing and Transforming CBR Implementations: Techniques for Corporate Memory Management

15 years 10 months ago

Download www.cs.indiana.edu

Arijit Sengupta, David C. Wilson, David B. Leake

claim paper

Read More »

144

click to vote

LLL
1999
Springer

263views Automated Reasoning» more LLL 1999»

Learning the Logic of Simple Phonotactics

15 years 10 months ago

Download odur.let.rug.nl

Erik F. Tjong Kim Sang, John Nerbonne

claim paper

Read More »

138

click to vote

LICS
1998
IEEE

95views Automated Reasoning» more LICS 1998»

A Theory of Recursive Domains with Applications to Concurrency

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers