6045 search results - page 385 / 1209 » Computable Linearizations of Well-partial-orderings |
168
click to vote
DCC
2006
IEEE
16 years 7 months ago
2006
IEEE
We present a new characterization of semi-bent and bent quadratic functions on finite fields. First, we determine when a GF(2)-linear combination of Gold functions Tr(x2i +1 ) is ...
179
click to vote
BIOINFORMATICS
2006
15 years 7 months ago
2006
A small class of RNA molecules, in particular the tiny genomes of viroids, are circular. Yet most structure prediction algorithms handle only linear RNAs. The most straightforward ...
177
click to vote
DAC
2006
ACM
16 years 8 months ago
2006
ACM
In a placed circuit, there are a lot of movable cells that can be flipped to further reduce the total wirelength, without affecting the original placement solution. We aim at solv...
217
click to vote
COCO
2009
Springer
16 years 2 months ago
2009
Springer
Locally testable codes (LTCs) are error-correcting codes for which membership, in the code, of a given word can be tested by examining it in very few locations. Most known constru...
197
click to vote
ICIP
2006
IEEE
16 years 9 months ago
2006
IEEE
The autofocus problem in synthetic aperture radar (SAR) is considered, where phase errors in the acquired signal data result in imagery that is improperly focused. We present a ne...