Measuring inconsistency in knowledge bases has been recognized as an important problem in many research areas. Most of approaches proposed for measuring inconsistency are based on ...
Abstract. This paper describes some recent cognitively-based and computationally-based research on representing and reasoning about shapes. The cognitive studies are based on proto...
In this paper, we describe the computer tool Design CPN supporting editing, simulation, and state space analysis of Coloured Petri Nets. So far, approximately 40 man-years have bee...
This paper presents an empirical study on how different selections of input translation systems affect translation quality in system combination. We give empirical evidence that t...
We present the newly emerging research field of Computer Supported Collaborative Sports (CSCS). By applying innovative input and output technologies, it enables players to experien...
Volker Wulf, Eckehard F. Moritz, Christian Henneke...