3729 search results - page 490 / 746 » On Formal Modeling of Agent Computations |
173
click to vote
KESAMSTA
2010
Springer
15 years 4 months ago
2010
Springer
Trust estimation is an essential process in several multi-agent systems domains. Although it is generally accepted that trust is situational, the majority of the Computational Trus...
159
click to vote
MMAS
2010
Springer
15 years 1 months ago
2010
Springer
One of the main applications in plasma physics concerns the energy production through thermo-nuclear fusion. The controlled fusion requires the confinement of the plasma into a bo...
166
click to vote
AIIDE
2006
15 years 8 months ago
2006
Simulation is a common feature in computer entertainment. However, in computer games simulation and story are often kept distinct by interleaving interactive play and cut scenes. ...
149
click to vote
TODAES
1998
15 years 6 months ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...
172
click to vote
AAAI
2010
15 years 8 months ago
2010
It is well known that there cannot be a single "best" heuristic for optimal planning in general. One way of overcoming this is by combining admissible heuristics (e.g. b...