Search Sciweavers | Sciweavers

12745 search results - page 239 / 2549

» Automating test automation

124

click to vote

ICCBR
2001
Springer

121views Automated Reasoning» more ICCBR 2001»

Case-Based Reasoning in Course Timetabling: An Attribute Graph Approach

15 years 11 months ago

Download www.cs.nott.ac.uk

Edmund K. Burke, Bart L. MacCarthy, Sanja Petrovic...

claim paper

Read More »

114

click to vote

ICLP
2001
Springer

111views Automated Reasoning» more ICLP 2001»

A Computational Model for Functional Logic Deductive Databases

15 years 11 months ago

Download www.ual.es

Jesús Manuel Almendros-Jiménez, Anto...

claim paper

Read More »

162

click to vote

LPAR
2001
Springer

144views Automated Reasoning» more LPAR 2001»

Efficient Negation Using Abstract Interpretation

15 years 11 months ago

Download www.clip.dia.fi.upm.es

Susana Muñoz-Hernández, Juan Jos&eac...

claim paper

Read More »

125

click to vote

ILP
1999
Springer

121views Automated Reasoning» more ILP 1999»

Experiments in Predicting Biodegradability

15 years 10 months ago

Download www-ai.ijs.si

Saso Dzeroski, Hendrik Blockeel, Boris Kompare, St...

claim paper

Read More »

125

click to vote

ILP
1998
Springer

68views Automated Reasoning» more ILP 1998»

Detecting Traffic Problems with ILP

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers