This article provides an overview of the first stereo audio source separation evaluation campaign, organized by the authors. Fifteen underdetermined stereo source separation algor...
We briefly give an overview of Dynamic Epistemic Logic (DEL), mainly in semantic terms. We focus on the simplest of epistemic actions in DEL, called public announcements. We also ...
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld...
Our research is aimed at a systematic investigation of phenomena in the nexus of culture, technology and learning. The basic premise of our research is that social affordances of t...
Abstract. We provide an interactive method for knowledge acquisition combining approaches from description logic and formal concept analysis. Based on present data, hypothetical ru...
—In this paper we present Moppy — an application for mobile object position prediction. Moppy is an easy to use, intuitive application with interactive graphical user interface...