4106 search results - page 276 / 822 » A Computational Model for Metric Spaces |
143
click to vote
CP
2003
Springer
15 years 12 months ago
2003
Springer
Combining mutually redundant models with channelling constraints increases constraint propagation. However, the extra computation efforts of the additional variables and constraint...
158
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
We describe a technique for verifying that a hardware design correctly implements a protocol-level formal specification. Simulation steps are translated to protocol state transiti...
132
click to vote
ATAL
2004
Springer
16 years 3 days ago
2004
Springer
In multi-agent MDPs, it is generally necessary to consider the joint state space of all agents, making the size of the problem and the solution exponential in the number of agents...
190
click to vote
AROBOTS
1999
15 years 6 months ago
1999
We use reinforcement learning (RL) to compute strategies for multiagent soccer teams. RL may pro t signi cantly from world models (WMs) estimating state transition probabilities an...
158
click to vote
WSC
2008
15 years 9 months ago
2008
In this study we propose a new method for designing computer experiments inspired by the split plot designs used in physical experimentation. The basic layout is that each set of ...