756 search results - page 65 / 152 » Recent progress with BOXES |
JCS
2010
14 years 8 months ago
2010
raction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently significa...
JPDC
2010
14 years 8 months ago
2010
Transactional Memory (TM) is a promising abstraction as it hides all synchronization complexities from the programmers of concurrent applications. More particularly the TM paradig...
TIP
2010
14 years 8 months ago
2010
—Image denoising has been a well studied problem in the field of image processing. Yet researchers continue to focus attention on it to better the current state-of-the-art. Rece...
EWC
2011
14 years 5 months ago
2011
Abstract. Finite element mesh adaptation methods can be used to improve the efficiency and accuracy of solutions to computational modeling problems. In many applications involving ...
ICASSP
2011
IEEE
2011
IEEE
An evaluation of noise power spectral density estimation algorithms in adverse acoustic environments
14 years 1 months ago
Noise power spectral density estimation is an important component of speech enhancement systems due to its considerable effect on the quality and the intelligibility of the enhanc...