1717 search results - page 198 / 344 » A Computable Spectral Theorem |
149
click to vote
INTERSPEECH
2010
15 years 25 days ago
2010
In this paper, we present efficient HMM-based techniques for estimating missing features. By assuming speech features to be observations of hidden Markov processes, we derive a mi...
151
click to vote
JMLR
2010
15 years 24 days ago
2010
We present a new sparse Gaussian Process (GP) model for regression. The key novel idea is to sparsify the spectral representation of the GP. This leads to a simple, practical algo...
140
click to vote
MMAS
2010
Springer
15 years 23 days ago
2010
Springer
This paper considers the statistical properties of the waves generated by a point source in the subsurface and transmitted towards the surface through a randomly layered medium. Th...
163
click to vote
CSL
2005
Springer
15 years 11 months ago
2005
Springer
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
152
click to vote
FOSSACS
2010
Springer
16 years 25 days ago
2010
Springer
Every algebraic theory gives rise to a monad, and monads allow a meta-language which is a basic programming language with sideeffects. Equations in the algebraic theory give rise ...