3379 search results - page 283 / 676 » Combinators for Interaction Nets |
141
click to vote
BCSHCI
2009
15 years 7 months ago
2009
This paper presents a system for the exploration of projected interfaces. We describe our Visible Imagination (VI) platform combining a camera, projector and torch (flashlight) al...
157
click to vote
ENTCS
2002
15 years 6 months ago
2002
We give a short description of Hybrid, a new tool for interactive theorem proving, s introduced in [4]. It provides a form of Higher Order Abstract Syntax (HOAS) combined consiste...
195
click to vote
HCI
2009
15 years 4 months ago
2009
Heuristic evaluations are an efficient low cost method for identifying usability problems in a biomedical research tool. Combining the results of these evaluations with findings fr...
182
click to vote
HCI
2009
15 years 4 months ago
2009
This research aims to propose a design management system for helping designer to make arrangement of the furniture in a film shooting studio. The main issue is that furniture has i...
178
click to vote
HCI
2009
15 years 4 months ago
2009
Quantitative models of whole body expressive movement can be developed by combining methods form biomechanics, psychology, and statistics. The purpose of this paper was to use moti...