1738 search results - page 263 / 348 » Local Consistency and SAT-Solvers |
BMEI
2009
IEEE
13 years 10 months ago
2009
IEEE
Cell enumeration in peripheral blood smears and cell are widely applied in biological and pathological practice. Not every area in the smear is appropriate for enumeration due to ...
ICMCS
2010
IEEE
13 years 10 months ago
2010
IEEE
To improve upon the initial disparity estimates stemming from a local correspondence method, a subsequent refinement step is commonly employed. The performance of the stereo match...
ICMCS
2010
IEEE
13 years 10 months ago
2010
IEEE
Motion-Compensated Frame Interpolation (MCFI) is a technique used extensively for increasing the temporal frequency of a video sequence. In order to obtain a high quality interpol...
ISLPED
2010
ACM
13 years 10 months ago
2010
ACM
We have developed a system architecture, measuring and modeling techniques, and algorithms for on-line power and energy optimization and thermal management. The starting point for...
CEC
2010
IEEE
13 years 10 months ago
2010
IEEE
— In this paper, the performance of a sequential Differential Evolution (DE) enhanced by neighborhood search (SDENS) is reported on the set of benchmark functions provided for th...