Sciweavers

17450 search results - page 456 / 3490
» Numerical Methods with Applications
Sort
View
ICASSP
2011
IEEE
14 years 10 months ago
A fast projected gradient optimization method for real-time perception-based clipping of audio signals
Clipping is a necessary signal processing operation in many realtime audio applications, yet it often reduces the sound quality of the signal. The recently proposed perception-bas...
Bruno Defraene, Toon van Waterschoot, Moritz Diehl...
ISBI
2004
IEEE
16 years 7 months ago
A Method for Reconstructing Label Images From a Few Projections, as Motivated by Electron Microscopy
Our aim is to produce a tessellation of space into small voxels and, based on only a few tomographic projections of an object, assign to each voxel a label that indicates one of t...
Hstau Y. Liao, Gabor T. Herman
146
Voted
WWW
2006
ACM
16 years 7 months ago
Evaluating structural summaries as access methods for XML
Structural summaries are data structures that preserve all structural features of XML documents in a compact form. We investigate the applicability of the most popular summaries a...
Mirella Moura Moro, Zografoula Vagena, Vassilis J....
CADE
2009
Springer
16 years 6 months ago
Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method
The inverse method is a generic proof search procedure applicable to non-classical logics satisfying cut elimination and the subformula property. In this paper we describe a genera...
Sean McLaughlin, Frank Pfenning
CHI
2007
ACM
16 years 6 months ago
Comparing two methods for gesture based short text input using chording
We report on the design and initial evaluation of two methods for short text input in wearable computing applications using hand gestures. A wireless data glove able to recognize ...
Hendrik Witt, Torben Janssen