4460 search results - page 286 / 892 » Formal methods for interactive systems |
165
click to vote
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
This paper introduces a new domain for believable agents (BA) and presents novel methods for dealing with the unique challenges that arise therein. The domain is providing improvi...
180
click to vote
AAAI
2004
15 years 8 months ago
2004
Since the state space of most games is a directed graph, many game-playing systems detect repeated positions with a transposition table. This approach can reduce search effort by ...
163
click to vote
WCE
2007
15 years 7 months ago
2007
—This paper presents the work carried out by CALPE team on the development of a mathematical model used in the study and simulation of the pantograph-catenarydynamic interaction ...
208
click to vote
ENGL
2007
15 years 6 months ago
2007
— This paper presents an interactive method of modelling the various kind of fluid based on Smoothed Particle Hydrodynamics (SPH) in modelling and simulating the gas flow with fr...
174
click to vote
PDCAT
2007
Springer
16 years 23 days ago
2007
Springer
A communication protocol is a fundamental component of a multi-agent system. The security requirements for a communication protocol should be articulated during the early stages o...