Sciweavers

426 search results - page 31 / 86
» Possibilistic Stable Model Computing
Sort
View
EPIA
2007
Springer
14 years 1 months ago
Modelling Morality with Prospective Logic
This paper shows how moral decisions can be drawn computationally by using prospective logic programs. These are employed to model moral dilemmas, as they are able to prospectively...
Luís Moniz Pereira, Ari Saptawijaya
FORMATS
2007
Springer
13 years 11 months ago
CSL Model Checking Algorithms for Infinite-State Structured Markov Chains
Jackson queueing networks (JQNs) are a very general class of queueing networks that find their application in a variety of settings. The state space of the continuous-time Markov c...
Anne Remke, Boudewijn R. Haverkort
BC
2000
113views more  BC 2000»
13 years 7 months ago
Spatial cognition and neuro-mimetic navigation: a model of hippocampal place cell activity
Abstract. A computational model of hippocampal activity during spatial cognition and navigation tasks is presented. The spatial representation in our model of the rat hippocampus i...
Angelo Arleo, Wulfram Gerstner
CORR
2010
Springer
141views Education» more  CORR 2010»
13 years 7 months ago
Termination Detection of Local Computations
Contrary to the sequential world, the processes involved in a distributed system do not necessarily know when a computation is globally finished. This paper investigates the proble...
Emmanuel Godard, Yves Métivier, Gerard Tel
GECCO
2007
Springer
168views Optimization» more  GECCO 2007»
14 years 1 months ago
Stability in the self-organized evolution of networks
The modeling and analysis of large networks of autonomous agents is an important topic with applications in many different disciplines. One way of modeling the development of such...
Thomas Jansen, Madeleine Theile