207 search results - page 16 / 42 » Direct manipulation of user interfaces for migration |
110
click to vote
FASE
2000
Springer
15 years 3 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...
ATAL
1997
Springer
15 years 3 months ago
1997
Springer
Tcl/Tk is an attractive language for the design of intelligent agents because it allows the quick construction of prototypes and user interfaces; new scripts can easily be bound at...
CHI
2009
ACM
16 years 9 days ago
2009
ACM
We outline strategies for actuated tangible user interfaces (TUIs) to improve the study of proteins. Current protein study tools miss fundamental biology concepts because graphica...
CHI
2006
ACM
16 years 3 days ago
2006
ACM
The PhotoArcs interface aims to enable easy and fun creation and manipulation of photo-narratives to encourage sharing and interaction. PhotoArcs leverages the benefits of existin...
ACMDIS
2000
ACM
15 years 4 months ago
2000
ACM
This paper challenges user interface paradigms for mobile devices, by using the technical classification of augmented reality interfaces as a ‘thinking tool’ to develop ideas ...