Sciweavers

1717 search results - page 198 / 344
» A Computable Spectral Theorem
Sort
View
INTERSPEECH
2010
15 years 1 months ago
Efficient HMM-based estimation of missing features, with applications to packet loss concealment
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...
Bengt J. Borgström, Per Henrik Borgström...
JMLR
2010
112views more  JMLR 2010»
15 years 1 months ago
Sparse Spectrum Gaussian Process Regression
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...
Miguel Lázaro-Gredilla, Joaquin Quiñ...
MMAS
2010
Springer
15 years 1 months ago
Wave Transmission through Random Layering with Pressure Release Boundary Conditions
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...
Josselin Garnier, Knut Sølna
CSL
2005
Springer
16 years 1 days ago
Distributed Control Flow with Classical Modal Logic
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...
Tom Murphy VII, Karl Crary, Robert Harper
FOSSACS
2010
Springer
16 years 1 months ago
Completeness for Algebraic Theories of Local State
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 ...
Sam Staton