17185 search results - page 264 / 3437 » Computational and Quantitative Studies |
165
click to vote
BIRTHDAY
1997
Springer
15 years 11 months ago
1997
Springer
This article describes a parallel and distributed machine learning approach to a basic variant of the job assignment problem. The approach is in the line of the multiagent learning...
186
click to vote
ACG
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Monte-Carlo tree search, especially the UCT algorithm and its enhancements, have become extremely popular. Because of the importance of this family of algorithms, a deepe...
178
click to vote
GI
2007
Springer
15 years 11 months ago
2007
Springer
: The decomposition of planning and scheduling problems is a well known technique to make these problems tractable. The resulting dependable subproblems were often solved using dif...
195
click to vote
AINTEC
2006
Springer
15 years 11 months ago
2006
Springer
In this paper, we will build a fault-tolerant network using a Multiple Care-of Addresses registration implementation on NEPL (NEMO Platform for Linux) for the GNU/Linux Operating S...
221
click to vote
DAC
1997
ACM
15 years 11 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...