898 search results - page 157 / 180 » Computational Kernels and their Application to Sequential Po... |
SAT
2009
Springer
15 years 4 months ago
2009
Springer
One of the starting points of propositional proof complexity is the seminal paper by Cook and Reckhow [6], where they defined propositional proof systems as poly-time computable f...
ICIP
2005
IEEE
15 years 11 months ago
2005
IEEE
Multiscale, i.e. scale-space image analysis is a powerful framework for many image processing tasks. A fundamental issue with such scale-space techniques is the automatic selectio...
VLSID
2002
IEEE
15 years 10 months ago
2002
IEEE
If motion estimation can choose the most suitable algorithm according to the changing characteristics of input image signals, we can get benefits, which improve quality and perfor...
79
Voted
PERCOM
2004
ACM
15 years 9 months ago
2004
ACM
Networks of small devices, such as environmental sensors, introduce a number of new challenges for traditional protocols and approaches. In particular, the extreme resource constr...
ASPDAC
2006
ACM
15 years 3 months ago
2006
ACM
- This paper presents a DSP core for multi-core media SoC, which is optimized to execute a set of signal processing tasks very efficiently. The fully-programmable core has a data-c...