36 search results - page 3 / 8 » A Categorical Approach to the Extension of Social Choice Fun... |
AAAI
2007
13 years 9 months ago
2007
Over the past half decade, we have been exploring the use of logic in the specification and analysis of computational economic mechanisms. We believe that this approach has the p...
FPCA
1995
13 years 10 months ago
1995
Fold and unfold are general purpose functionals for processing and constructing lists. By using the categorical approach of modelling recursive datatypes as fixed points of funct...
INFOCOM
2010
IEEE
13 years 5 months ago
2010
IEEE
—In many scenarios network design is not enforced by a central authority, but arises from the interactions of several self-interested agents. This is the case of the Internet, wh...
FGR
2006
IEEE
14 years 1 months ago
2006
IEEE
Active appearance models (AAMs) are generative parametric models commonly used to track faces in video sequences. A limitation of AAMs is they are not robust to occlusion. A recen...
SDM
2009
SIAM
14 years 4 months ago
2009
SIAM
Discrimination in social sense (e.g., against minorities and disadvantaged groups) is the subject of many laws worldwide, and it has been extensively studied in the social and eco...