4447 search results - page 845 / 890 » Model Checking Games |
201
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
This report outlines the use of a relational representation in a Multi-Agent domain to model the behaviour of the whole system. A desired property in this systems is the ability of...
198
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Cloud computing is a paradigm that has the potential to transform and revolutionalize the next generation IT industry by making software available to end-users as a service. A clo...
224
click to vote
TEDU
2011
15 years 28 days ago
2011
Most 3D character editing tools are complex and non-intuitive. It takes lot of skill and labor from the artists to create even a draft 3D humanoid model. This paper proposes an int...
187
click to vote
TWC
2010
15 years 20 days ago
2010
In this paper, we consider the amplify-and-forward relaying transmission in the downlink of a multi-channel cellular network with one base station and multiple relay-destination pa...
220
click to vote
SIGECOM
2011
ACM
14 years 8 months ago
2011
ACM
In many settings, a group of agents must come to a joint decision on multiple issues. In practice, this is often done by voting on the issues in sequence. In this paper, we model ...