Sciweavers

2032 search results - page 63 / 407
» Encodings of the Sequence Constraint
Sort
View
GECCO
1999
Springer
126views Optimization» more  GECCO 1999»
15 years 4 months ago
Improving Genetic Algorithms by Search Space Reductions (with Applications to Flow Shop Scheduling)
Crossover operators that preserve common components can also preserve representation level constraints. Consequently, these constraints can be used to beneficially reduce the sea...
Stephen Y. Chen, Stephen F. Smith
ICIP
2003
IEEE
16 years 1 months ago
Frame rate preferences in low bit rate video
A double stimulus subjective evaluation was performed to determine preferred frame rates at a fixed bit rate for low bit rate video. Stimuli consisted of eight reference color vid...
Gayatri Yadavalli, Mark Masry, Sheila S. Hemami
DCC
2002
IEEE
15 years 4 months ago
Data Compression of Correlated Non-Binary Sources Using Punctured Turbo Codes
We consider the case of two corr elated non-binary sources. Data compression is achieved by transforming the sequences of non-binary symbols into sequences of bits and then using ...
Ying Zhao, Javier Garcia-Frias
DCC
2007
IEEE
15 years 1 days ago
Practical Binary Adaptive Block Coder
This paper describes design of a low-complexity algorithm for adaptive encoding/decoding of binary sequences produced by memoryless sources. The algorithm implements universal blo...
Yuriy A. Reznik
CAV
2008
Springer
161views Hardware» more  CAV 2008»
15 years 1 months ago
Constraint-Based Approach for Analysis of Hybrid Systems
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
Sumit Gulwani, Ashish Tiwari