Search Sciweavers | Sciweavers

12745 search results - page 188 / 2549

» Automating test automation

133

click to vote

ICLP
2007
Springer

91views Automated Reasoning» more ICLP 2007»

Aggregates in Constraint Handling Rules

15 years 10 months ago

Download people.cs.kuleuven.be

Jon Sneyers, Peter Van Weert, Tom Schrijvers, Bart...

claim paper

Read More »

140

click to vote

FLOPS
2006
Springer

74views Automated Reasoning» more FLOPS 2006»

A Framework for Extended Algebraic Data Types

15 years 10 months ago

Download www.itu.dk

Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey

claim paper

Read More »

145

click to vote

ASP
2001
Springer

110views Automated Reasoning» more ASP 2001»

Representing Configuration Knowledge With Weight Constraint Rules

15 years 10 months ago

Download www.aaai.org

Timo Soininen, Ilkka Niemelä, Juha Tiihonen, ...

claim paper

Read More »

137

click to vote

EWCBR
2000
Springer

95views Automated Reasoning» more EWCBR 2000»

An Architecture for Knowledge Intensive CBR Systems

15 years 10 months ago

Download www.idi.ntnu.no

Belén Díaz-Agudo, Pedro A. Gonz&aacu...

claim paper

Read More »

135

click to vote

GIS
1998
ACM

104views Automated Reasoning» more GIS 1998»

Abstract and Discrete Modeling of Spatio-Temporal Data Types

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers