1626 search results - page 88 / 326 » Subtyping with Power Types |
157
click to vote
TASLP
2002
15 years 5 months ago
2002
A speech pause detection algorithm is an important and sensitive part of most single-microphone noise reduction schemes for enhancement of speech signals corrupted by additive nois...
205
click to vote
CASES
2010
ACM
15 years 4 months ago
2010
ACM
In modern wireless devices, two broad classes of compute-intensive applications are common: those with high amounts of data-level parallelism, such as signal processing used in wi...
235
click to vote
BILDMED
2011
14 years 10 months ago
2011
Thyroid nodule segmentation is a hard task due to different echo structures, textures and echogenicities in ultrasound (US) images as well as speckle noise. Currently, a typical c...
177
click to vote
INFOCOM
2012
IEEE
13 years 8 months ago
2012
IEEE
Abstract—We aim to enhance the end-to-end rate of a general dual-hop relay network with multiple channels and finite modulation formats, by jointly optimizing channel pairing, p...
136
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their spe...