Sciweavers

2157 search results - page 256 / 432
» Binary ant algorithm
Sort
View
149
Voted
ESANN
2006
15 years 7 months ago
A simple idea to separate convolutive mixtures in an undetermined scenario
We consider a blind separation problem for undetermined mixtures of two BPSK signals in a multi-path fading channel. We use independence and frequency diversity of the two source s...
Maciej Pedzisz, Ali Mansour
CAV
2010
Springer
286views Hardware» more  CAV 2010»
15 years 6 months ago
ABC: An Academic Industrial-Strength Verification Tool
ABC is a public-domain system for logic synthesis and formal verification of binary logic circuits appearing in synchronous hardware designs. ABC combines scalable logic transforma...
Robert K. Brayton, Alan Mishchenko
143
Voted
DM
2010
134views more  DM 2010»
15 years 6 months ago
The discrepancy of the lex-least de Bruijn sequence
We answer the following question of R. L. Graham: What is the discrepancy of the lexicographically-least binary de Bruijn sequence? Here, "discrepancy" refers to the max...
Joshua Cooper, Christine E. Heitsch
CORR
2006
Springer
81views Education» more  CORR 2006»
15 years 6 months ago
Low density codes achieve the rate-distortion bound
Abstract: We propose a new construction for low-density source codes with multiple parameters that can be tuned to optimize the performance of the code. In addition, we introduce a...
Emin Martinian, Martin J. Wainwright
ENTCS
2007
109views more  ENTCS 2007»
15 years 6 months ago
Symbolic Model Checking for Channel-based Component Connectors
The paper reports on the foundations and experimental results with a model checker for component connectors modelled by networks of channels in the calculus Reo. The specificatio...
Sascha Klüppelholz, Christel Baier