Sciweavers

1594 search results - page 149 / 319
» Organizational Agent Systems for Intelligent Enterprise Mode...
Sort
View
TSMC
2010
14 years 4 months ago
An Object-Process-Based Modeling Language for Multiagent Systems
Abstract--While a number of modeling languages for constructing multiagent systems (MASs) have been suggested, none of them is widely accepted and used. A prominent reason for this...
Arnon Sturm, Dov Dori, Onn Shehory
83
Voted
ATAL
2005
Springer
15 years 3 months ago
Bounded model checking knowledge and branching time in synchronous multi-agent systems
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Che...
CIMCA
2005
IEEE
15 years 2 days 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
MMAS
2010
Springer
14 years 4 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
78
Voted
MMAS
2010
Springer
14 years 4 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