Sciweavers

2678 search results - page 152 / 536
» Comparative Evaluation of Approaches to Propositionalization
Sort
View
ICASSP
2010
IEEE
13 years 6 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
13 years 6 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»
12 years 11 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
11 years 10 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
11 years 10 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...