3690 search results - page 548 / 738 » Computation with classical sequents |
148
click to vote
ICDM
2007
IEEE
15 years 11 months ago
2007
IEEE
It is not surprising that there is strong interest in kNN queries to enable clustering, classification and outlierdetection tasks. However, previous approaches to privacypreservi...
148
click to vote
INFOCOM
2007
IEEE
15 years 11 months ago
2007
IEEE
Multiple applications that execute concurrently on heterogeneous platforms compete for CPU and network resources. In this paper we analyze the behavior of K non-cooperative schedu...
143
click to vote
ISBI
2007
IEEE
15 years 11 months ago
2007
IEEE
Recently, the 2-point correlation functions (2-pcfs) were employed in building feature vectors for histological image segmentation. The 2-pcfs serve as estimators of material dist...
144
click to vote
LICS
2007
IEEE
15 years 11 months ago
2007
IEEE
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we...
147
click to vote
ROMAN
2007
IEEE
15 years 11 months ago
2007
IEEE
—This paper proposes a novel method of learning a users preferred reward modalities for human-robot interaction through solving a cooperative training task. A learning algorithm ...