4022 search results - page 426 / 805 » Adaptive Sweeping Techniques |
226
click to vote
AAAI
2010
15 years 5 months ago
2010
Search based solvers for Quantified Boolean Formulas (QBF) have adapted the SAT solver techniques of unit propagation and clause learning to prune falsifying assignments. The tech...
199
click to vote
SECON
2008
IEEE
16 years 1 months ago
2008
IEEE
—Fast proliferation of IEEE 802.11 wireless devices has led to the emergence of High-Density (HD) Wireless Local Area Networks (WLANs), where it is challenging to improve the thr...
254
click to vote
MIR
2005
ACM
16 years 1 months ago
2005
ACM
In this paper, we will propose a novel semi-automatic annotation scheme for video semantic classification. It is well known that the large gap between high-level semantics and low...
216
click to vote
NOSSDAV
2001
Springer
16 years 41 min ago
2001
Springer
Recent advancements in video and audio codec technologies (e.g., RealVideo [18]) make multimedia streaming possible across a wide range of network conditions. With an increasing t...
208
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
We present a system for model-based source separation for use on single channel speech mixtures where the precise source characteristics are not known a priori. The sources are mo...