1857 search results - page 87 / 372 » Minimum Degree Orderings |
151
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
—In this paper, we investigate the minimum average transmit energy that can be obtained in multiple antenna broadcast systems with channel inversion technique. The achievable gai...
166
click to vote
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
In the STS-based mapping, we are requested to obtain the correct order of probes in a DNA sequence from a given set of fragments or equivalently a hybridization matrix A. It is wel...
183
click to vote
WSC
2008
15 years 8 months ago
2008
Recent research has shown that while many complex networks follow a power-law distribution for their node degrees, it is not sufficient to model these networks based only on their...
147
click to vote
AML
2010
15 years 6 months ago
2010
We show the non-arithmeticity of 1st order theories of lattices of n sentences modulo provable equivalence in a formal theory, of diagonalizable algebras of a wider class of arithm...
157
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
We describe a framework with which first order theorem provers can be used for checking formal proofs. The main aim of the framework is to take as much advantage as possible from t...