1717 search results - page 89 / 344 » A Computable Spectral Theorem |
135
click to vote
WISE
2009
Springer
16 years 1 months ago
2009
Springer
Social tagging is an increasingly popular phenomenon with substantial impact on the way we perceive and understand the Web. For the many Web resources that are not self-descriptive...
111
click to vote
MFCS
1989
Springer
15 years 8 months ago
1989
Springer
In this paper we review the key results about space bounded complexity classes, discuss the central open problems and outline the prominent proof techniques. We show that, for a s...
141
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
I study the class of problems efficiently solvable by a quantum computer, given the ability to "postselect" on the outcomes of measurements. I prove that this class coin...
128
click to vote
COCO
2007
Springer
15 years 10 months ago
2007
Springer
We consider a class of two-prover interactive proof systems where each prover returns a single bit to the verifier and the verifier’s verdict is a function of the XOR of the tw...
128
click to vote
FCT
2005
Springer
15 years 9 months ago
2005
Springer
We refine the genericity concept of Ambos-Spies, by assigning a real number in [0, 1] to every generic set, called its generic density. We construct sets of generic density any E...