Sciweavers

14190 search results - page 2253 / 2838
» computer 2008
Sort
View
CORR
2008
Springer
97views Education» more  CORR 2008»
15 years 7 months ago
Voice-controlled Debugging of Spreadsheets
Developments in Mobile Computing are putting pressure on the software industry to research new modes of interaction that do not rely on the traditional keyboard and mouse combinat...
Derek Flood, Kevin McDaid
CORR
2008
Springer
143views Education» more  CORR 2008»
15 years 7 months ago
On combinations of local theory extensions
Many problems in mathematics and computer science can be reduced to proving the satisfiability of conjunctions of literals in a background theory which is often the extension of a ...
Viorica Sofronie-Stokkermans
CORR
2008
Springer
149views Education» more  CORR 2008»
15 years 7 months ago
Gaussian Belief Propagation for Solving Systems of Linear Equations: Theory and Application
The canonical problem of solving a system of linear equations arises in numerous contexts in information theory, communication theory, and related fields. In this contribution, we...
Ori Shental, Danny Bickson, Paul H. Siegel, Jack K...
CORR
2008
Springer
129views Education» more  CORR 2008»
15 years 7 months ago
Polynomial Linear Programming with Gaussian Belief Propagation
Abstract--Interior-point methods are state-of-the-art algorithms for solving linear programming (LP) problems with polynomial complexity. Specifically, the Karmarkar algorithm typi...
Danny Bickson, Yoav Tock, Ori Shental, Danny Dolev
CORR
2008
Springer
108views Education» more  CORR 2008»
15 years 7 months ago
Linear Processing and Sum Throughput in the Multiuser MIMO Downlink
We consider linear precoding and decoding in the downlink of a multiuser multiple-input, multipleoutput (MIMO) system, wherein each user may receive more than one data stream. We ...
Adam J. Tenenbaum, Raviraj S. Adve
« Prev « First page 2253 / 2838 Last » Next »