Sciweavers

4714 search results - page 55 / 943
» The Complexity of Iterated Multiplication
Sort
View
AOSE
2007
Springer
16 years 10 days 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
16 years 6 days 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 11 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
15 years 7 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»
15 years 1 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