1503 search results - page 209 / 301 » Generalized Parity Games |
STOC
2009
ACM
14 years 11 months ago
2009
ACM
We prove that for any positive integer k, there is a constant ck such that a randomly selected set of cknk log n Boolean vectors with high probability supports a balanced k-wise i...
PODS
2009
ACM
14 years 11 months ago
2009
ACM
For many years, finite model theory was viewed as the backbone of database theory, and database theory in turn supplied finite model theory with key motivations and problems. By n...
CHI
2004
ACM
14 years 11 months ago
2004
ACM
Emerging technologies offer new ways of using entertainment technology to foster interactions between players and connect people. Evaluating entertainment technology is challengin...
GLOBECOM
2009
IEEE
14 years 5 months ago
2009
IEEE
—It is generally admitted that Inter-domain peering links represent nowadays the main bottleneck of the Internet, particularly because of lack of coordination between providers, ...
APPROX
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. This work considers the problem of approximating fixed predicate constraint satisfaction problems (MAX k-CSP(P)). We show that if the set of assignments accepted by P co...