Sciweavers

9518 search results - page 1590 / 1904
» On Mobility of Software Processes
Sort
View
AMCS
2011
341views Mathematics» more  AMCS 2011»
15 years 1 months ago
FSP and FLTL framework for specification and verification of middle-agents
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
Amelia Badica, Costin Badica
TASLP
2010
142views more  TASLP 2010»
15 years 1 months ago
Beyond the Narrowband Approximation: Wideband Convex Methods for Under-Determined Reverberant Audio Source Separation
We consider the problem of extracting the source signals from an under-determined convolutive mixture assuming known mixing filters. State-of-the-art methods operate in the time-fr...
M. Kowalski, Emmanuel Vincent, Rémi Gribonv...
TASLP
2010
165views more  TASLP 2010»
15 years 1 months ago
Model-Based Dereverberation Preserving Binaural Cues
The ability of the human auditory system for sound localization mainly depends on the binaural cues, especially interaural time and level differences (ITD and ILD). In the context ...
Marco Jeub, M. Schafer, Thomas Esch, Peter Vary
TCAD
2010
121views more  TCAD 2010»
15 years 1 months ago
Translation Validation of High-Level Synthesis
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta
TCOM
2010
98views more  TCOM 2010»
15 years 1 months ago
Convolutionally Coded Transmission over Markov-Gaussian Channels: Analysis and Decoding Metrics
It has been widely acknowledged that the aggregate interference at the receiver for various practical communication channels can often deviate markedly from the classical additive ...
Jeebak Mitra, Lutz H.-J. Lampe
« Prev « First page 1590 / 1904 Last » Next »