4100 search results - page 794 / 820 » General Linear Cameras |
ATAL
2010
Springer
15 years 27 days ago
2010
Springer
In the strategyproof classification setting, a set of labeled examples is partitioned among multiple agents. Given the reported labels, an optimal classification mechanism returns...
107
click to vote
CSL
2010
Springer
15 years 27 days ago
2010
Springer
Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints...
144
click to vote
ESA
2010
Springer
15 years 26 days ago
2010
Springer
We study the problem of estimating the average of a Lipschitz continuous function f defined over a metric space, by querying f at only a single point. More specifically, we explore...
105
click to vote
EUROPAR
2010
Springer
15 years 26 days ago
2010
Springer
Abstract. This paper is motivated by the desire to provide an efficient and scalable software cache implementation of OpenMP on multicore and manycore architectures in general, and...
121
click to vote
HPDC
2010
IEEE
15 years 26 days ago
2010
IEEE
Modern scientific collaborations have opened up the opportunity of solving complex problems that involve multidisciplinary expertise and large-scale computational experiments. The...