1717 search results - page 90 / 344 » A Computable Spectral Theorem |
132
Voted
ICALP
2003
Springer
15 years 9 months ago
2003
Springer
We prove lower bounds for the direct sum problem for two-party bounded error randomised multipleround communication protocols. Our proofs use the notion of information cost of a p...
145
click to vote
EVOW
2008
Springer
15 years 6 months ago
2008
Springer
We introduce the concept of "minimal" search algorithm for a set of functions to optimize. We investigate the structure of closed under permutation (c.u.p.) sets and we c...
135
click to vote
AI
2000
Springer
15 years 4 months ago
2000
Springer
We investigate the improvement of theorem proving by reusing previously computed proofs. We have developed and implemented the PLAGIATOR system which proves theorems by mathematic...
124
click to vote
ISCI
2010
15 years 2 months ago
2010
This paper presents a simple but effective tuning strategy for robust static output feedback (SOF) controllers with minimal quadratic cost in the context of multiple parametric un...
130
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
We define and study a distributed cryptographic implementation for an asynchronous pi calculus. At the source level, we adapt simple type systems designed for establishing formal ...