4103 search results - page 560 / 821 » Some results on the Collatz problem |
190
click to vote
PPDP
2005
Springer
16 years 19 hour ago
2005
Springer
The paper develops a self-tuning resource aware partial evaluation technique for Prolog programs, which derives its own control strategies tuned for the underlying computer archit...
163
click to vote
WABI
2005
Springer
16 years 11 hour ago
2005
Springer
We give a new algorithm for the genotype phasing problem. Our solution is based on a hidden Markov model for haplotypes. The model has a uniform structure, unlike most solutions pr...
176
click to vote
GECCO
2004
Springer
15 years 12 months ago
2004
Springer
Artificial Immune Systems (AISs) are biologically inspired problem solvers that have been used successfully as intrusion detection systems (IDSs). This paper describes how the des...
210
click to vote
POLICY
2004
Springer
15 years 12 months ago
2004
Springer
As a consequence of the current trend towards consolidating computing, storage and networking infrastructures into large centralized data centers, applications compete for shared ...
155
click to vote
MTV
2003
IEEE
15 years 11 months ago
2003
IEEE
In recent years backtrack search SAT solvers have been the subject of dramatic improvements. These improvements allowed SAT solvers to successfully replace BDDs in many areas of f...