6568 search results - page 1134 / 1314 » Reducing the Complexity of Reductions |
184
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
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 ...
146
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
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 ...
173
click to vote
CSDA
2008
15 years 6 months ago
2008
It is shown that any pair of scatter and spatial scatter matrices yields an estimator of the separating matrix for complex-valued independent component analysis (ICA). Scatter (re...
154
click to vote
ENTCS
2010
15 years 6 months ago
2010
The crucial strength of the component paradigm lies in the possibility to encapsulate behaviours. In this work, we focus on the observable behaviour of composite components which ...
159
click to vote
ENGL
2008
15 years 6 months ago
2008
Strong competition on the global automotive market is forcing car manufacturers rethink their strategic approach to manufacturing. In order to be competitive, companies need to man...