922 search results - page 184 / 185 » On a Generalization of the Stone-Weierstrass Theorem |
CORR
2008
Springer
14 years 11 months ago
2008
Springer
In this work, we consider a distributed source coding problem with a joint distortion criterion depending on the sources and the reconstruction. This includes as a special case the...
113
click to vote
AMC
2006
14 years 11 months ago
2006
-- Tien D. Kieu, in 10 papers posted to the quant-ph section of the xxx.lanl.gov preprint archive [some of which were also published in printed journals such as Proc. Royal Soc. A ...
89
Voted
ENTCS
2008
14 years 11 months ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...
109
click to vote
JACIII
2007
14 years 11 months ago
2007
We study the problem of approximating pseudoBoolean functions by linear pseudo-Boolean functions. Pseudo-Boolean functions generalize ordinary Boolean functions by allowing the fu...
TNN
2008
14 years 11 months ago
2008
The matrix, as an extended pattern representation to the vector, has proven to be effective in feature extraction. But the subsequent classifier following the matrix-pattern-orien...