3374 search results - page 201 / 675 » Explaining Similarity of Terms |
153
click to vote
TLDI
2009
ACM
16 years 1 months ago
2009
ACM
We present a possible world semantics for a call-by-value higherorder programming language with impredicative polymorphism, general references, and recursive types. The model is o...
118
click to vote
CSCW
2010
ACM
16 years 1 months ago
2010
ACM
People who review products on the web invest considerable time and energy in what they write. So why would someone write a review that restates earlier reviews? Our work looks to ...
123
click to vote
WWW
2010
ACM
15 years 11 months ago
2010
ACM
We describe Dispute Finder, a browser extension that alerts a user when information they read online is disputed by a source that they might trust. Dispute Finder examines the tex...
141
click to vote
CHI
2010
ACM
15 years 11 months ago
2010
ACM
New forms of social affective applications are emerging, bringing with them challenges in design and evaluation. We report on one such application, conveying wellbeing for both pe...
110
click to vote
SIGCSE
2010
ACM
15 years 11 months ago
2010
ACM
This paper discusses our experience in teaching an interdisciplinary general education course called Sound Thinking that is offered jointly by our Dept. of Computer Science and De...