397 search results - page 31 / 80 » Lifting of divisible designs |
SAT
2004
Springer
14 years 2 months ago
2004
Springer
The Walksat local search algorithm has previously been extended to handle quantification over variables. This greatly reduces model sizes, but in order to guide greedy moves the a...
ASIACRYPT
2006
Springer
14 years 28 days ago
2006
Springer
Abstract. The complex multiplication (CM) method for genus 2 is currently the most efficient way of generating genus 2 hyperelliptic curves defined over large prime fields and suit...
TVCG
2011
13 years 4 months ago
2011
—In this paper, we propose a method designed to allow creatures to actively respond to a fluid environment. We explore various objective functions in order to determine ways to ...
TSP
2010
13 years 3 months ago
2010
This paper proposes a linear transmitter design that aims at minimizing the packet error rate (PER) using partial channel state information at the transmitter (CSIT). The design is...
BMCBI
2006
13 years 9 months ago
2006
Background: Evolutionary genomics requires management and filtering of large numbers of diverse genomic sequences for accurate analysis and inference on evolutionary processes of ...