Sciweavers

2678 search results - page 152 / 536
» Comparative Evaluation of Approaches to Propositionalization
Sort
View
ICASSP
2010
IEEE
15 years 4 months ago
Improved single-channel speech separation using sinusoidal modeling
We present a novel single-channel separation approach to improve the separation performance while recovering the signals from a mixture. The key idea in this research is to employ...
Pejman Mowlaee, Mads Græsbøll Christe...
ICWS
2010
IEEE
15 years 4 months ago
Semantic Annotations for WS-Policy
WS-Policy is a standard to express requirements and capabilities in Web service systems. Policies are based on domain-specific assertions. In this paper we present a lightweight ap...
Sebastian Speiser
SAT
2011
Springer
263views Hardware» more  SAT 2011»
14 years 9 months ago
Failed Literal Detection for QBF
Failed literal detection (FL) in SAT is a powerful approach for preprocessing. The basic idea is to assign a variable as assumption. If boolean constraint propagation (BCP) yields ...
Florian Lonsing, Armin Biere
MOBICOM
2012
ACM
13 years 9 months ago
AutoMAC: rateless wireless concurrent medium access
Current wireless network design is built on the ethos of avoiding interference. In this paper we question this long-held design principle. We show that with appropriate design, su...
Aditya Gudipati, Stephanie Pereira, Sachin Katti
PAMI
2012
13 years 9 months ago
Probabilistic Models for Inference about Identity
—Many face recognition algorithms use “distance-based” methods: Feature vectors are extracted from each face and distances in feature space are compared to determine matches....
Simon Prince, Peng Li, Yun Fu, Umar Mohammed, Jame...