340 search results - page 6 / 68 » ets 2009 |
121
click to vote
ICIP
2009
IEEE
16 years 24 days ago
2009
IEEE
We propose a new color filter array (CFA) with optimal characteristics for the acquisition of color scenes, since the luminance and chrominance information is encoded in the mosai...
133
click to vote
AAIP
2009
15 years 26 days ago
2009
We use generic programming techniques to generate well-typed lambda terms. We encode well-typed terms by generalized algebraic datatypes (GADTs) and existential types. The Spine a...
197
click to vote
CP
2009
Springer
16 years 11 days ago
2009
Springer
In this work, we improve on existing work that studied the relationship between the proof system of modern SAT solvers and general resolution. Previous contributions such as those ...
121
click to vote
ICML
2009
IEEE
16 years 17 days ago
2009
IEEE
We present an on-line learning framework tailored towards real-time learning from observed user behavior in search engines and other information retrieval systems. In particular, ...
ICDCN
2009
Springer
15 years 6 months ago
2009
Springer
Chandy et al. proposed the methodology of “self-similar algorithms” for distributed computation in dynamic environments. We further characterize the class of functions computab...