Sciweavers

2157 search results - page 232 / 432
» Binary ant algorithm
Sort
View
134
Voted
AAECC
2007
Springer
85views Algorithms» more  AAECC 2007»
16 years 18 days ago
Distribution of Trace Values and Two-Weight, Self-orthogonal Codes over GF ( p , 2)
The uniform distribution of the trace map lends itself very well to the construction of binary and non-binary codes from Galois fields and Galois rings. In this paper we study the...
N. Pinnawala, A. Rao, T. Aaron Gulliver
TACAS
2005
Springer
78views Algorithms» more  TACAS 2005»
15 years 12 months ago
Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems
Fair discrete systems (FDSs) are a computational model of concurrent programs where fairness assumptions are specified in terms of sets of states. The analysis of fair discrete sy...
Amir Pnueli, Andreas Podelski, Andrey Rybalchenko
FCCM
2004
IEEE
91views VLSI» more  FCCM 2004»
15 years 10 months ago
An FPGA Interpolation Processor for Soft-Decision Reed-Solomon Decoding
We propose a parallel architecture for implementing the interpolation step in the Koetter-Vardy soft-decision ReedSolomon decoding algorithm. The key feature is the embedding of b...
Warren J. Gross, Frank R. Kschischang, P. Glenn Gu...
COLT
2006
Springer
15 years 10 months ago
Active Sampling for Multiple Output Identification
We study functions with multiple output values, and use active sampling to identify an example for each of the possible output values. Our results for this setting include: (1) Eff...
Shai Fine, Yishay Mansour
160
Voted
CP
2008
Springer
15 years 8 months ago
Dichotomic Search Protocols for Constrained Optimization
Abstract. We devise a theoretical model for dichotomic search algorithms for constrained optimization. We show that, within our model, a certain way of choosing the breaking point ...
Meinolf Sellmann, Serdar Kadioglu