5158 search results - page 327 / 1032 » Generalization of the Dempster-Shafer Theory |
185
click to vote
CSFW
2009
IEEE
15 years 10 months ago
2009
IEEE
ProVerif is one of the most successful tools for cryptographic protocol analysis. However, dealing with algebraic properties of operators such as the exclusive OR (XOR) and Diffie-...
187
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
It is self-evident that in numerous Multiagent settings, selfish agents stand to benefit from cooperating by forming coalitions. Nevertheless, negotiating a stable distribution of...
161
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Coalition formation is an important capability for automated negotiation among self-interested agents. In order for coalitions to be stable, a key question that must be answered i...
166
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
The first morphological learner based upon the theory of Whole Word Morphology (Ford et al., 1997) is outlined, and preliminary evaluation results are presented. The program, Whol...
166
click to vote
JCT
1998
15 years 6 months ago
1998
The aim of this note is to point out some combinatorial applications of a lemma of Scarf, proved first in the context of game theory. The usefulness of the lemma in combinatorics...