1362 search results - page 73 / 273 » Means, Correlations and Bounds |
103
click to vote
TABLEAUX
2005
Springer
15 years 7 months ago
2005
Springer
For applications of first-order automated theorem provers in a wider verification context it is essential to provide a means of presenting and checking automatically found proofs...
89
Voted
NIPS
2003
15 years 3 months ago
2003
A general linear response method for deriving improved estimates of correlations in the variational Bayes framework is presented. Three applications are given and it is discussed ...
104
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Meaning can be generated when information is related at a systemic level. Such a system can be an observer, but also a discourse, for example, operationalized as a set of document...
107
click to vote
TNN
2008
15 years 1 months ago
2008
In this paper, spiking neuronal models employing means, variances, and correlations for computation are introduced. We present two approaches in the design of spiking neuronal netw...
ADCM
2008
15 years 1 months ago
2008
In transmission, storaging and coding of digital signals we frequently perform A/D conversion using quantization. In this paper we study the maxiaml and mean square errors as a res...