Sciweavers

963 search results - page 103 / 193
» Rethinking Algorithm Design and Development in Speech Proces...
Sort
View
ICASSP
2010
IEEE
13 years 9 months ago
Limited feedback with joint CSI quantization for multicell cooperative generalized eigenvector beamforming
Existing work on limited feedback for cooperative multicell beamforming quantizes the desired and interfering channel state information (CSI) using separate codebooks. In this pap...
Ramya Bhagavatula, Robert W. Heath Jr., Bhaskar D....
INLG
2010
Springer
13 years 6 months ago
Natural Reference to Objects in a Visual Domain
This paper discusses the basic structures necessary for the generation of reference to objects in a visual scene. We construct a study designed to elicit naturalistic referring ex...
Margaret Mitchell, Kees van Deemter, Ehud Reiter
POPL
2012
ACM
12 years 4 months ago
A compiler and run-time system for network programming languages
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...
Christopher Monsanto, Nate Foster, Rob Harrison, D...
FM
2009
Springer
110views Formal Methods» more  FM 2009»
14 years 3 months ago
Reduced Execution Semantics of MPI: From Theory to Practice
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishn...
CIKM
2003
Springer
14 years 2 months ago
HyperThesis: the gRNA spell on the curse of bioinformatics applications integration
In this paper, we describe a graphical workflow management system called HyperThesis to address the challenges of integrating bioinformatics applications. HyperThesis is an integ...
Sourav S. Bhowmick, Vivek Vedagiri, Amey V. Laud