Sciweavers

1717 search results - page 47 / 344
» A Computable Spectral Theorem
Sort
View
STACS
2007
Springer
15 years 10 months ago
VPSPACE and a Transfer Theorem over the Reals
Abstract. We introduce a new class VPSPACE of families of polynomials. Roughly speaking, a family of polynomials is in VPSPACE if its coefficients can be computed in polynomial spa...
Pascal Koiran, Sylvain Perifel
CIE
2010
Springer
15 years 8 months ago
The Strength of the Besicovitch-Davies Theorem
A theorem of Besicovitch and Davies implies for Cantor space 2ω that each Σ1 1 (analytic) class of positive Hausdorff dimension contains a Π0 1 (closed) subclass of positive di...
Bjørn Kjos-Hanssen, Jan Reimann
ICPR
2006
IEEE
16 years 5 months ago
A 'No Panacea Theorem' for Multiple Classifier Combination
We introduce the `No Panacea Theorem' for classifier combination in the two-classifier, two-class case. It states that if the combination function is continuous and diverse, ...
Robert I. Damper, Roland Hu
101
Voted
ICCS
2003
Springer
15 years 9 months ago
Invariant Manifolds and Grobman-Hartman Theorem for Equations with Degenerate Operator at the Derivative
Abstract. Analog of Grobman-Hartman theorem about stable and unstable manifolds solutions for differential equations in Banach spaces with degenerate Fredholm operator at the deri...
Bülent Karasözen, Irina Konopleva, Boris...
112
Voted
FOCS
2008
IEEE
15 years 10 months ago
Two Query PCP with Sub-Constant Error
We show that the NP-Complete language 3SAT has a PCP verifier that makes two queries to a proof of almost-linear size and achieves sub-constant probability of error o(1). The ver...
Dana Moshkovitz, Ran Raz