1223 search results - page 78 / 245 » Distributed Manufacturing Scheduling Using Intelligent Agent... |
93
Voted
AAAI
2000
15 years 2 months ago
2000
In this paper, we present PQSOLVE, a distributed theorem-prover for Quantified Boolean Formulae. First, we introduce our sequential algorithm QSOLVE, which uses new heuristics and...
86
Voted
AAAI
2006
15 years 2 months ago
2006
A contract algorithm is an algorithm which is given, as part of the input, a specified amount of allowable computation time. The algorithm must then compute a solution within the ...
135
Voted
AAMAS
2011
Springer
14 years 7 months ago
2011
Springer
In this paper, we consider algorithms for distributed constraint optimisation problems (DCOPs). Using a potential game characterisation of DCOPs, we decompose six distributed DCOP...
116
Voted
AAAI
2008
15 years 2 months ago
2008
Hybrid Scheduling Problems (HSPs) contain both temporal and finite-domain variables, as well as constraints between them. A hybrid constraint over temporal and finite-domain varia...
90
Voted
AAAI
2004
15 years 2 months ago
2004
Computer systems are rapidly becoming so complex that maintaining them with human support staffs will be prohibitively expensive and inefficient. In response, visionaries have beg...