3342 search results - page 367 / 669 » Symbolic Robustness Analysis |
174
click to vote
JSAC
2008
15 years 6 months ago
2008
In this paper, we propose a new precoding algorithm for orthogonalized spatial multiplexing (OSM) systems over flatfading multiple-input multiple-output (MIMO) channels. The OSM sc...
188
click to vote
ENTCS
2007
15 years 6 months ago
2007
Narrowing was originally introduced to solve equational E-unification problems. It has also been recognized as a key mechanism to unify functional and logic programming. In both ...
181
click to vote
AI
2005
Springer
15 years 6 months ago
2005
Springer
A theoretical framework for grounding language is introduced that provides a computational path from sensing and motor action to words and speech acts. The approach combines conce...
171
click to vote
ALGORITHMICA
2005
15 years 6 months ago
2005
Abstract. We consider random tries and random patricia trees constructed from n independent strings of symbols drawn from any distribution on any discrete space. We show that many ...
175
click to vote
TCOM
2008
15 years 6 months ago
2008
Abstract--In this paper, performance of the Alamouti spacetime code (STC) [1] and performance of the concatenation between the convolutional code and the Alamouti STC are derived. ...