2163 search results - page 236 / 433 » cases 2004 |
171
click to vote
APPROX
2004
Springer
16 years 10 hour 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/...
198
Voted
CAISE
2004
Springer
16 years 7 hour 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 ...
161
Voted
CASDMKM
2004
Springer
16 years 7 hour 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...
152
click to vote
CP
2004
Springer
16 years 5 hour 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...
169
click to vote
DSOM
2004
Springer
16 years 3 hour 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...