Sciweavers

1521 search results - page 43 / 305
» Efficient Design Validation Based on Cultural Algorithms
Sort
View
ERSA
2006
133views Hardware» more  ERSA 2006»
14 years 11 months ago
An FPGA based Co-Design Architecture for MIMO Lattice Decoders
MIMO systems have attracted great attentions because of their huge capacity. The hardware implementation of MIMO decoder becomes a challenging task as the complexity of the MIMO sy...
Cao Liang, Jing Ma, Xin-Ming Huang
ISCAS
2005
IEEE
122views Hardware» more  ISCAS 2005»
15 years 3 months ago
Towards a rigorous formulation of the space mapping technique for engineering design
—This paper deals with the Space Mapping (SM) approach to engineering design optimization. We attempt here a theoretical justification of methods that have already proven efficie...
Slawomir Koziel, John W. Bandler, Kaj Madsen
ICIP
2009
IEEE
15 years 8 months ago
On the Use of Color Appearance Modeling for Efficient Compressed-Domain Image Enhancement
In this paper we propose a compressed-domain image enhancement algorithm based on color appearance modeling. We aim at providing an efficient high-quality JPEG color image enhancem...
Maria Chatzigiorgaki, Athanassios N. Skodras
ICRA
2010
IEEE
158views Robotics» more  ICRA 2010»
14 years 7 months ago
Towards optimally efficient field estimation with threshold-based pruning in real robotic sensor networks
Abstract-- The efficiency of distributed sensor networks depends on an optimal trade-off between the usage of resources and data quality. The work in this paper addresses the probl...
Amanda Prorok, Christopher M. Cianci, Alcherio Mar...
SAC
2010
ACM
14 years 7 months ago
A machine-checked soundness proof for an efficient verification condition generator
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
Frédéric Vogels, Bart Jacobs 0002, F...