2812 search results - page 258 / 563 » Secrecy in Multiagent Systems |
154
click to vote
ICALT
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper discusses issues related with learning resources brokerage systems. It introduces a market-based modeling approach and proposes a virtual market model design of a broke...
130
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
We show how it is possible to pair the NuSMV model checker with Akka, a software platform used to check validity of propositional modal formulas, to verify properties of multi-age...
156
click to vote
KES
2007
Springer
16 years 23 days ago
2007
Springer
In spatial graphs with a vast number of nodes, it is difficult to compute a solution to graph optimisation problems. We propose an approach using meta-level agents for multi-agents...
152
click to vote
ATAL
2005
Springer
16 years 5 days ago
2005
Springer
In this paper, we present an online method for POMDPs, called RTBSS (Real-Time Belief Space Search), which is based on a look-ahead search to find the best action to execute at e...
188
click to vote
ATAL
2005
Springer
16 years 5 days ago
2005
Springer
One of the key issues in designing appropriate and effective learning environments is understanding how learners advance and what factors contribute to their progress. This holds...