FOCS
1998
IEEE
13 years 8 months ago
1998
IEEE
A recommendation system tracks past actions of a group of users to make recommendations toindividualmembersofthe group. The growth ofcomputer-mediatedmarketingandcommerce has led ...
FOCS
1998
IEEE
13 years 8 months ago
1998
IEEE
It is known that there exists a PCP characterization of NP where the verifier makes 3 queries and has a onesided error that is bounded away from 1; and also that 2 queries do not ...
FOCS
1998
IEEE
13 years 8 months ago
1998
IEEE
We prove an exponential lower bound for tree-like Cutting Planes refutations of a set of clauses which has polynomial size resolution refutations. This implies an exponential sepa...
FOCS
1998
IEEE
13 years 9 months ago
1998
IEEE
The properties of any system of k simultaneous equations in n variables over GF(q), are studied, with a particular emphasis on unsatisfiable systems. A general formula for the num...
FOCS
1998
IEEE
13 years 9 months ago
1998
IEEE
FOCS
1998
IEEE
13 years 9 months ago
1998
IEEE
d Abstract) Walter Unger Lehrstuhl f
FOCS
1998
IEEE
13 years 9 months ago
1998
IEEE
FOCS
1998
IEEE
13 years 9 months ago
1998
IEEE
FOCS
1998
IEEE
13 years 9 months ago
1998
IEEE
FOCS
1998
IEEE
13 years 9 months ago
1998
IEEE
We present a higher-order functional notation for polynomial-time computation with arbitrary 0; 1-valued oracle. This provides a linguistic characterization for classes such as np...