396 search results - page 7 / 80 » Generalizing Parametricity Using Information-flow |
WSC
1998
13 years 10 months ago
1998
In this paper, we investigate the problem of deriving precision estimates for bootstrap quantities within parametric families. Efron's [1992] jackknife-after-bootstrap is a s...
ICASSP
2011
IEEE
2011
IEEE
Phoneme selective speech enhancement using the generalized parametric spectral subtraction estimator
13 years 1 months ago
In this study, the generalized parametric spectral subtraction estimator is employed in the context of a ROVER speech enhancement framework to develop a robust phoneme class selec...
LICS
2005
IEEE
14 years 2 months ago
2005
IEEE
Run-time type analysis allows programmers to easily and concisely define operations based upon type structure, such as serialization, iterators, and structural equality. However,...
TIS
2010
13 years 4 months ago
2010
stract Hong Kong has one of the highest rates of use of mobile phones in the world and although market research emphasises the economics of this phenomenon, focusing on the volume ...
ICFP
2004
ACM
14 years 9 months ago
2004
ACM
Abadi et al. introduced the dependency core calculus (DCC) as a unifying framework to study many important program analyses such as binding time, information flow, slicing, and fu...