Sciweavers

2490 search results - page 80 / 498
» The Generalized Theory of Model Preference
Sort
View
EOR
2007
90views more  EOR 2007»
15 years 4 months ago
Further results on concordance relations
The purpose of this note is to sharpen the results in Bouyssou and Pirlot (2005) giving an axiomatic characterization of concordance relations. We show how the conditions used in ...
Denis Bouyssou, Marc Pirlot
AMEC
2004
Springer
15 years 9 months ago
A Budget-Balanced, Incentive-Compatible Scheme for Social Choice
Abstract. Many practical scenarios involve solving a social choice problem: a group of self-interested agents have to agree on an outcome that best fits their combined preferences...
Boi Faltings
ENTCS
2008
79views more  ENTCS 2008»
15 years 4 months ago
Tensors of Comodels and Models for Operational Semantics
In seeking a unified study of computational effects, in particular in order to give a general operational semantics agreeing with the standard one for state, one must take account...
Gordon D. Plotkin, John Power
LPAR
2007
Springer
15 years 10 months ago
Deciding Knowledge in Security Protocols for Monoidal Equational Theories
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
Véronique Cortier, Stéphanie Delaune
CCR
2008
88views more  CCR 2008»
15 years 4 months ago
My ten favorite "practical theory" papers
As the saying goes, "In theory there is no difference between theory and practice. But, in practice, there is." Networking research has a wealth of good papers on both s...
Jennifer Rexford