732 search results - page 43 / 147 » An Analysis of Availability Distributions in Condor |
119
Voted
SAT
2010
Springer
14 years 11 months ago
2010
Springer
This paper presents a detailed empirical study of local search for Boolean satisfiability (SAT), highlighting several interesting properties, some of which were previously unknown...
92
Voted
IJCAI
1993
15 years 1 months ago
1993
Uncertainty processing methods are analysed from the viewpoint of their sensitivity to small variations of certainty factors. The analysis makes use of the algebraic theory which ...
110
Voted
BMCBI
2004
15 years 10 days ago
2004
Background: A number of completely sequenced eukaryotic genome data are available in the public domain. Eukaryotic genes are either 'intron containing' or 'intronle...
83
Voted
STOC
2003
ACM
16 years 23 days ago
2003
ACM
In this paper, we present the first average-case analysis proving an expected polynomial running time for an exact algorithm for the 0/1 knapsack problem. In particular, we prove,...
98
Voted
PDP
2006
IEEE
15 years 6 months ago
2006
IEEE
Commodity symmetric multiprocessors (SMPs), though originally intended for transaction processing, because of their availability, are now used for numerical analysis applications ...