4029 search results - page 533 / 806 » Reconfigurable Systems in Education |
245
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent...
230
Voted
CORR
2006
Springer
15 years 7 months ago
2006
Springer
In a frequency selective slow-fading channel in a MIMO system, the channel matrix is of the form of a block matrix. This paper proposes a method to calculate the limit of the eige...
164
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
: In this paper, our aim is to propose a model that helps in the efficient use of an information system by users, within the organization represented by the IS, in order to resolve...
187
Voted
CORR
2007
Springer
15 years 7 months ago
2007
Springer
In this paper, the inherent drawbacks of the naive lattice decoding for MIMO fading systems is investigated. We show that using the naive lattice decoding for MIMO systems has con...
205
click to vote
CORR
2004
Springer
15 years 7 months ago
2004
Springer
: Computational grids that couple geographically distributed resources are becoming the de-facto computing platform for solving large-scale problems in science, engineering, and co...