Clipping is a necessary signal processing operation in many realtime audio applications, yet it often reduces the sound quality of the signal. The recently proposed perception-bas...
Bruno Defraene, Toon van Waterschoot, Moritz Diehl...
Our aim is to produce a tessellation of space into small voxels and, based on only a few tomographic projections of an object, assign to each voxel a label that indicates one of t...
Structural summaries are data structures that preserve all structural features of XML documents in a compact form. We investigate the applicability of the most popular summaries a...
The inverse method is a generic proof search procedure applicable to non-classical logics satisfying cut elimination and the subformula property. In this paper we describe a genera...
We report on the design and initial evaluation of two methods for short text input in wearable computing applications using hand gestures. A wireless data glove able to recognize ...