805 search results - page 125 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
148
click to vote
CADE
2004
Springer
16 years 3 months ago
2004
Springer
This paper presents the Dr.Doodle system, an interactive theorem prover that uses diagrammatic representations. The assumption underlying this project is that, for some domains (pr...
HAPTICS
2008
IEEE
15 years 9 months ago
2008
IEEE
Haptic icons (brief tangible stimuli with associated meanings) are a new way to convey information, but are difficult to design in large quantities due to technological and percept...
114
click to vote
ISWC
2005
IEEE
15 years 8 months ago
2005
IEEE
In this paper we report the concept and initial prototype of a device that can be used to support evidence recovery at a crime scene. The key elements are radio frequency identifi...
128
click to vote
IV
2005
IEEE
15 years 8 months ago
2005
IEEE
Lowering computational cost of data analysis and visualization techniques is an essential step towards including the user in the visualization. In this paper we present an improve...
145
click to vote
DSVIS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The ConcurTaskTrees (CTT) is one of the most widely used notations for task modeling, specifically tailored for user interface model-based design. The integration of CTT ...