Sciweavers

3128 search results - page 487 / 626
» Finite element method
Sort
View
ICC
2007
IEEE
15 years 10 months ago
Joint Transmitter-Receiver Beamforming Over Space-Time Fading Channels
Abstract—The problem of joint transmitter and receiver beamforming in the downlink DS-CDMA over multipath fading channels is considered in this paper. The proposed investigation ...
Tingting Zhang, Athanassios Manikas
ICDCS
2007
IEEE
15 years 10 months ago
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space
Automated formal analysis methods such as program verification and synthesis algorithms often suffer from time complexity of their decision procedures and also high space complex...
Borzoo Bonakdarpour, Sandeep S. Kulkarni
ICDE
2007
IEEE
141views Database» more  ICDE 2007»
15 years 10 months ago
Self Managing Top-k (Summary, Keyword) Indexes in XML Retrieval
Retrieval queries that combine structural constraints with keyword search represent a significant challenge to XML data management systems. Queries are expected to be answered as...
Mariano P. Consens, Xin Gu, Yaron Kanza, Flavio Ri...
ICANN
2007
Springer
15 years 10 months ago
Selection of Decision Stumps in Bagging Ensembles
Abstract. This article presents a comprehensive study of different ensemble pruning techniques applied to a bagging ensemble composed of decision stumps. Six different ensemble p...
Gonzalo Martínez-Muñoz, Daniel Hern&...
HICSS
2006
IEEE
111views Biometrics» more  HICSS 2006»
15 years 10 months ago
Fundamental Ethics in Information Systems
Information systems often present virtual spaces that are sufficient to enable important human interaction. By enabling such interaction, systems designers are inherently creating...
Christopher N. Chapman