Sciweavers

5205 search results - page 284 / 1041
» Tilings and model theory
Sort
View
STORYTELLING
2005
Springer
16 years 6 days 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
163
Voted
RP
2009
Springer
121views Control Systems» more  RP 2009»
16 years 1 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
ACRI
2004
Springer
16 years 3 days 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...
WSC
2007
15 years 9 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...
213
Voted
ATAL
2008
Springer
15 years 8 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...