13306 search results - page 432 / 2662 » Theoretical Computer Science |
199
click to vote
ERSHOV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We define the first nontrivial polynomially recognizable subclass of P-matrix Generalized Linear Complementarity Problems (GLCPs) with a subexponential pivot rule. No suc...
170
click to vote
FOCS
1998
IEEE
15 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 ...
167
click to vote
FOCS
1998
IEEE
15 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 ...
166
click to vote
IFIPTCS
2000
15 years 10 months ago
2000
Abstract. We add name groups and group creation to the typed ambient calculus. Group creation is surprisingly interesting: it has the e ect of statically preventing certain communi...
159
click to vote
MFCS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. XML documents are described by a document type definition (DTD). An XML-grammar is a formal grammar that captures the syntactic features of a DTD. We investigate properti...