In modern databases, complex objects like multimedia data, proteins or text objects can be modeled in a variety of representations and can be decomposed into multiple instances of ...
Stefan Brecheisen, Hans-Peter Kriegel, Matthias Sc...
This work defines an extension CERES2 of the first-order cut-elimination method CERES to the subclass of sequent calculus proofs in second-order logic using quantifier-free comp...
Stefan Hetzl, Alexander Leitsch, Daniel Weller, Br...
—The performance of 802.11-based multi-channel wireless mesh networks is affected by the interference due to neighboring nodes operating on same or adjacent channels. In this pap...
Wee Lum Tan, Konstanty Bialkowski, Marius Portmann
This paper reports on a tool for assisting students with visual disabilities in learning how to program. The tool is meant to be used by computer science majors learning the progr...
Digital games are becoming a rising trend in eLearning due to their potential educational benefits. However, their application is hindered by issues such as their high production ...
Javier Torrente, Pablo Moreno-Ger, Baltasar Fern&a...