: Serious games are defined as games with a purpose. These games serve a purpose beyond play in difference to games, whose purpose is nothing than the play activity itself. Human C...
Lars Harzem, Tobias Hartge, Carolin Hubatsch, Kevi...
The paper is devoted to fault diagnosis problems using fuzzy decision making. We investigate dynamic diagnostic systems which can be represented by symptom-fault rule bases. The m...
Oleksandr Sokolov, Michael Wagenknecht, Ulrike Goc...
There is a growing demand for automated reasoning with world knowledge. SPASS-XDB is an automated reasoning system that incorporates world knowledge from multiple external sources...
Geoff Sutcliffe, Martin Suda, Alexandra Teyssandie...
Recently, progress indicators have been proposed for long-running SQL queries in RDBMSs. Although the proposed techniques work well for a subset of SQL queries, they are prelimina...
Gang Luo, Jeffrey F. Naughton, Curt J. Ellmann, Mi...
We describe some major recent progress in exact and symbolic linear algebra. These advances concern the improvement of complexity estimates for fundamental problems such as linear...