FOCS
1998
IEEE
13 years 10 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 10 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 10 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 10 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 10 months ago
1998
IEEE
FOCS
1998
IEEE
13 years 10 months ago
1998
IEEE
d Abstract) Walter Unger Lehrstuhl f
FOCS
1998
IEEE
13 years 10 months ago
1998
IEEE
FOCS
1998
IEEE
13 years 10 months ago
1998
IEEE
FOCS
1998
IEEE
13 years 10 months ago
1998
IEEE
FOCS
1998
IEEE
13 years 10 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...