11949 search results - page 2353 / 2390 » Some results on (a:b)-choosability |
109
click to vote
HUC
2010
Springer
14 years 11 months ago
2010
Springer
Life-log systems have a wide range of usages from memory augmentation to health monitoring. Recent advances in pervasive devices and sensor networks enable us to create tools that...
101
click to vote
ICIP
2010
IEEE
14 years 11 months ago
2010
IEEE
Though fingerprint identification is widely used now, its imperfect performance for some high security applications, such as ATM, the access control of nuclear power stations and ...
81
Voted
ICIP
2010
IEEE
14 years 11 months ago
2010
IEEE
We present a novel approach to HDR (high-dynamic-range) image fusion that copes with image blur degradation often present in longexposed images. The proposed approach can deal wit...
129
click to vote
ICIP
2010
IEEE
14 years 11 months ago
2010
IEEE
Most approaches to learn classifiers for structured objects (e.g., images) use generative models in a classical Bayesian framework. However, state-of-the-art classifiers for vecto...
121
click to vote
ICTAC
2010
Springer
14 years 11 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...