Sciweavers

470 search results - page 37 / 94
» Model generation for PRS-like agents
Sort
View
AIPS
2000
15 years 5 months ago
Challenges and Methods in Testing the Remote Agent Planner
The Remote Agent Experiment (RAX) on the Deep Space 1 (DS1) mission was the first time that an artificially intelligent agent controlled a NASA spacecraft. One of the key componen...
Benjamin D. Smith, Martin S. Feather, Nicola Musce...
GECCO
2004
Springer
212views Optimization» more  GECCO 2004»
15 years 10 months ago
An Evolutionary Autonomous Agent with Visual Cortex and Recurrent Spiking Columnar Neural Network
Spiking neural networks are computationally more powerful than conventional artificial neural networks. Although this fact should make them especially desirable for use in evoluti...
Rich Drewes, James B. Maciokas, Sushil J. Louis, P...
ECAI
2008
Springer
15 years 6 months ago
Optimal Coalition Structure Generation In Partition Function Games
1 In multi-agent systems (MAS), coalition formation is typically studied using characteristic function game (CFG) representations, where the performance of any coalition is indepen...
Tomasz P. Michalak, Andrew Dowell, Peter McBurney,...
RSP
2007
IEEE
139views Control Systems» more  RSP 2007»
15 years 10 months ago
Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
Doron Drusinsky, Man-tak Shing
GECCO
2005
Springer
120views Optimization» more  GECCO 2005»
15 years 10 months ago
Evolving visually guided agents in an ambiguous virtual world
The fundamental challenge faced by any visual system within natural environments is the ambiguity caused by the fact that light that falls on the system’s sensors conflates mult...
Ehud Schlessinger, Peter J. Bentley, R. Beau Lotto