Sciweavers

578 search results - page 82 / 116
» The Minimum-Entropy Set Cover Problem
Sort
View
MKWI
2008
130views Business» more  MKWI 2008»
13 years 10 months ago
A Method for Aligning Business Process Modeling and Software Requirements Engineering
: Software engineering provides a rich set of methods and tools that cover the entire engineering process. However, there still exist major problems in integrating methods that add...
Daniel Weiß, Jörg Leukel, Stefan Kirn
NIPS
2000
13 years 10 months ago
Speech Denoising and Dereverberation Using Probabilistic Models
This paper presents a unified probabilistic framework for denoising and dereverberation of speech signals. The framework transforms the denoising and dereverberation problems into...
Hagai Attias, John C. Platt, Alex Acero, Li Deng
BPM
2010
Springer
186views Business» more  BPM 2010»
13 years 10 months ago
How to Implement a Theory of Correctness in the Area of Business Processes and Services
During the previous years, we presented several results concerned with various issues related to the correctness of models for business processes and services (i. e., interorganiza...
Niels Lohmann, Karsten Wolf
DSP
2006
13 years 9 months ago
Detection of audio covert channels using statistical footprints of hidden messages
We address the problem of detecting the presence of hidden messages in audio. The detector is based on the characteristics of the denoised residuals of the audio file, which may c...
Hamza Özer, Bülent Sankur, Nasir D. Memo...
CONSTRAINTS
2007
46views more  CONSTRAINTS 2007»
13 years 9 months ago
Local-search Extraction of MUSes
SAT is probably one of the most-studied constraint satisfaction problems. In this paper, a new hybrid technique based on local search is introduced in order to approximate and ext...
Éric Grégoire, Bertrand Mazure, C&ea...