4057 search results - page 444 / 812 » Linear combination of transformations |
171
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
We propose novel spatio-temporal models to estimate clickthrough rates in the context of content recommendation. We track article CTR at a fixed location over time through a dynam...
175
click to vote
VLSID
2007
IEEE
16 years 7 months ago
2007
IEEE
Crosstalk noise in the clock network of digital circuits is often detected late in the design cycle, sometimes as late as after first silicon. It is therefore necessary to fix cros...
198
click to vote
CADE
2002
Springer
16 years 7 months ago
2002
Springer
Abstract. We investigate the combination of propositional SAT checkers with domain-specific theorem provers as a foundation for bounded model checking over infinite domains. Given ...
140
Voted
PPOPP
2010
ACM
16 years 4 months ago
2010
ACM
We study the performance of three parallel algorithms and their hybrid variants for solving tridiagonal linear systems on a GPU: cyclic reduction (CR), parallel cyclic reduction (...
163
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
In this paper we propose using bin-ratio information, which is collected from the ratios between bin values of histograms, for scene and category classification. To use such info...