Sciweavers

2398 search results - page 158 / 480
» On modelling agent systems with Erlang
Sort
View
IJAIT
2006
136views more  IJAIT 2006»
15 years 7 months ago
Model Checking for Multiagent Systems: the Mable Language and its Applications
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
Michael Wooldridge, Marc-Philippe Huget, Michael F...
CIMCA
2005
IEEE
15 years 9 months ago
Fuzzy System Modeling with the Genetic and Differential Evolutionary Optimization
This paper compares the performance of two provably successful evolutionary optimization tools in the optimization of a Fuzzy-Rule-Base (FRB) for the three well known fuzzy modeli...
Mehmet Bodur, Adnan Acan, Talip Akyol
ATAL
2009
Springer
15 years 11 months ago
On the significance of synchroneity in emergent systems
The goal of this paper is to explore the effects of synchronization on distributed decision making processes. In particular, we examine the dynamics of a spatially distributed mul...
Adam Campbell, Annie S. Wu
MMAS
2010
Springer
15 years 1 months ago
Simplified Modelling of a Thermal Bath, with Application to a Fluid Vortex System
Based on the thermodynamic concept of a reservoir, we investigate a computational model for interaction with unresolved degrees of freedom (a thermal bath). We assume that a finite...
Svetlana Dubinkina, Jason Frank, Ben Leimkuhler
MMAS
2010
Springer
15 years 1 months ago
On the Stochastic Modeling of Rigid Body Systems with Application to Polymer Dynamics
The stochastic equations of motion for a system of interacting rigid bodies in a solvent are formulated and studied. Three-dimensional bodies of arbitrary shape, with arbitrary cou...
J. Walter, O. Gonzalez, J. H. Maddocks