1403 search results - page 121 / 281 » On Communication in Solving Distributed Constraint Satisfact... |
101
click to vote
CP
2010
Springer
14 years 8 months ago
2010
Springer
We present a new complete multi-valued SAT solver, based on current state-of-the-art SAT technology. It features watched literal propagation and conflict driven clause learning. W...
IPCCC
2007
IEEE
15 years 4 months ago
2007
IEEE
In this paper, we study the Maximum lifetime Target Coverage problem (MTC), which is to maximize the network lifetime while guaranteeing the complete coverage of all the targets. ...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
—The problems of energy efficient sensor network configuration and local fusion of sensed data have been addressed separately in the previous works. In this paper, we propose t...
AI
2007
Springer
15 years 4 months ago
2007
Springer
When using Bayesian networks, practitioners often express constraints among variables by conditioning a common child node to induce the desired distribution. For example, an ‘or...
118
click to vote
DEBS
2011
ACM
14 years 1 months ago
2011
ACM
Many data-driven social and Web applications involve collaboration and coordination. The vision of declarative data-driven coordination (D3C), proposed in [9], is to support coord...