13784 search results - page 407 / 2757 » On Computing Functions with Uncertainty |
192
click to vote
BIBE
2010
IEEE
15 years 1 months ago
2010
IEEE
We propose an algorithm that predicts potentially missing Gene Ontology annotations, in order to speed up the time-consuming annotation curation process. The proposed method extend...
117
click to vote
CIE
2009
Springer
16 years 1 months ago
2009
Springer
This paper is an attempt to refine Hernest’s [2] extension of Berger’s uniform quantifiers [1] to G¨odel’s functional (Dialectica) interpretation [3]. We consider the poss...
168
Voted
HUC
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. A ubiquitous wearable computing infrastructure is now firmly entrenched within organizations across the globe, yet much of its potential remains untapped. This paper desc...
205
click to vote
CTRSA
2008
Springer
15 years 8 months ago
2008
Springer
In the setting of secure multiparty computation, a set of mutually distrustful parties wish to securely compute some joint function of their private inputs. The computation should...
191
click to vote
CIE
2007
Springer
16 years 28 days ago
2007
Springer
The intuition guiding the de…nition of computation has shifted over time, a process that is re‡ected in the changing formulations of the Church-Turing thesis. The theory of co...