Previous research suggests that graphical metaphor should increase the usability of visual programming languages (VPLs) by providing an instructional aid when learning to use the ...
Abstract. Walther’s estimation calculus was designed to prove the termination of functional programs, and can also be used to solve the similar problem of proving the well-founde...
The rapidly increasing availability of electronic publications containing information graphics poses some interesting challenges in terms of information access. For example, visual...
Previous work discussed a model of cognitive distance with the novel concepts of "tech bias", "velocity" and "inertia". This paper examines the human...
Christiaan A. D'H Gough, Richard Green, Mark Billi...
Representation of clinical practice guidelines in a computer-interpretable format is a critical issue for guideline development, implementation, and evaluation. We studied 11 type...
Dongwen Wang, Mor Peleg, Samson W. Tu, Aziz A. Box...