Sciweavers

186 search results - page 16 / 38
» A framework for engineering metaphor at the user interface
Sort
View
ISMAR
2003
IEEE
14 years 1 months ago
Herding Sheep: Live System Development for Distributed Augmented Reality
In the past, architectures of Augmented Reality systems have been widely different and taylored to specific tasks. In this paper, we use the example of the SHEEP game to show how...
Asa MacWilliams, Christian Sandor, Martin Wagner, ...
FASE
2000
Springer
13 years 11 months ago
More About TAS and IsaWin - Tools for Formal Program Development
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...
Christoph Lüth, Burkhart Wolff
IUI
1998
ACM
13 years 12 months ago
Task-sensitive Cinematography Interfaces for Interactive 3D Learning Environments
Interactive3Dlearningenvironmentscanproviderichproblemsolving experiences with unparalleled visual impact. In these environments, students interactively solve problems by directin...
William H. Bares, Luke S. Zettlemoyer, Dennis W. R...
WWW
2006
ACM
14 years 8 months ago
SGSDesigner: a graphical interface for annotating and designing semantic grid services
In this paper, we describe SGSDesigner, the ODESGS Environment user interface. ODESGS Environment (the realization of the ODESGS Framework [1]) is an environment for supporting bo...
Asunción Gómez-Pérez, Rafael ...
CHI
2008
ACM
14 years 8 months ago
Sigma lenses: focus-context transitions combining space, time and translucence
Focus + context techniques such as fisheye lenses are used to navigate and manipulate objects in multi-scale worlds. They provide in-place magnification of a region without requir...
Emmanuel Pietriga, Caroline Appert