Sciweavers

4745 search results - page 198 / 949
» Discretization: An Enabling Technique
Sort
View
TVCG
2008
90views more  TVCG 2008»
15 years 6 months ago
The Word Tree, an Interactive Visual Concordance
We introduce the Word Tree, a new visualization and information-retrieval technique aimed at text documents. A word tree is a graphical version of the traditional "keyword-in-...
Martin Wattenberg, Fernanda B. Viégas
INTERSPEECH
2010
15 years 1 months ago
Asymptotically exact noise-corrupted speech likelihoods
Model compensation techniques for noise-robust speech recognition approximate the corrupted speech distribution. This paper introduces a sampling method that, given speech and noi...
Rogier C. van Dalen, Mark J. F. Gales
ICASSP
2011
IEEE
14 years 10 months ago
Least squares approximation and polyphase decomposition for pipelining recursive filters
Current techniques used in pipelining recursive filters require significant hardware complexity. These techniques attempt to preserve the exact frequency response of the origina...
Aditya Gupta, Andrew C. Singer, Naresh R. Shanbhag
KBSE
2007
IEEE
16 years 24 days ago
Model checking concurrent linux device drivers
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...
Thomas Witkowski, Nicolas Blanc, Daniel Kroening, ...
ICAC
2005
IEEE
16 years 3 days ago
Self-Adjusting Trust and Selection for Web Services
Service-oriented architectures enable services to be dynamically selected and integrated at runtime, thus enabling system flexibility and adaptiveness—autonomic attributes that...
E. Michael Maximilien, Munindar P. Singh