Sciweavers

5205 search results - page 284 / 1041
» Tilings and model theory
Sort
View
134
Voted
STORYTELLING
2005
Springer
15 years 6 months ago
Formal Encoding of Drama Ontology
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
Rossana Damiano, Vincenzo Lombardo, Antonio Pizzo
RP
2009
Springer
121views Control Systems» more  RP 2009»
15 years 7 months ago
Games with Opacity Condition
We describe the class of games with opacity condition, as an adequate model for security aspects of computing systems. We study their theoretical properties, relate them to reachab...
Bastien Maubert, Sophie Pinchinat
98
Voted
ACRI
2004
Springer
15 years 6 months ago
Neuropercolation: A Random Cellular Automata Approach to Spatio-temporal Neurodynamics
Abstract. We outline the basic principles of neuropercolation, a generalized percolation model motivated by the dynamical properties of the neuropil, the densely interconnected neu...
Robert Kozma, Marko Puljic, Paul Balister, B&eacut...
53
Voted
WSC
2007
15 years 3 months ago
Fortieth anniversary special panel: Landmark papers
To celebrate the fortieth anniversary of the Winter Simulation Conference, we have selected ten landmark papers from the four decades of the conference. In this article, we review...
David Goldsman, James O. Henriksen, Pierre L'Ecuye...
141
Voted
ATAL
2008
Springer
15 years 2 months ago
Transgression and Atonement
This paper presents an approach to modeling social transgressions in agent based systems. The approach is intended to be abstract enough that it may be used with many different th...
Kevin M. Knight, Deepthi Chandrasekaran, Aline Nor...