1160 search results - page 35 / 232 » Applying Constraint Solving to the Management of Distributed... |
143
click to vote
SODA
2010
ACM
15 years 8 days ago
2010
ACM
We present an exact algorithm that decides, for every fixed r ≥ 2 in time O(m) + 2O(k2 ) whether a given multiset of m clauses of size r admits a truth assignment that satisfi...
108
click to vote
CISS
2008
IEEE
15 years 8 months ago
2008
IEEE
Motivated to design a feasible optical network architecture for the future Internet, we address the question of scheduling (wavelength assignment) in an optical network. The key ch...
117
click to vote
DSOM
2004
Springer
15 years 7 months ago
2004
Springer
In this paper, we describe an approach for automatically generating configurations for complex applications. Automated generation of system co nfigurations is required to allow lar...
122
click to vote
AAAI
2010
15 years 3 months ago
2010
We consider the task of assigning experts from a portfolio of specialists in order to solve a set of tasks. We apply a Bayesian model which combines collaborative filtering with a...
102
click to vote
CP
1995
Springer
15 years 5 months ago
1995
Springer
We present a method for finding optimal partial solutions to overconstrained instances of the Disjunctive Temporal Problems (DTP). The solutions are optimal in that they satisfy ...