Top-down or analytical provers based on the connection tableau calculus are rather powerful, yet have notable shortcomings regarding redundancy control. A well-known and successfu...
This study experimentally manipulates common ground (the knowledge, beliefs and assumptions interlocutors mutually share [6]) and measures the effect on speakers' use of inter...
In this paper we describe a novel technique to support information seeking in oral history archives using concept maps. We conducted a pilot study with teachers engaged in work ta...
Adaptive methods are defined and experimentally studied for a two-scale edge detection process that mimics human visual perception of edges and is inspired by the parvo-cellular (...
Most existing approaches for single-channel noise reduction in the frequency domain via the short-time Fourier transform (STFT) assume that consecutive time-frames are uncorrelate...