: This paper describes a research project aimed at developing authoring tools for the collaborative creation of soundscapes and an associated system for the storage and playback of...
This paper addresses the blind separation of noisy mixtures of independent sources. It discusses issues and techniques related to computing maximum likelihood estimates in Gaussian...
We present a spatial and temporal logic based on Duration Calculus for the specification and verification of mobile real-time systems. We demonstrate the use of the formalism and...
Abstract. Musical rhythm is considered from the point of view of geometry. The interaction between the two fields yields new insights into rhythm and music theory, as well as new ...
How hard is it to invert NP-problems? We show that all superlinearly certified inverses of NP problems are coNP-hard. To do so, we develop a novel proof technique that builds dia...
Edith Hemaspaandra, Lane A. Hemaspaandra, Harald H...