Sciweavers

619 search results - page 10 / 124
» A logical formalism for the subjective approach in a multi-a...
Sort
View
KBSE
2005
IEEE
14 years 9 days ago
Identifying traits with formal concept analysis
Traits are basically mixins or interfaces but with method bodies. In languages that support traits, classes are composed out of traits. There are two main advantages with traits. ...
Adrian Lienhard, Stéphane Ducasse, Gabriela...
ATAL
2008
Springer
13 years 8 months ago
Role-based teamwork activity recognition in observations of embodied agent actions
Recognizing team actions in the behavior of embodied agents has many practical applications and had seen significant progress in recent years. One approach with proven results is ...
Linus J. Luotsinen, Ladislau Bölöni
GECCO
2008
Springer
161views Optimization» more  GECCO 2008»
13 years 7 months ago
Neuro-evolution for a gathering and collective construction task
In this paper we apply three Neuro-Evolution (NE) methods as controller design approaches in a collective behavior task. These NE methods are Enforced Sub-Populations, MultiAgent ...
D. W. F. van Krevelen, Geoff S. Nitschke
ATAL
2005
Springer
14 years 8 days ago
Controlling teams of uninhabited air vehicles
We describe a Multi-Agent System (MAS) for controlling teams of uninhabited air vehicles (UAVs) in the context of a larger system that has been used to evaluate potential concepts...
Jeremy W. Baxter, Graham S. Horn
SACMAT
2009
ACM
14 years 1 months ago
Towards formal security analysis of GTRBAC using timed automata
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
Samrat Mondal, Shamik Sural, Vijayalakshmi Atluri