6939 search results - page 1077 / 1388 » Algorithm Engineering for Parallel Computation |
153
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Many evidence-based trust models require the adjustment of parameters such as aging- or exploration-factors. What the literature often does not address is the systematic...
162
Voted
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—We introduce a new data set which contains both a self-declared friendship network and self-chosen attributes from a finite list defined by the social networking site. We prop...
166
click to vote
CSR
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. How could one estimate the total number of clicks a new advertisement could potentially receive in the current market? This question, called the click volume estimation p...
134
click to vote
FOSSACS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. System L is a linear λ-calculus with numbers and an iterator, which, although imposing linearity restrictions on terms, has all the computational power of G¨odel’s Sy...
149
click to vote
FOSSACS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Logics that can reason about sets and their cardinality bounds are useful in program analysis, program verification, databases, and knowledge bases. This paper presents ...