922 search results - page 12 / 185 » On a Generalization of the Stone-Weierstrass Theorem |
TIT
2002
15 years 1 months ago
2002
Abstract--Zador's classic result for the asymptotic high-rate behavior of entropy-constrained vector quantization is recast in a Lagrangian form which better matches the Lloyd...
127
Voted
CORR
2010
Springer
15 years 14 days ago
2010
Springer
A strong direct product theorem (SDPT) states that solving n instances of a problem requires ˝.n/ times the resources for a single instance, even to achieve success probability 2 ...
132
click to vote
TPHOL
2000
IEEE
15 years 6 months ago
2000
IEEE
Theorem provers for higher-order logics often use tactics to implement automated proof search. Tactics use a general-purpose metalanguage to implement both general-purpose reasonin...
86
Voted
JGAA
2002
15 years 1 months ago
2002
We prove a very general representation theorem for posets and, as a corollary, deduce that any abstract simplicial complex has a geometric realization in the Euclidean space of di...
105
click to vote
CSFW
2008
IEEE
15 years 8 months ago
2008
IEEE
Composition theorems in simulation-based approaches allow to build complex protocols from sub-protocols in a modular way. However, as first pointed out and studied by Canetti and ...