8413 search results - page 492 / 1683 » Ordering Problem Subgoals |
177
click to vote
ICDCS
2007
IEEE
2007
IEEE
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space
16 years 1 months ago
Automated formal analysis methods such as program verification and synthesis algorithms often suffer from time complexity of their decision procedures and also high space complex...
151
click to vote
ICDM
2007
IEEE
16 years 1 months ago
2007
IEEE
Supervised learning is a classic data mining problem where one wishes to be be able to predict an output value associated with a particular input vector. We present a new twist on...
166
click to vote
WECWIS
2006
IEEE
16 years 25 days ago
2006
IEEE
We present a dynamic and distributed approach to the hospital patient scheduling problem: the multi-agent Pareto-improvement appointment exchanging algorithm, MPAEX. It respects t...
166
click to vote
ATAL
2005
Springer
16 years 11 days ago
2005
Springer
a growing need to study abstract problems in distributed multi-agent systems in a systematic way, as well as to provide a qualitative mathematical framework in which to compare po...
174
Voted
GECCO
2005
Springer
16 years 10 days ago
2005
Springer
The problem attempted in this paper is to select a sample from a large set where the sample is required to have a particular average property. The problem can be expressed as an o...