1738 search results - page 134 / 348 » Local Consistency and SAT-Solvers |
ATAL
2007
Springer
14 years 4 months ago
2007
Springer
We derive optimal bidding strategies for a global bidding agent that participates in multiple, simultaneous second-price auctions with perfect substitutes. We first consider a mo...
GECCO
2004
Springer
14 years 3 months ago
2004
Springer
Traditionally, the mutation rates of genetic algorithms are fixed or decrease over the generations. Although it seems to be reasonable for classical genetic algorithms, it may not...
CORR
2008
Springer
14 years 2 days ago
2008
Springer
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...
CASCON
1992
13 years 11 months ago
1992
A multidatabase system (MDBS) is a facility that allows users access to data located in multiple autonomous database management systems (DBMSs). In such a system, globaltransaction...
BMCBI
2005
13 years 10 months ago
2005
Background: We present a complete re-implementation of the segment-based approach to multiple protein alignment that contains a number of improvements compared to the previous ver...