Sciweavers

3775 search results - page 35 / 755
» The Expression Problem Revisited
Sort
View
100
Voted
ICASSP
2010
IEEE
15 years 27 days ago
Revisiting the security of speaker verification systems against imposture using synthetic speech
In this paper, we investigate imposture using synthetic speech. Although this problem was first examined over a decade ago, dramatic improvements in both speaker verification (S...
Phillip L. De Leon, Vijendra Raj Apsingekar, Micha...
84
Voted
AUTOMATICA
2006
142views more  AUTOMATICA 2006»
15 years 23 days ago
Stability regions in the parameter space: D-decomposition revisited
The challenging problem in linear control theory is to describe the total set of parameters (controller coefficients or plant characteristics) which provide stability of a system....
Elena N. Gryazina, Boris T. Polyak
MP
2002
84views more  MP 2002»
15 years 11 days ago
The volume algorithm revisited: relation with bundle methods
We revise the Volume Algorithm (VA) for linear programming and relate it to bundle methods. When first introduced, VA was presented as a subgradient-like method for solving the ori...
Laura Bahiense, Nelson Maculan, Claudia A. Sagasti...
94
Voted
MANSCI
2010
108views more  MANSCI 2010»
14 years 7 months ago
Capacity Sizing Under Parameter Uncertainty: Safety Staffing Principles Revisited
We study a capacity sizing problem in a service system that is modeled as a single-class queue with multiple servers and where customers may renege while waiting for service. A sa...
Achal Bassamboo, Ramandeep S. Randhawa, Assaf J. Z...
ESOP
2012
Springer
13 years 8 months ago
The Call-by-Need Lambda Calculus, Revisited
The existing call-by-need λ calculi describe lazy evaluation via equational logics. A programmer can use these logics to safely ascertain whether one term is behaviorally equivale...
Stephen Chang, Matthias Felleisen