Sciweavers

481 search results - page 79 / 97
» Distributed Consensus, revisited
Sort
View
161
Voted
ECIR
2011
Springer
14 years 7 months ago
Back to the Roots: Mean-Variance Analysis of Relevance Estimations
Recently, mean-variance analysis has been proposed as a novel paradigm to model document ranking in Information Retrieval. The main merit of this approach is that it diversifies t...
Guido Zuccon, Leif Azzopardi, Keith van Rijsbergen
242
Voted
CADE
2011
Springer
14 years 3 months ago
Deciding Security for Protocols with Recursive Tests
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
Mathilde Arnaud, Véronique Cortier, St&eacu...
125
Voted
STOC
2005
ACM
130views Algorithms» more  STOC 2005»
16 years 4 months ago
From a static impossibility to an adaptive lower bound: the complexity of early deciding set agreement
Set agreement, where processors decisions constitute a set of outputs, is notoriously harder to analyze than consensus where the decisions are restricted to a single output. This ...
Eli Gafni, Rachid Guerraoui, Bastian Pochon
132
Voted
WDAG
2009
Springer
160views Algorithms» more  WDAG 2009»
15 years 8 months ago
Brief Announcement: The Minimum Failure Detector for Non-Local Tasks in Message-Passing Systems
This paper defines the basic notions of local and non-local tasks, and determines the minimum information about failures that is necessary to solve any non-local task in message-p...
Carole Delporte-Gallet, Hugues Fauconnier, Sam Tou...
143
Voted
IJCAI
1989
15 years 4 months ago
Comparing the Conceptual Systems of Experts
The knowledge to be acquired for the development of knowledge based systems is often distributed across a group of experts rather than available for elicitation from a single expe...
Brian R. Gaines, Mildred L. G. Shaw