2317 search results - page 234 / 464 » Model based testing for agent systems |
137
Voted
JCP
2008
15 years 3 months ago
2008
In this paper, real-time system identification of an unmanned aerial vehicle (UAV) based on multiple neural networks is presented. The UAV is a multi-input multi-output (MIMO) nonl...
148
Voted
SIBGRAPI
2000
IEEE
15 years 7 months ago
2000
IEEE
This work has as main objective to present an off-line signature verification system. It is basically divided into three parts. The first one demonstrates a pre-processing process,...
128
Voted
ENTCS
2006
15 years 3 months ago
2006
We build a realizability model for linear logic using a name-passing process calculus. The construction is based on testing semantics for processes, drawing ideas from spatial and...
107
Voted
FLAIRS
1998
15 years 4 months ago
1998
Our focus is on designing adaptable agents for highly dynamic environments. Wehave implementeda reinforcement learning architecture as the reactive componentof a twolayer control ...
127
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
This paper reports experiences and outcomes of designing and developing an agent–based, autonomous mission control system for an unmanned aerial vehicle (UAV). Most UAVs are not...