Sciweavers

8824 search results - page 1733 / 1765
» On the Complexity of Real Functions
Sort
View
CORR
2010
Springer
160views Education» more  CORR 2010»
13 years 8 months ago
New Results on Quantum Property Testing
We present several new examples of speed-ups obtainable by quantum algorithms in the context of property testing. First, motivated by sampling algorithms, we consider probability d...
Sourav Chakraborty, Eldar Fischer, Arie Matsliah, ...
CORR
2008
Springer
105views Education» more  CORR 2008»
13 years 8 months ago
Certifying floating-point implementations using Gappa
High confidence in floating-point programs requires proving numerical properties of final and intermediate values. One may need to guarantee that a value stays within some range, ...
Florent de Dinechin, Christoph Quirin Lauter, Guil...
CORR
2008
Springer
109views Education» more  CORR 2008»
13 years 8 months ago
Simulation of Coating -Visco-Elastic liquid in the Mico-Nip of Metering Size Press
for a set of operating conditions and coating color formulations, undesirable phenomena like color spitting and coating ribs may be triggered in the Micro-nip during the coating pr...
Haifa El-Sadi, Nabil Esmail
CORR
2008
Springer
121views Education» more  CORR 2008»
13 years 8 months ago
Rate-Distortion via Markov Chain Monte Carlo
We propose an approach to lossy source coding, utilizing ideas from Gibbs sampling, simulated annealing, and Markov Chain Monte Carlo (MCMC). The idea is to sample a reconstructio...
Shirin Jalali, Tsachy Weissman
CSL
2010
Springer
13 years 8 months ago
Discriminative training of HMMs for automatic speech recognition: A survey
Recently, discriminative training (DT) methods have achieved tremendous progress in automatic speech recognition (ASR). In this survey article, all mainstream DT methods in speech...
Hui Jiang
« Prev « First page 1733 / 1765 Last » Next »