214 search results - page 13 / 43 » On the Formal Analysis of the Dynamics of Simulated Agent So... |
AIED
2005
Springer
14 years 1 months ago
2005
Springer
This paper discusses the extensions that we have made to Betty’s Brain teachable agent system to help students learn about dynamic processes in a river ecosystem. Students first ...
GECCO
2007
Springer
14 years 1 months ago
2007
Springer
Biologically inspired designs can improve the design of artificial agents. In this paper we explain and explore the role of directional light sensors from an Evolutionary Robotic...
IAT
2006
IEEE
14 years 1 months ago
2006
IEEE
Within many domains, among which biological and cognitive areas, multiple interacting processes occur among agents with dynamics that are hard to handle. Current approaches to ana...
ANSS
2007
IEEE
14 years 1 months ago
2007
IEEE
DEVS is a formalism to describe generic dynamic systems in a hierarchical and modular way. We present new techniques for executing DEVS and CellDEVS models in parallel and distrib...
ECAI
2004
Springer
14 years 28 days ago
2004
Springer
To enable the development of automated support for the dynamics of design processes, a challenge is to model and analyse such dynamics in a formal manner. This paper contributes a ...