Sciweavers

1769 search results - page 151 / 354
» An implementation of argument based discussion
Sort
View
INTERSPEECH
2010
15 years 1 months ago
Shape-invariant speech transformation with the phase vocoder
This paper proposes a new phase vocoder based method for shape invariant real-time modification of speech signals. The performance of the method with respect voiced and unvoiced s...
Axel Röbel
ICASSP
2011
IEEE
14 years 10 months ago
On efficient soft-input soft-output encoding of convolutional codes
We study efficient algorithms for soft-input soft-output (SISO) encoding of convolutional codes. While the BCJR algorithm has been suggested for SISO encoding, we show that a for...
Andreas Winkelbauer, Gerald Matz
SPIN
2004
Springer
15 years 12 months ago
Explicit State Model Checking with Hopper
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
Michael Jones, Eric Mercer
VEE
2006
ACM
126views Virtualization» more  VEE 2006»
16 years 13 days ago
A new approach to real-time checkpointing
The progress towards programming methodologies that simplify the work of the programmer involves automating, whenever possible, activities that are secondary to the main task of d...
Antonio Cunei, Jan Vitek
WCNC
2008
IEEE
16 years 26 days ago
An Uplink Medium Access Protocol with SDMA Support for Multiple-Antenna WLANs
— In this paper, we propose a contention based uplink Medium Access Control (MAC) protocol design for Wireless Local Area Networks (WLANs) with Spatial Division Multiple Access (...
Sheng Zhou, Zhisheng Niu