5499 search results - page 876 / 1100 » Generalized Rewrite Theories |
244
click to vote
JMLR
2012
13 years 9 months ago
2012
We study the prevalent problem when a test distribution differs from the training distribution. We consider a setting where our training set consists of a small number of sample d...
249
click to vote
CL
2012
Springer
13 years 9 months ago
2012
Springer
Distributed logic programming languages, that allow both facts and programs to be distributed among different nodes in a network, have been recently proposed and used to declarati...
197
click to vote
PAMI
2012
13 years 9 months ago
2012
—In this paper, we present a comprehensive analysis of self-dual and m-idempotent operators. We refer to an operator as m-idempotent if it converges after m iterations. We focus ...
227
click to vote
KDD
2012
ACM
13 years 9 months ago
2012
ACM
In order to minimize redundancy and optimize coverage of multiple user interests, search engines and recommender systems aim to diversify their set of results. To date, these dive...
205
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. We propose a trace-based concurrent program analysis to soundly remove redundant synchronizations such as locks while preserving the behaviors of the concurrent computati...