6181 search results - page 879 / 1237 » Predictive Matrix-Variate t Models |
156
click to vote
JAR
2006
15 years 4 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
151
Voted
JWSR
2008
15 years 4 months ago
2008
: Ensuring composite services reliability is a challenging problem. Indeed, due to the inherent autonomy and heterogeneity of Web services it is difficult to predict and reason abo...
165
click to vote
ML
2008
ACM
15 years 4 months ago
2008
ACM
The use of Bayesian networks for classification problems has received significant recent attention. Although computationally efficient, the standard maximum likelihood learning me...
230
click to vote
TODAES
2008
15 years 4 months ago
2008
The goal of dynamic power management is to reduce power dissipation in system level by putting system components into different states. This paper proposes a wavelet based approac...
142
Voted
INTERSPEECH
2010
14 years 11 months ago
2010
This paper reports our recent exploration of the layer-by-layer learning strategy for training a multi-layer generative model of patches of speech spectrograms. The top layer of t...