1797 search results - page 133 / 360 » Real-World Graphical User Interfaces |
137
Voted
CORR
2002
Springer
15 years 3 months ago
2002
Springer
The Annotation Graph Toolkit is a collection of software supporting the development of annotation tools based on the annotation graph model. The toolkit includes application progr...
148
click to vote
FASE
2000
Springer
15 years 7 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
127
click to vote
VISSYM
2007
15 years 6 months ago
2007
With the ubiquity of typed text, the style and much of the personality of handwriting has been lost from general communication. To counter this we introduce an artistic real-time ...
111
click to vote
CHI
2009
ACM
16 years 4 months ago
2009
ACM
A common practice in work groups is to share links to interesting web pages. Moreover, passages in these web pages are often cut-and-pasted, and used in various other contexts. In...
128
click to vote
CSCW
2006
ACM
15 years 9 months ago
2006
ACM
This work seeks to strengthen interaction within a research community through a centrally-located physical device that presents online presence information in a semi-public space....