940 search results - page 146 / 188 » Democratizing Computational Tools for Interaction Designers |
129
click to vote
SBP
2011
Springer
14 years 9 months ago
2011
Springer
Information visualization is a powerful tool for analyzing the dynamic nature of social communities. Using Nation of Neighbors community network as a testbed, we propose five prin...
113
click to vote
CHIMIT
2007
ACM
15 years 6 months ago
2007
ACM
End users are often cast as the weak link in computer security; they fall victim to social engineering and tend to know very little about security technology and policies. This pa...
114
click to vote
CHI
2007
ACM
16 years 2 months ago
2007
ACM
We study small distributed work groups capturing, managing, and reusing knowledge in a collaborative activity. We conceive this process as adaptation of a group to an activity and...
124
click to vote
CHI
1994
ACM
15 years 5 months ago
1994
ACM
ToolglassTM widgets are new user interface tools that can appear, as though on a transparent sheet of glass, between an application and a traditional cursor. They can be positione...
140
click to vote
CADE
2005
Springer
16 years 2 months ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...