9359 search results - page 536 / 1872 » Generalization Algorithms for Second-Order Terms |
232
click to vote
CIKM
2011
Springer
14 years 6 months ago
2011
Springer
Aggregated search is the task of integrating results from potentially multiple specialized search services, or verticals, into the Web search results. The task requires predicting...
220
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
215
click to vote
WSDM
2012
ACM
14 years 2 months ago
2012
ACM
It is well known that different types of social ties have essentially different influence between people. However, users in online social networks rarely categorize their contact...
373
click to vote
ICFP
2012
ACM
13 years 9 months ago
2012
ACM
Graphics processing units (GPUs) provide both memory bandwidth and arithmetic performance far greater than that available on CPUs but, because of their Single-Instruction-Multiple...
168
click to vote
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
In this paper, we focus on the Image Registration problem. Mathematically, this problem consists of minimizing an energy which is composed of a regularization term and a similarit...