Sciweavers

4714 search results - page 55 / 943
» The Complexity of Iterated Multiplication
Sort
View
AOSE
2007
Springer
15 years 4 months ago
Extending Gaia with Agent Design and Iterative Development
Abstract. Agent-oriented methodologies are an important means for constructing agent-based systems in a controlled repeatable form. However, agent-oriented methodologies have not r...
Jorge Gonzalez-Palacios, Michael Luck
GLOBECOM
2006
IEEE
15 years 3 months ago
An Iterative MIMO-HSDPA Receiver Based On a K-Best-MAP Algorithm
— We propose an iterative receiver for horizontally encoded MIMO systems like the PARC proposal for MIMOHSDPA. Our receiver uses a K-best-MAP demodulator to provide the channel d...
Christian Mehlführer, Dominik Seethaler, Gera...
DSD
2002
IEEE
102views Hardware» more  DSD 2002»
15 years 2 months ago
Formal Verification of a DSP Chip Using an Iterative Approach
In this paper we describe a methodology for the formal verification of a DSP chip using the HOL theorem prover. We used an iterative method to specify both the behavioral and stru...
Ali Habibi, Sofiène Tahar, Adel Ghazel
NIPS
2008
14 years 11 months ago
Regularized Policy Iteration
In this paper we consider approximate policy-iteration-based reinforcement learning algorithms. In order to implement a flexible function approximation scheme we propose the use o...
Amir Massoud Farahmand, Mohammad Ghavamzadeh, Csab...
TCOM
2011
114views more  TCOM 2011»
14 years 4 months ago
Iterative Receivers Based on Subblock Processing for Phase Noise Compensation in OFDM Systems
—An iterative algorithm employing decision feedback provided by either an equalizer or a channel decoder is proposed in order to compensate for the phase noise resulting from imp...
Myung-Kyu Lee, Kyeongcheol Yang, Kyungwhoon Cheun