432 search results - page 56 / 87 » Dynamic Logic With Possible World |
ECTEL
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Virtual training systems are increasingly used for the training of complex, dynamic tasks. To give trainees the opportunity to train autonomously, intelligent agents are ...
ARC
2010
Springer
13 years 7 months ago
2010
Springer
: System identification is the art and science of building mathematical models of dynamic systems from observed input-output data. It can be seen as the interface between the real ...
CG
2002
Springer
13 years 7 months ago
2002
Springer
Speeder Reader is an interactive reading station built around two primary ideas: dynamic text (especially RSVP, that is, rapid serial visual presentation), and the interface metap...
PE
2007
Springer
13 years 7 months ago
2007
Springer
Grid computing is an emerging technology by which huge numbers of processors over the world create a global source of processing power. Their collaboration makes it possible to pe...
AAMAS
2005
Springer
14 years 1 months ago
2005
Springer
This paper presents a model for adaptive agents. The model describes the behavior of an agent as a graph of roles, in short a behavior graph. Links between roles provide conditions...