12194 search results - page 456 / 2439 » Numberings Optimal for Learning |
160
click to vote
SAT
2004
Springer
16 years 6 days ago
2004
Springer
Despite the widespread use and study of Boolean satisfiability for a diverse range of problem domains, encoding of problems is usually given to general propositional logic with li...
182
click to vote
ARITH
2003
IEEE
16 years 5 days ago
2003
IEEE
This paper presents some improvements on the optimization of hardware multiplication by constant matrices. We focus on the automatic generation of circuits that involve constant m...
172
click to vote
ICPADS
1996
IEEE
15 years 11 months ago
1996
IEEE
In this paper, we propose a novel deadlock resolution algorithm. In the presence of global deadlocks in a multidatabase system, this algorithm always selects an optimal set of vic...
205
click to vote
ICMCS
1995
IEEE
15 years 10 months ago
1995
IEEE
The immensity of the datatransfer requirements of multimediaobjects will require multimediaservers tobe foundedon disk arrays. To effectively utilize a disk array, and hence to ma...
176
click to vote
ETFA
2008
IEEE
15 years 8 months ago
2008
IEEE
In factory automation, production line scheduling entails a number of competing issues. Finding optimal configurations often requires use of local search techniques. Local search l...