Sciweavers

1706 search results - page 55 / 342
» A design tool for camera-based interaction
Sort
View
DSVIS
2008
Springer
15 years 5 months ago
Towards Characterizing Visualizations
The ability to characterize visualizations would bring several benefits to the design process. It would help designers to assess their designs, reuse existing designs in new contex...
Christophe Hurter, Stéphane Conversy
FASE
2000
Springer
15 years 7 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
ACMIDC
2008
15 years 6 months ago
Supporting children as they program to make physical and virtual objects interact
I develop technological tools to help communities of children creatively solve problems as they program computers. The Hook-ups project introduces computational tools that support...
Amon Millner
DSVIS
2005
Springer
15 years 6 months ago
Natural Modelling of Interactive Applications
This paper presents an approach, and the associated environment, aiming to support designers to intuitively model interactive applications. The goal is to make modelling activity m...
Fabio Paternò, Marco Volpe 0002
CHI
2009
ACM
16 years 4 months ago
Towards intelligent authoring tools for machinima creation
As user-created content increasingly becomes an ever more prominent element of modern game design, tools have been developed to aide in the creative process for several forms of d...
Brian O'Neill, Mark O. Riedl, Michael Nitsche