Reflecting on Design
Presentation / Conference
Varey, A. & Smyth, M. (2006, March)
Reflecting on Design. Paper presented at CONVIVIO Faculty Forum “Teaching Design for HCI”, Graz, Austria
No abstract available.
Designing Interactions: Repositioning Design in HCI
Presentation / Conference
Varey, A., Smyth, M. & Cairncross, S. (2006, March)
Designing Interactions: Repositioning Design in HCI. Paper presented at HCIEd 2006 Inventivity: Teaching theory, design and innovation in HCI, Limerick, Ireland
This paper describes three case studies which discuss different ways in which HCI and multimedia students in the School of Computing at Napier University are exposed to design...
Lessons from experience: making theorem provers more co-operative.
Conference Proceeding
Lowe, H., Cumming, A., Smyth, M., & Varey, A. (1995)
Lessons from experience: making theorem provers more co-operative. In Proceedings of the Second Workshop on User Interfaces for Theorm Provers, 67-74
We describe our experiences in trying to build a co-operative theorem proving system. Our model of co-operation is that of a user and an automaton combining forces to prove th...