1159 search results - page 134 / 232 » On The Next Move in Programming |
91
Voted
SAT
2004
Springer
15 years 6 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...
90
Voted
ACG
2003
Springer
15 years 6 months ago
2003
Springer
Many research teams and individuals have computed endgame databases for the game of chess which use the distance-to-mate metric, enabling their software to forecast the number of m...
100
Voted
ICALP
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Consider a set of n > 2 simple autonomous mobile robots (decentralized, asynchronous, no common coordinate system, no identities, no central coordination, no direct co...
119
Voted
ICALP
2003
Springer
15 years 6 months ago
2003
Springer
We study the number of steps required to reach a pure Nash Equilibrium in a load balancing scenario where each job behaves selfishly and attempts to migrate to a machine which will...
100
click to vote
ICALP
2003
Springer
15 years 6 months ago
2003
Springer
We consider the general on-line two server problem in which at each step both servers receive a request, which is a point in a metric space. One of the servers has to be moved to i...