Sciweavers

215 search results - page 11 / 43
» Practical Implications of New Results in Conservation of Opt...
Sort
View
ICC
2007
IEEE
147views Communications» more  ICC 2007»
14 years 2 months ago
A New Hybrid Space-Time Block Codes and Spatial Multiplexing Scheme with Precoding
— We present a new hybrid scheme which combines space-time block codes (STBC) and spatial multiplexing (SM) to achieve both diversity and spatial multiplexing gain. We design a n...
Jong-Kyu Kim, Heunchul Lee, Inkyu Lee
EUROGP
2010
Springer
167views Optimization» more  EUROGP 2010»
13 years 9 months ago
An Analysis of Genotype-Phenotype Maps in Grammatical Evolution
We present an analysis of the genotype-phenotype map in Grammatical Evolution (GE). The standard map adopted in GE is a depth-first expansion of the non-terminal symbols during the...
David Fagan, Michael O'Neill, Edgar Galván ...
SAT
2004
Springer
97views Hardware» more  SAT 2004»
14 years 1 months ago
Using Lower-Bound Estimates in SAT-Based Pseudo-Boolean Optimization
Linear Pseudo-Boolean constraints offer a much more compact formalism to express significant boolean problems in several areas, ranging from Artificial Intelligence to Electroni...
Vasco M. Manquinho, João P. Marques Silva
ECAI
2000
Springer
14 years 25 days ago
Search Pruning Conditions for Boolean Optimization
This paper proposes new algorithms for the Binate Covering Problem (BCP), a well-known restriction of Boolean Optimization. Binate Covering finds application in many areas of Com...
Vasco M. Manquinho, João P. Marques Silva
AMAI
2000
Springer
14 years 3 days ago
On Solving Boolean Optimization with Satisfiability-Based Algorithms
This paper proposes new algorithms for the Binate Covering Problem (BCP), a well-known restriction of Boolean Optimization. Binate Covering finds application in many areas of Comp...
Vasco M. Manquinho, João P. Marques Silva