975 search results - page 156 / 195 » Locality Optimization for Program Instances |
CP
2007
Springer
14 years 3 months ago
2007
Springer
The techniques for making decisions, i.e., branching, play a central role in complete methods for solving structured CSP instances. In practice, there are cases when SAT solvers be...
CP
2007
Springer
14 years 3 months ago
2007
Springer
Dual Consistency (DC) is a property of Constraint Networks (CNs) which is equivalent, in its unrestricted form, to Path Consistency (PC). The principle is to perform successive sin...
ICCS
2007
Springer
14 years 3 months ago
2007
Springer
This paper discusses and compares several policies to place replicas in tree networks, subject to server capacity and QoS constraints. The client requests are known beforehand, wh...
ACSC
2006
IEEE
14 years 3 months ago
2006
IEEE
Incorporating constraints into a reactive BDI agent programming language can lead to better expressive capabilities as well as more efficient computation (in some instances). More...
SIGIR
2006
ACM
14 years 3 months ago
2006
ACM
Content-targeted advertising, the task of automatically associating ads to a Web page, constitutes a key Web monetization strategy nowadays. Further, it introduces new challenging...