Sciweavers

1129 search results - page 68 / 226
» SAC and neighbourhood SAC
Sort
View
SAC
2004
ACM
15 years 12 months ago
A back-end for GHC based on categorical multi-combinators
is an abstract graph reduction machine for the implementation of lazy functional languages. Categorical multi-combinators served as a basis for the evaluation model of µΓCMC. Th...
Ricardo Massa Ferreira Lima, Rafael Dueire Lins, A...
SAC
2004
ACM
15 years 12 months ago
A study into the usability of e-encyclopaedias
This paper describes a usability study performed on three different e-encyclopaedias, all of which were available on the web, contained similar content and targeted similar audien...
Ruth Wilson, Julie Shortreed, Monica Landoni
SAC
2010
ACM
15 years 11 months ago
Box consistency through adaptive shaving
The canonical algorithm to enforce box consistency over a constraint relies on a dichotomic process to isolate the leftmost and rightmost solutions. We identify some weaknesses of...
Alexandre Goldsztejn, Frédéric Goual...
SAC
2010
ACM
15 years 11 months ago
Mining interesting sets and rules in relational databases
In this paper we propose a new and elegant approach toward the generalization of frequent itemset mining to the multirelational case. We define relational itemsets that contain i...
Bart Goethals, Wim Le Page, Michael Mampaey
SAC
2003
ACM
15 years 11 months ago
Basic Components for Constraint Solver Cooperations
We propose a predefined set of basic components for designing and implementing constraint solver cooperations and solver cooperation languages. Combining these components into pa...
Eric Monfroy, Carlos Castro