Software in general is thoroughly analyzed before it is released to its users. Business processes often are not – at least not as thoroughly as it could be – before they are r...
Jorge Saldivar, Carla Vairetti, Carlos Rodrí...
This paper describes a remarkably simple deterministic (not probabilistic) contention-management algorithm for guaranteeing the forward progress of transactions — avoiding deadl...
: We investigate the performance and the scalability metrics of the Digital Information Service framework that is for unifying and federating online digital entities. The Digital I...
Abstract. This paper introduces an evolutionary method for generating levels for adventure games, combining speed, guaranteed solvability of levels and authorial control. For this ...
We present Online Evolution, a novel method for playing turn-based multi-action adversarial games. Such games, which include most strategy games, have extremely high branching fact...
Abstract. In this paper a new estimation of distribution algorithm SimEDA is presented. This algorithm combines a multipopulation approach with distribution modelling. The proposed...
This paper describes a compositional, extensible framework for music composition and a user study to systematically evaluate its core components. These components include a graph t...
Marco Scirea, Julian Togelius, Peter W. Eklund, Se...
This paper presents first results from an interdisciplinary project, in which the fields of architecture, philosophy and artificial life are combined to explore possible futures...
Abstract. According to evolutionary game theory, cooperation in public goods games is eliminated by free-riders, yet in nature, cooperation is ubiquitous. Artificial models resolv...
This papers extends the Nuprl proof assistant (a system representative of the class of extensional type theories `a la Martin-L¨of) with named exceptions and handlers, as well as...