3897 search results - page 370 / 780 » complexity 2010 |
142
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
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...
186
click to vote
ICCAD
2010
IEEE
15 years 4 months ago
2010
IEEE
Craig Interpolation is a state-of-the-art technique for logic synthesis and verification, based on Boolean Satisfiability (SAT). Leveraging the efficacy of SAT algorithms, Craig In...
189
click to vote
ICDIM
2010
IEEE
15 years 4 months ago
2010
IEEE
An e-Government portal is responsible to provide news, information and services to citizens, merchants and tourists in a reliable way. Previously, we proposed a Web Monitoring Sys...
167
click to vote
ICFEM
2010
Springer
15 years 4 months ago
2010
Springer
Designing concurrent or distributed systems with complex architectures while preserving a set of high-level requirements through all design steps is not a trivial task. Building up...
164
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
Active models are widely used in applications like image segmentation and tracking. Region-based active models are known for robustness to weak edges and high computational comple...