Sciweavers

425 search results - page 48 / 85
» Zamin, an Agent Based Artificial Life Model
Sort
View
WETICE
2005
IEEE
14 years 4 months ago
Application of Lightweight Formal Methods to Software Security
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
David P. Gilliam, John D. Powell, Matt Bishop
IAT
2010
IEEE
13 years 8 months ago
An Interaction-Oriented Model of Customer Behavior for the Simulation of Supermarkets
Abstract--Since several years, great distribution firms implement more and more complex layout and shelf allocation strategies, so as to force empirical know-how to combine with Ar...
Yoann Kubera, Philippe Mathieu, Sébastien P...
GECCO
2006
Springer
185views Optimization» more  GECCO 2006»
14 years 2 months ago
Memory analysis and significance test for agent behaviours
Many agent problems in a grid world have a restricted sensory information and motor actions. The environmental conditions need dynamic processing of internal memory. In this paper...
DaeEun Kim
ICAI
2003
14 years 7 days ago
A Quantitative Model of Capabilities in Multi-Agent Systems
Reasoning about capabilities in multi-agent systems is crucial for many applications. There are two aspects of reasoning about the capabilities of an agent to achieve its goals. O...
Linli He, Thomas R. Ioerger
ATAL
2005
Springer
14 years 4 months ago
Kaa: policy-based explorations of a richer model for adjustable autonomy
Though adjustable autonomy is hardly a new topic in agent systems, there has been a general lack of consensus on terminology and basic concepts. In this paper, we describe the mul...
Jeffrey M. Bradshaw, Hyuckchul Jung, Shriniwas Kul...