Sciweavers

7395 search results - page 34 / 1479
» Social Modeling and i*
Sort
View
ATAL
2005
Springer
15 years 11 months ago
Enforceable social laws
In this paper we study the enforcement of social laws in artificial social systems using a control system. We define the enforceable social law problem as an extension of Tennen...
Guido Boella, Leendert W. N. van der Torre
BC
2007
98views more  BC 2007»
15 years 6 months ago
Extending the mirror neuron system model, I
The paper introduces mirror neuron system II (MNS2), a new version of the MNS model (Oztop and Arbib in Biol Cybern 87(2):116–140, 2002) of action recognition learning by mirror ...
James Bonaiuto, Edina Rosta, Michael A. Arbib
SPIN
1999
Springer
15 years 10 months ago
The Engineering of a Model Checker: The Gnu i-Protocol Case Study Revisited
In a recent study a series of model checkers, among which Spin [5], SMV [9], and a newer system called XMC [10], were compared on performance. The measurements used for this compar...
Gerard J. Holzmann
WSDM
2010
ACM
201views Data Mining» more  WSDM 2010»
16 years 3 months ago
I tag, You tag: Translating tags for advanced user models
Carsten Zimmermann, Christian Bauckhage, Robert We...
JCNS
2002
99views more  JCNS 2002»
15 years 5 months ago
Coarse-Grained Reduction and Analysis of a Network Model of Cortical Response: I. Drifting Grating Stimuli
We present a reduction of a large-scale network model of visual cortex developed by McLaughlin, Shapley, Shelley, and Wielaard. The reduction is from many integrate-and-fire neuron...
Michael Shelley, David McLaughlin