AAAI

2012

12 years 1 months ago
2012

The early classiﬁcations of the computational complexity of planning under various restrictions in STRIPS (Bylander) and SAS+ (B¨ackstr¨om and Nebel) have inﬂuenced followin...

EUROCRYPT

2012

Springer

12 years 1 months ago
2012

Springer

Decoding random linear codes is a well studied problem with many applications in complexity theory and cryptography. The security of almost all coding and LPN/LWE-based schemes rel...

SIGIR

2012

ACM

12 years 1 months ago
2012

ACM

Enterprise search is challenging for several reasons, notably the dynamic terminology and jargon that are speciﬁc to the enterprise domain. This challenge is partly addressed by...

IACR

2011

12 years 10 months ago
2011

Secure multiparty computation (MPC) allows a set of n players to compute any public function, given as an arithmetic circuit, on private inputs, so that privacy of the inputs as we...

ENTCS

2011

13 years 5 months ago
2011

We preliminarily recap what is meant by complexity and non-Turing computation, by way of explanation of our title, ‘Computational Complexity in Non-Turing Models of Computation...

IJAC

2010

13 years 8 months ago
2010

Title of dissertation: MODEL THEORY AND COMPLEXITY THEORY Walid Gomaa Doctor of Philosophy, 2007 Dissertation directed by: Professor William Gasarch Department of Computer Science...

FOCS

2010

IEEE

13 years 9 months ago
2010

IEEE

Complexity theory typically studies the complexity of computing a function h(x) : {0, 1}m {0, 1}n of a given input x. A few works have suggested to study the complexity of genera...

JSC

2010

13 years 9 months ago
2010

In this primarily expository article, I describe geometric approaches to variants of P v. NP, present several results that illustrate the role of group actions in complexity theory...

SIAMCOMP

2000

13 years 10 months ago
2000

This paper puts forward a new notion of a proof based on computational complexity and explores its implications for computation at large. Computationally sound proofs provide, in a...