2163 search results - page 236 / 433 » cases 2004 |
187
click to vote
APPROX
2004
Springer
16 years 16 days ago
2004
Springer
A simple first moment argument shows that in a randomly chosen k-SAT formula with m clauses over n boolean variables, the fraction of satisfiable clauses is 1−2−k +o(1) as m/...
225
click to vote
CAISE
2004
Springer
16 years 16 days ago
2004
Springer
Modeling languages have been evolving at a high pace, encouraging the use of automatic code generators for transforming models to programs. Automatic code generators should enable ...
177
click to vote
CASDMKM
2004
Springer
16 years 16 days ago
2004
Springer
This paper conducts experiments with three skewed data sets, seeking to demonstrate problems when skewed data is used, and identifying counter problems when data is balanced. The b...
170
click to vote
CP
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. Refutation proofs can be viewed as a special case of constraint propagation, which is a fundamental technique in solving constraint-satisfaction problems. The generalizat...
194
click to vote
DSOM
2004
Springer
16 years 16 days ago
2004
Springer
Resource reservations in advance are a mature concept for the allocation of various resources, particularly in grid environments. Common grid toolkits such as Globus support advanc...