IS
2016
8 years 3 months ago
2016
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...
IS
2016
8 years 3 months ago
2016
This paper describes a remarkably simple deterministic (not probabilistic) contention-management algorithm for guaranteeing the forward progress of transactions — avoiding deadl...
IS
2016
8 years 3 months ago
2016
: 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...
EVOW
2016
Springer
8 years 3 months ago
2016
Springer
Abstract. This paper introduces an evolutionary method for generating levels for adventure games, combining speed, guaranteed solvability of levels and authorial control. For this ...
EVOW
2016
Springer
8 years 3 months ago
2016
Springer
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...
EVOW
2016
Springer
8 years 3 months ago
2016
Springer
Abstract. In this paper a new estimation of distribution algorithm SimEDA is presented. This algorithm combines a multipopulation approach with distribution modelling. The proposed...
EVOW
2016
Springer
8 years 3 months ago
2016
Springer
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...
EVOW
2016
Springer
8 years 3 months ago
2016
Springer
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...
EVOW
2016
Springer
8 years 3 months ago
2016
Springer
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...
CPP
2016
8 years 3 months ago
2016
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...