8437 search results - page 637 / 1688 » Preferences over Sets |
187
Voted
CP
2005
Springer
16 years 25 days ago
2005
Springer
Many problems of theoretical and practical interest can be formulated as Constraint Satisfaction Problems (CSPs). The general CSP is known to be NP-complete; however, distributed m...
168
click to vote
DIGRA
2005
Springer
16 years 25 days ago
2005
Springer
In huge online games where great numbers of players can be connected at the same time, social interaction is complex and conflicts become part of everyday life. There is a set of ...
199
Voted
ICLP
2005
Springer
16 years 24 days ago
2005
Springer
This paper presents experimental comparisons between declarative encodings of various computationally hard problems in both Answer Set Programming (ASP) and Constraint Logic Progra...
205
Voted
IPSN
2005
Springer
16 years 24 days ago
2005
Springer
Abstract— In this paper we present a novel sequence-based RF localization algorithm called Ecolocation. Our algorithm determines the location of unknown nodes by examining the or...
173
Voted
SAT
2004
Springer
16 years 19 days 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...