118
click to vote
CSCW
2016
ACM
10 years 1 months ago
2016
ACM
Designing effective incentives is a challenge across many social computing contexts, from attracting crowdworkers to sustaining online contributions. However, one aspect of incent...
167
click to vote
CSCW
2016
ACM
10 years 1 months ago
2016
ACM
Distributed meetings can be messy, particularly when the task requires collaboration around multimedia artifacts. Teams must not only share a variety of materials related to the w...
270
click to vote
CSCW
2016
ACM
10 years 1 months ago
2016
ACM
Online communities, much like companies in the business world, often need to transfer “best practices” internally from one unit to another to improve their performance. Organi...
119
click to vote
CSCW
2016
ACM
10 years 1 months ago
2016
ACM
From amateur creativity to social media status updates, nearly every Internet user is also a content creator—but who owns that content? Policy, including intellectual property...
123
click to vote
CSCW
2016
ACM
10 years 1 months ago
2016
ACM
Face-to-face social interactions among strangers today are becoming increasingly rare as people turn towards computermediated networking tools. Today’s tools, however, are based...
120
click to vote
CSCW
2016
ACM
10 years 1 months ago
2016
ACM
Young people worldwide are participating in ever-increasing numbers in online fan communities. Far from mere shallow repositories of pop culture, these sites are accumulating sign...
CRYPTOLOGIA
2016
10 years 1 months ago
2016
The Hagelin M-209 was a mechanical encryption device used by the US Army during World War 2 and the Korean War, as well as by other armies and in embassy settings. In this paper, ...
CPP
2016
10 years 1 months ago
2016
This papers extends the Nuprl proof assistant (a system representative of the class of extensional type theories `a la Martin-L¨of) with named exceptions and handlers, as well as...
195
click to vote
CPP
2016
10 years 1 months ago
2016
In homotopy type theory, we construct the propositional truncation as a colimit, using only non-recursive higher inductive types (HITs). This is a first step towards reducing rec...