Sciweavers

6045 search results - page 372 / 1209
» Computable Linearizations of Well-partial-orderings
Sort
View
ICCD
2004
IEEE
106views Hardware» more  ICCD 2004»
16 years 4 months ago
A New Statistical Optimization Algorithm for Gate Sizing
— In this paper, we approach the gate sizing problem in VLSI circuits in the context of increasing variability of process and circuit parameters as technology scales into the nan...
Murari Mani, Michael Orshansky
HAPTICS
2009
IEEE
16 years 2 months ago
Effects of haptic device attributes on vibration detection thresholds
Human vibrotactile detection experiments were used to compare temporal sinusoids displayed on three commercial haptic devices to a high-fidelity linear voice-coil actuator. The t...
Curt Salisbury, R. Brent Gillespie, Hong Z. Tan, F...
ICASSP
2009
IEEE
16 years 2 months ago
Enhancement of reverberant speech using the CELP postfilter
In this paper we investigate the application of adaptive postfiltering for the enhancement of reverberant speech. The considered method is commonly used in Code Excited Linear Pr...
Marco Jeub, Peter Vary
ICASSP
2009
IEEE
16 years 2 months ago
Humming-based human verification and identification
This paper considers humming-based human verification and identification systems. Humming of a target person is modeled as a Gaussian mixture model, and the matching score betwe...
Minho Jin, Jaewook Kim, Chang D. Yoo
CDC
2008
IEEE
16 years 2 months ago
Robust invariant set theory applied to networked buffer-level control
— A manufacturer producing several items keeps them into safety stocks (buffers) in order to supply an external stochastic demand without interruptions. We consider the classical...
Francesco Borrelli, Carmen Del Vecchio, Alessandra...