Sciweavers

599 search results - page 2 / 120
» Tools for analyzing intelligent agent systems
Sort
View
MAGS
2008
169views more  MAGS 2008»
13 years 5 months ago
ACVisualizer: A visualization tool for APi-calculus
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...
Raheel Ahmad, Shahram Rahimi
CIMCA
2005
IEEE
13 years 11 months ago
Canonical Sequence Directed Tactics Analyzer for Computer Go Games
We present an approach used in CSDTA (Canonical Sequence Directed Tactics Analyzer) that uses canonical sequences (Joseki) in hoping to improve computer Go programs. We collect 12...
Chung-Chih Li, Hikyoo Koh
ATAL
2006
Springer
13 years 9 months ago
Automated analysis and verification of agent behavior
Comprehending and analyzing agent behavior is an arduous task due to complexities in agent systems and sophistication of agent behaviors, in addition to the common difficulties wi...
Tibor Bosse, Dung N. Lam, K. Suzanne Barber
AAAI
2008
13 years 7 months ago
Memetic Networks: Analyzing the Effects of Network Properties in Multi-Agent Performance
We explore the relationship between properties of the network defined by connected agents and the global system performance. This is achieved by means of a novel class of optimiza...
Ricardo M. Araujo, Luís C. Lamb