Sciweavers

1638 search results - page 232 / 328
» Properties of input-consuming derivations
Sort
View
ICC
2007
IEEE
135views Communications» more  ICC 2007»
15 years 4 months ago
Characterization of Mutual Information of Spatially Correlated MIMO Channels with Keyhole
— We characterize the statistical properties of the mutual information between the transmitter and the receiver of a multiple-input multiple-output (MIMO) communication system in...
Andreas Müller, Joachim Speidel
ISCAS
2007
IEEE
75views Hardware» more  ISCAS 2007»
15 years 4 months ago
State-Space Analysis of Power Complementary Analog Filters
Abstract— This paper presents a new analysis of power complementary analog filters using the state-space representation. Our analysis is based on the bounded-real Riccati equati...
Shunsuke Koshita, Masahide Abe, Masayuki Kawamata
VTC
2007
IEEE
15 years 4 months ago
Adaptive Conjugate Gradient DFEs for Wideband MIMO Systems Using Galerkin Projections
— Three new adaptive equalization algorithms for wireless systems operating over frequency selective MIMO channels are proposed. The problem of the MIMO DFE design is formulated ...
Vassilis Kekatos, Aris S. Lalos, Kostas Berberidis
DALT
2007
Springer
15 years 4 months ago
Satisfying Maintenance Goals
A rational agent derives its choice of action from its beliefs and goals. Goals can be distinguished into achievement goals and maintenance goals. The aim of this paper is to defi...
Koen V. Hindriks, M. Birna van Riemsdijk
FOSSACS
2007
Springer
15 years 4 months ago
Logical Reasoning for Higher-Order Functions with Local State
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
Nobuko Yoshida, Kohei Honda, Martin Berger