Sciweavers

515 search results - page 57 / 103
» context 2011
Sort
View
CORR
2011
Springer
165views Education» more  CORR 2011»
13 years 6 months ago
From IF to BI: a tale of dependence and separation
We take a fresh look at the logics of informational dependence and independence of Hintikka and Sandu and V¨a¨an¨anen, and their compositional semantics due to Hodges. We show h...
Samson Abramsky, Jouko A. Väänänen
CORR
2011
Springer
177views Education» more  CORR 2011»
13 years 6 months ago
A Truthful Randomized Mechanism for Combinatorial Public Projects via Convex Optimization
In Combinatorial Public Projects, there is a set of projects that may be undertaken, and a set of selfinterested players with a stake in the set of projects chosen. A public plann...
Shaddin Dughmi
CORR
2011
Springer
167views Education» more  CORR 2011»
13 years 6 months ago
Maximum Metric Spanning Tree made Byzantine Tolerant
Self-stabilization is a versatile approach to fault-tolerance since it permits a distributed system to recover from any transient fault that arbitrarily corrupts the contents of a...
Swan Dubois, Toshimitsu Masuzawa, Sébastien...
CSCW
2011
ACM
13 years 6 months ago
Sociable killers: understanding social relationships in an online first-person shooter game
Online video games can be seen as medium for the formation and maintenance of social relationships. In this paper, we explore what social relationships mean under the context of o...
Yan Xu, Xiang Cao, Abigail Sellen, Ralf Herbrich, ...
CSCW
2011
ACM
13 years 6 months ago
Thanks and tweets: comparing two public displays
Two public display systems, with different methods of posting, were deployed over several years. One, the Thank You Board, was designed to give people an outlet specifically for p...
Sean A. Munson, Emily Rosengren, Paul Resnick