359 search results - page 2 / 72 » Modeling Consensus in a Process Calculus |
ICALP
2004
Springer
13 years 10 months ago
2004
Springer
We describe a simple but expressive calculus of sequential processes, represented as coroutines. We show that this calculus can be used to express a variety of programming languag...
SAC
2010
ACM
14 years 2 days ago
2010
ACM
Byzantine consensus in asynchronous message-passing systems has been shown to require at least 3f + 1 processes to be solvable in several system models (e.g., with failure detecto...
EMNLP
2009
13 years 3 months ago
2009
We propose a novel objective function for discriminatively tuning log-linear machine translation models. Our objective explicitly optimizes the BLEU score of expected n-gram count...
IPMU
2010
Springer
13 years 10 months ago
2010
Springer
Usually, in a group decision context, the importance level, confidence degree and amount of knowledge are very different among individuals. So, when all the individuals have to r...
MAGS
2008
13 years 5 months ago
2008
This paper presents approaches for building, managing, and evaluating consensus ontologies from the individual ontologies of a network of socially interacting agents. Each agent h...