Sciweavers

848 search results - page 92 / 170
» Randomness and the linear degrees of computability
Sort
View
NAACL
1994
15 years 1 months ago
High-Accuracy Large-Vocabulary Speech Recognition Using Mixture Tying and Consistency Modeling
Improved acoustic modeling can significantly decrease the error rate in large-vocabulary speech recognition. Our approach to the problem is twofold. We first propose a scheme that...
Vassilios Digalakis, Hy Murveit
ICCV
2005
IEEE
16 years 1 months ago
Fundamental Matrix for Cameras with Radial Distortion
When deploying a heterogeneous camera network or when we use cheap zoom cameras like in cell-phones, it is not practical, if not impossible to off-line calibrate the radial distor...
João P. Barreto, Kostas Daniilidis
PODC
2010
ACM
15 years 3 months ago
Verifying linearizability with hindsight
We present a proof of safety and linearizability of a highlyconcurrent optimistic set algorithm. The key step in our proof is the Hindsight Lemma, which allows a thread to infer t...
Peter W. O'Hearn, Noam Rinetzky, Martin T. Vechev,...
SGP
2004
15 years 2 months ago
A Remeshing Approach to Multiresolution Modeling
Providing a thorough mathematical foundation, multiresolution modeling is the standard approach for global surface deformations that preserve fine surface details in an intuitive ...
Mario Botsch, Leif Kobbelt
FOCS
2007
IEEE
15 years 6 months ago
Hardness of Reconstructing Multivariate Polynomials over Finite Fields
We study the polynomial reconstruction problem for low-degree multivariate polynomials over finite field F[2]. In this problem, we are given a set of points x ∈ {0, 1}n and ta...
Parikshit Gopalan, Subhash Khot, Rishi Saket