340 search results - page 6 / 68 » ets 2009 |
108
click to vote
ICIP
2009
IEEE
15 years 11 months 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...
111
Voted
AAIP
2009
14 years 11 months 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...
174
click to vote
CP
2009
Springer
15 years 10 months 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 ...
105
click to vote
ICML
2009
IEEE
15 years 11 months 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 4 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...