947 search results - page 65 / 190 » interactions 2002 |
ENTCS
2002
13 years 9 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...
ENTCS
2002
13 years 9 months ago
2002
The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and...
CHI
2002
ACM
14 years 9 months ago
2002
ACM
Visually impaired people constantly interpret moving phenomena in the real world; they do not lack the skills to understand the meaning of what is portrayed in an animation. Howev...
HAPTICS
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper presents a study on the application of virtual fixtures as a control aid for performing telemanipulation or in the training environment. The implementation features bot...
CHI
2002
ACM
14 years 9 months ago
2002
ACM
We present an evaluation of pattern languages as tools for participatory design, based on three criteria, derived from the work of Christopher Alexander: empowering users, generat...