Sciweavers

7395 search results - page 34 / 1479
» Social Modeling and i*
Sort
View
ATAL
2005
Springer
15 years 3 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»
14 years 10 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 2 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»
15 years 7 months ago
I tag, You tag: Translating tags for advanced user models
Carsten Zimmermann, Christian Bauckhage, Robert We...
JCNS
2002
99views more  JCNS 2002»
14 years 9 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