376 search results - page 59 / 76 » Improved Design Debugging Using Maximum Satisfiability |
CCR
2004
14 years 9 months ago
2004
As the Internet grows in size, it becomes crucial to understand how the speeds of links in the network must improve in order to sustain the pressure of new end-nodes being added e...
109
Voted
DAC
2007
ACM
15 years 10 months ago
2007
ACM
Mapping packet processing applications onto embedded network processors (NP) is a challenging task due to the unique constraints of NP systems and the characteristics of network a...
SAC
2004
ACM
15 years 3 months ago
2004
ACM
: Within the last few years, e-learning has become a focal point in several universities and organizations. While much research has been devoted to producing econtent, describing i...
LREC
2008
14 years 11 months ago
2008
Speech synthesis by unit selection requires the segmentation of a large single speaker high quality recording. Automatic speech recognition techniques, e.g. Hidden Markov Models (...
79
Voted
PAMI
1998
1998
A Probabilistic Approach to the Coupled Reconstruction and Restoration of Underwater Acoustic Images
14 years 9 months ago
—This paper describes a probabilistic technique for the coupled reconstruction and restoration of underwater acoustic images. The technique is founded on the physics of the image...