3071 search results - page 552 / 615 » Explanatory Design Theory |
102
click to vote
WWW
2002
ACM
16 years 10 days ago
2002
ACM
Web services -- Web-accessible programs and devices ? are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semanti...
187
Voted
ICFP
2009
ACM
16 years 9 days ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
CHI
2009
ACM
16 years 7 days ago
2009
ACM
Ninety million Americans have inadequate health literacy, resulting in a reduced ability to read and follow directions in the healthcare environment. We describe an animated, empa...
CHI
2009
ACM
16 years 7 days ago
2009
ACM
This paper investigates the role of online resources in problem solving. We look specifically at how programmers--an exemplar form of knowledge workers--opportunistically interlea...
71
Voted
CHI
2009
ACM
16 years 7 days ago
2009
ACM
Multi-touch interfaces are becoming popular as a new input means for the various applications. In this paper, we suggest a new Korean text entry method using a multi-touch interfa...