3690 search results - page 511 / 738 » Computation with classical sequents |
171
click to vote
CHI
2011
ACM
14 years 9 months ago
2011
ACM
We performed a study of Facebook users to examine how they coped with limitations of the Facebook privacy settings interface. Students graduating and joining the workforce create ...
135
click to vote
CHI
2011
ACM
14 years 9 months ago
2011
ACM
A key feature of relational database applications is managing plural relationships—one-to-many and many-to-many— between entities. However, since it is often infeasible to ado...
239
click to vote
CHI
2011
ACM
14 years 9 months ago
2011
ACM
Although science is becoming increasingly collaborative, there are remarkably few success stories of online collaborations between professional scientists that actually result in ...
147
click to vote
CHI
2011
ACM
14 years 9 months ago
2011
ACM
We lay out one strand of a continuing investigation into the development of a virtual peer to help children learn to use “school English” and “school-ratified science talk...
169
click to vote
CHI
2011
ACM
14 years 9 months ago
2011
ACM
In this paper we describe our findings from a field study that was conducted at the Vancouver Aquarium to investigate how visitors interact with a large interactive table exhibi...