|
|
|
|  |
[2009] - Ruth Kempson and Eleni Gregoromichelaki and Matt Purver and Greg J. Mills and Andrew Gargett and Christine Howes, "How mechanistic can accounts of interaction be?" in Proceedings of the 13th SEMDIAL Workshop on the Semantics and Pragmatics of Dialogue (DiaHolmia) , 2009
[more] [BibTEX] |
|
|
|
| |
[2009] - Robin Fencott and Nick Bryan-Kinns, "Sensory Threads: Sonifying imperceptible phenomena in the Wild" in Proceedings of the 6th Sound and Music Computing Conference , 2009
[more] [BibTEX] |
|
|
|
| |
[2009] - Patrick G.T. Healey and Stuart A. Battersby, "The Interactional Geometry of a Three-way Conversation" in Proceedings of the 31st Annual Conference of the Cognitive Science Society pp. 785--790, 2009
[more] [BibTEX] |
|
|
|
| |
[2009] - Matthew Purver and Raquel Fern\'andez and Matthew Frampton and Stanley Peters, "Cascaded Lexicalised Classifiers for Second-Person Reference Resolution" in Proceedings of the 10th Annual SIGDIAL Meeting on Discourse and Dialogue (SIGDIAL 2009 Conference) pp. 306--309, September 2009
[more] [BibTEX] |
|
|
|
| |
[2009] - Matthew Purver and Christine Howes and Patrick G.T. Healey and Eleni Gregoromichelaki, "Split Utterances in Dialogue: a Corpus Study" in SigDial 2009 workshop proceedings , 2009
[more] [BibTEX] |
|
|
|
| |
[2009] - Eleni Gregoromichelaki and Yo Sato and Ruth Kempson and Andrew Gargett and Christine Howes, "Dialogue Modelling and the Remit of Core Grammar" in Proceedings of IWCS 2009 , 2009
[more] [BibTEX] |
|
|
|
| |
[2009] - Christine Howes and Patrick G.T. Healey and Gregory Mills, "A: An Experimental Investigation into ... B: ... Split Utterances" in SigDial 2009 workshop proceedings , 2009
[more] [BibTEX] |
|
|
|
| |
[2009] - C. Frauenberger, "The SuperCollider Book (in press)" in , MIT Press, chpt. SuperCollider on Windows (PsyCollider), N. Collins and S. Willson (eds), 2009
[more] [BibTEX] |
|
|
|
| |
[2008] - Tony Stockman and Oussama Metatla, "The Influence of Screen-Readers on Web Cognition" in Proceedings of the Accessible Design in the Digital World Conference ADDW'08 , 2008
[more] [BibTEX] |
|
|
|
| |
[2008] - Stuart A. Battersby and Mary Lavelle and Patrick G.T. Healey and Rosemarie McCabe, "Analysing Interaction: A comparison of 2D and 3D techniques" in Workshop on Multimodal Corpora , 2008
[more] [BibTEX] |
|
|
|
| |
[2008] - S. Camille Peres and Virginia Best and Derek Brock and
Christopher Frauenberger and Thomas Hermann and John G. Neuhoff and Louise Valgeršur Nickerson and Barbara Shinn-Cunningham and Tony Stockman, "HCI Beyond the GUI Design for Haptic, Speech, Olfactory,
and Other Nontraditional Interfaces" in , Elsevier, chpt. Auditory Interfaces, 2008
[more] [BibTEX] |
|
|
|
| |
[2008] - Ruth Kempson and Andrew Gargett and Eleni Gregoromichelaki and Christine Howes and Yo Sato, "Towards a unified account of ellipsis: syntax as time-linear building of semantic representations" in ESSLLI 2008 workshop proceedings (Hamburg) , 2008
[more] [BibTEX] |
|
|
|
| |
[2008] - Robin Fencott, "Interactive Music using Multi-Touch Cellular Automata" in (re)Actor3 the third international conference on digital live art , September 2008
[more] [BibTEX] |
|
|
|
| |
[2008] - Rimvydas Ruksenas and Paul Curzon and Jonathan Back and Ann Blandford, "Formal Modelling of Salience and Cognitive Load" in Proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems , 2008
[more] [BibTEX] |
|
|
|
| |
[2008] - Raquel Fern\'andez and Matthew Frampton and Patrick Ehlen and Matthew Purver and Stanley Peters, "Modelling and Detecting Decisions in Multi-Party Dialogue" in Proceedings of the 9th SIGdial Workshop on Discourse and Dialogue pp. 156--163, June 2008
[more] [BibTEX] |
|
|
|
| |
[2008] - Patrick Ehlen and Matthew Purver and John Niekrasz and Kari Lee and Stanley Peters, "Meeting Adjourned: Off-line Learning Interfaces for Automatic Meeting Understanding" in Proceedings of the 2008 International Conference on Intelligent User Interfaces , January 2008
[more] [BibTEX] |
|
|
|
| |
[2008] - Oussama Metatla, "Auditory Display For Individual & Collaborative Access & Manipulation of Diagrammatic Representations" in Doctoral Consortia in the 5th NordiCHI Conference , 2008
[more] [BibTEX] |
|
|
|
| |
[2008] - Oussama Metatla and Nick Bryan-Kinns and Tony Stockman, "Constructing Relational Diagrams in Audio: The Multiple Perspective Hierarchical Approach" in Proceedings of the 10th ACM Conference on Computing and Accessibility ASSETS , 2008
[more] [BibTEX] |
|
|
|
| |
[2008] - Oussama Metatla and Nick Bryan-Kinns and Tony Stockman, "Comparing Interaction Strategies for Constructing Relational Diagrams in an Audio-Only Interface" in Proceedings of the 22nd BCS HCI , 2008
[more] [BibTEX] |
|
|
|
| |
[2008] - Mike Dowman and Virginia Savova and Thomas L. Griffiths and Konrad P. K\"ording and Joshua B. Tenebaum and Matthew Purver, "A Probabilistic Model of Meetings That Combines Words and Discourse Features" in IEEE Transactions on Audio, Speech, and Language Processing vol. 16, no. 7, pp. 1238--1248, September 2008
[more] [BibTEX] |
|
|
|
| |
[2008] - M. Colman and A. Eshghi and P.G.T. Healey, "Quantifying Ellipsis in Dialogue: An index of mutual understanding" in Proceedings of SIGdial08 , 2008
[more] [BibTEX] |
|
|
|
| |
[2008] - Louise Valgeršur Nickerson and Thomas
Hermann, "Interactive Sonifcation of Grid-based Games" in Proceedings of the Audio Mostly Conference pp. 27--34, October 2008
[more] [BibTEX] |
|
|
|
| |
[2008] - Graham White, "Causality, Modality and Explanation" in Notre Dame Journal of Formal Logic vol. 49, , 2008
[more] [BibTEX] |
|
|
|
| |
[2008] - G. Castellano and R. Aylett and K. Dautenhahn and A. Paiva and P. W. McOwan and S. Ho, "Long-Term Affect Sensitive and Socially Interactive Companions" in Proceedings of the 4th International Workshop on Human-Computer Conversation , October 2008
[more] [BibTEX] |
|
|
|
| |
[2008] - G. Castellano and R. Aylett and A. Paiva and P. W. McOwan, "Affect Recognition for Interactive Companions" in Proceedings of the 1th Workshop on Affective Interaction in Natural Environments (AFFINE), ACM International Conference on Multimodal Interfaces (ICMI'08) , October 2008
[more] [BibTEX] |
|
|
|
| |
[2008] - G. Castellano and P. W. McOwan, "Movement Expressivity for Affect Sensitive Long-Term Artificial Companions" in Workshop: A Virtual Butler: Prerequisites to its Development , September 2008
[more] [BibTEX] |
|
|
|
| |
[2008] - Dominic Furniss and Ann Blandford and Paul Curzon, "Usability Work in Professional Website Design: Insights from Practitioners' Perspectives" in Maturing Usability: Quality in Software, Interaction and Value, Springer, pp. 144-167, 2008
[more] [BibTEX] |
|
|
|
| |
[2008] - Camille Perez and C. Frauenberger and T. Hermann and T. Stockman and L. V. Nickerson and John Neuhoff and Barbara Shinn-Cunningham and V. Best and Derek Brock, "HCI Beyond the GUI: The Human Factors of Non-traditional Interfaces" in , Denise E. M. Penrose, Morgan Kaufman Publishers, Elsevier, chpt. Auditory Interfaces, pp. 147--196, 2008
[more] [BibTEX] |
|
|
|
| |
[2008] - Andrew Gargett and Eleni Gregoromichelaki and Christine Howes and Yo Sato, "Dialogue-Grammar Correspondence in Dynamic Syntax" in Proceedings of LONDIAL 2008: the 12th Workshop on the Semantics and Pragmatics of Dialogue pp. 43--50, 2008
[more] [BibTEX] |
|
|
|
| |
[2008] - Alexander Gruenstein and John Niekrasz and Matthew Purver, "Meeting Structure Annotation: Annotations Collected with a General Purpose Toolkit" in Recent Trends in Discourse and Dialogue, Springer, vol. 39, pp. 247--274, 2008
[more] [BibTEX] |
|
|
|
| |
[2007] - Tony Stockman and Neil Rajgor and Oussama Metatla and Lila Harrar, "The Design of an Interactive Audio Soccer" in Proceedings of the 13th International Conference on Auditory Display , 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - Surabhi Gupta and Matthew Purver and Dan Jurafsky, "Disambiguating Between Generic and Referential ``You'' in Dialog" in Proceedings of the 45th Annual Meeting of the Association for Computational Linguistics (ACL) pp. 105--108, June 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - Surabhi Gupta and John Niekrasz and Matthew Purver and Daniel Jurafsky, "Resolving ``You'' in Multi-Party Dialog" in Proceedings of the 8th SIGdial Workshop on Discourse and Dialogue pp. 227--230, September 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - Stockman T. Rajgor N. Metatla O. and Harrar L, "THE DESIGN OF INTERACTIVE AUDIO SOCCER" in proceedings of the 2nd International Workshop on Interactive Sonification , February 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - Shahedur Rahman Nawaz Khan and Tony Stockman, "From Local Laboratory Data to Public Domain Database in Search of Indirect Association of Diseases: AJAX Based Gene Data Search Engine," in 20th IEEE International Symposium on Computer based medical Systems , 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - S. Gong & P. W. McOwan C. Shan, "Beyond Facial Expressions: Learning Human Emotion from Body Gestures" in British Machine Vision Conference pp. XXX, September 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - S. Gong & P. McOwan C. Shan, "Learning gender from human gaits and faces" in IEEE International Conference on Advanced Video and Signal based Surveillance pp. XXX, September 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - S. Gong & P. McOwan C. Shan, "Fusing gait and face cues for human gender recognition" in , 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - Ronnie Cann and Ruth Kempson and Matthew Purver, "Context and Well-formedness: the Dynamics of Ellipsis" in Research on Language and Computation vol. 5, no. 3, pp. 333--358, September 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - Rimvydas Ruksenas and Paul Curzon and Jonathan Back and Ann Blandford, "Formal Modelling of Cognitive Interpretation" in Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006 vol. 4323, pp. 123-136, 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - Rimvydas Ruksenas and Paul Curzon and Ann Blandford, "Detecting Cognitive Causes of Confidentiality Leaks" in Proceedings of the 1st International Workshop on Formal Methods for Interactive Systems vol. 183, pp. 21-38, July 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - Rimvydas Ruksenas and Paul Curzon and Ann Blandford and Jonathan Back, "Combining Human Error Verification and Timing Analysis" in Proceedings of Engineering Interactive Systems 2007: Joining Three Working Conferences IFIP WG2.7/13.4 10th Conference on Engineering Human Computer Interaction, IFIP WG 13.2 1st Conference on Human Centred Software Engineering, DSVIS - 14th Conference on Design Specification and Verification of Interactive Systems. , 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - Paul Curzon, "Serious Fun in Computer Science" in ACM SIGCSE Bulletin vol. 39, no. 3, pp. 1, September 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - Patrick Ehlen and John Niekrasz and Matthew Purver, "A Meeting Browser That Learns" in Interaction Challenges for Intelligent Assistants: Papers from the 2007 AAAI Spring Symposium , March 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - P.G.T. Healey and White G. and A. Eshghi and A. Reeves and A. Light, "Communication Spaces" in Computer Supported Co-operative Work , 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - P.G.T. Healey and N. Swoboda and I. Umata and J. King, "Graphical Language Games: Interactional constraints on representational form" in vol. 31, pp. 285--309, 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - P.G.T. Healey and C. Vogel and A Eshghi, "Group Dialects in an Online Community" in Proceedings of Decalog 2007: Proceedings of the 11th Workshop on the Semantics and Pragmatics of Dialogue pp. 122--129, 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - P.G.T. Healey and C. Peters, "The Conversational Organisation of Drawing" in PLT2007: Proceedings of the International Workshop on Pen Based Learning Technologies pp. 1470--1475, 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - P.G.T. Healey and A. Light, "When scoring doesn't matter: The aesthetics of performance in arcade games" in CoDesign vol. 3, pp. 1--6, 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - P.G.T Healey and J.B.T. Thiebaut, "Sketching Musical Compositions" in Proceedings of Cogsci 2007: 29th Annual Conference of the Cognitive Science Society pp. 1079--1084, 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - P. Curzon and R. Ruksenas and A. Blandford, "An Approach to Formal Verification of Human-Computer Interaction" in vol. 19, no. 4, pp. 513-550, 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - Oussama Metatla and Nick Bryan-Kinns and Tony Stockman, "Auditory External Representation: Exploring and Evaluating the Design and Learnability of an Auditory UML Diagram" in Proceedings of the 13th International Conference on Auditory Display , 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - O. Metatla and N. Bryan-Kinns and T. Stockman, "Using Hierarchies To Support Non-Visual Access To Relational Diagrams" in Proceedings of HCI 2007 , 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - Nickerson L. V. Stockman T. Baptiste J, "Sonifying the London Underground real-time-disruption map" in ICAD'07 Proceedings , June 26--2 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - N. Swoboda and P.G.T. Healey and G. Berrocal, "A prototype body orientation based drawing system" in PLT2007: Proceedings of the International Workshop on Pen Based Learning Technologies , 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - N. Bryan-Kinns and P.G.T. Healey, "Exploring Engagement in Creative Collaborations" in Proceedings of Creativity and Cognition pp. 223--232, 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - N. Bryan-Kinns and P. G. T. Healey, "Exploring Mutual Engagement in Creative Collaborations" in Proceedings of Creativity and Cognition 2007 , 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - N. Bryan-Kinns and P. G. T. Healey and D. Papworth and A. Vaduuva, "Cues to Mutual Knowledge" in Proceedings of ECSCW 07 , 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - Metatla O. Bryan-Kins N. and Stockman T, "Evaluating THE DESIGN AND LEARNABILITY OF AN AUDITORY UML DIAGRAM" in ICAD'07 Proceedings , June 26--2 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - Louise Valgeršur Nickerson, "Strategies for designing auditory overviews", Tech. report no. RR-07-09, 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - Louise Valgeršur Nickerson and Jean-Baptiste Thiebaut and Tony Stockman, "Sonifying the London Underground Real-time Disruption Map" in Proceedings of the 13th International Conference on Auditory Display , June 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - K. Vogt and A. Campo and C. Frauenberger and W. Plessas and G. Eckel, "Sonification of Spin Models. Listen to phase transitions in the Ising and Potts-model" in ICAD Proceedings , 25 - 29 Ju 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - Judy Wilson and Paul Curzon and Gill Whitney, "Seniors route-planning: a reality check for the design of navigation systems" in Proceedings of TRANSED 2007 - 11th International Conference on Mobility and Transport for Elderly and Disabled Persons , June 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - Jonathan Back and Ann Blandford and Paul Curzon, "Slip Errors and Cue Salience" in Proceedings of ECCE2007. Invent! Explore! European Conference on Cognitive Ergonomics 2007 The 25th Anniversary conference of the European Association of Cognitive Ergonomics (EACE) vol. 4663, , August 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - Jonathan Back and Ann Blandford and Paul Curzon, "Recognising Erroneous and Exploratory Interactions" in Human-Computer Interaction - INTERACT 2007 vol. 4663, pp. 127-140, 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - J. Sheridan and N. Bryan-Kinns and A. Bayliss, "Encouraging Witting Participation and Performance in Digital Live Art" in Proceedings of HCI 2007 , 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - J. G. Sheridan and A. Bayliss and N. Bryan-Kinns, "The interior life of iPoi: objects that entice witting transitions in performative behaviour" in vol. 3, no. 1, , 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - Harrar L. and Stockman T, "DESIGNING AUDITORY GRAPH OVERVIEWS" in ICAD'07 Proceedings pp. 306-311, June 26--2 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - H. Xiong and P. Curzon and S. Tahar and A. Blandford, "Providing a formal linkage between MDG and HOL" in vol. 30, no. 2, pp. 83-116, April 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - Graham White, "Davidson and Reiter on Actions" in Fundamenta Informatica , 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - Georgios Papatzanis and Paul Curzon and Ann Blandford, "Identifying Phenotypes and Genotypes: A Case Study Evaluating an In-car Navigation System" in Proceedings of Engineering Interactive Systems 2007: Joining Three Working Conferences IFIP WG2.7/13.4 10th Conference on Engineering Human Computer Interaction, IFIP WG 13.2 1st Conference on Human Centred Software Engineering, DSVIS - 14th Conference on Design Specification and Verification of Interactive Systems. , 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - Georgios Papatzanis and Paul Curzon and Ann Blandford, "Evaluation of Car Navigation Systems: On-Road Studies or Analytical Tools" in In Proceedings of the Interact 2007 Workshop: Technology has escaped from the zoo: studying usability in the wild , 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - Frauenberger C. Stockman T. and Bourguet M, "A Survey on Common Practice in Designing Audio in the User Interface" in Proceedings of the BCS HCI conference, volume 1 pp. 187-195, September 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - Frauenberger C. Stockman T. Bourguet M. L, "a methodological framework for auditory display design" in ICAD'07 Proceedings pp. 519-525, June 26--2 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - Dominic Furniss and Ann Blandford and Paul Curzon, "Resilience in Usability Consultancy Practice: The Case for a Positive Resonance Model" in Proceedings of the Resilience Engineering Workshop, June, 2007, Vadstena, Sweden. vol. 23, no. 5, pp. 31-35, 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - Christopher Frauenberger, "Ears ))): a methodological framework for auditory display design" in CHI '07: CHI '07 extended abstracts on Human factors in computing systems pp. 1641--1644, 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - C. Shan and S. Gong and P. W. McOwan, "Capturing Correlations Among Facial Parts for Facial Expression Analysis" in , September 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - C. Frauenberger and T. Stockman and M. L. Bourguet, "paco ad - Pattern design in the context space; a methodological framework for auditory display design" in ICAD Proceedings , 25 -- 29 J 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - C. Frauenberger and T. Stockman and M. L. Bourguet, "Patter design in the context space; A methodological framework for designing auditory display with patterns" in Proceedings of the 14th Conference on Pattern Languages of Programs , 5--8 Septe 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - C. Frauenberger and A. Campo and G. Eckel, "Analysing time series data" in ICAD Proceedings , 25 - 29 Ju 2007
[more] [BibTEX] |
|
|
|
| |
[2007] - A. Eshghi and P.G.T. Healey, "Collective States of Understanding" in Proceedings of the 8th SIGdial Workshop on Discourse and Dialogue pp. 2--9, 2007
[more] [BibTEX] |
|
|
|
| |
[2006] - Veronica Davis Perkins and Richard Butterworth and Paul Curzon and Bob Fields, "Representation of the National Memory: digitising historical photograph collections in the UK" in Performance Research Journal vol. 11, no. 4, pp. 83-116, December 2006
[more] [BibTEX] |
|
|
|
| |
[2006] - Veronica Davis Perkins and Richard Butterworth and Bob Fields and Paul Curzon, "Keeping stuff safe: using guidelines and standards for digital preservation" in The Institute of Physics and University of the Arts London Third International Conference on: Preservation and Conservation Issues Related to Digital Printing and Digital Photography pp. 40-43, April 2006
[more] [BibTEX] |
|
|
|
| |
[2006] - Stockman T. Nickerson L. Frauenberger C. Edwards D. and Brock D., "ICAD06 Proceedings" in ICAD06 Proceedings , June 20--2 2006
[more] [BibTEX] |
|
|
|
| |
[2006] - S. Nabavian and N. Bryan-Kinns, "Analysing Group Creativity: A Distributed Cognitive Study of Joint Music Composition" in Proc. of Cognitive Science pp. 1856-1861, 2006
[more] [BibTEX] |
|
|
|
| |
[2006] - S. Gong & P. W. McOwan C. Shan, "Dynamic Facial Expression Recognition Using A Bayesian Temporal Manifold Model" in vol. 1, pp. 297-306, September 2006
[more] [BibTEX] |
|
|
|
| |
[2006] - S. Gong & P. W. McOwan C. Shan, "A Comprehensive Empirical Study on Linear Subspace Methods for Facial Expression Analysis" in IEEE CVPR workshop on Vision for Human-Computer Interaction (V4HCI) pp. 153-158, June 2006
[more] [BibTEX] |
|
|
|
| |
[2006] - Ruth Kempson and Ronnie Cann and Matthew Purver, "Grammar Formalisms and Explanations of Dialogue" in Proceedings of the International Conference on Linguistic Evidence: Empirical, Theoretical and Computational Perspectives , February 2006
[more] [BibTEX] |
|
|
|
| |
[2006] - R. Mizouni and S. Tahar and P. Curzon, "Hybrid Verification Integrating HOL Theorem Proving with MDG Model Checking" in vol. 37, no. 11, pp. 1200-1207, November 2006
[more] [BibTEX] |
|
|
|
| |
[2006] - Paul Curzon and Peter McOwan and Ed Burton and Matt Gould, "Engaging with Computer Science through Play and Performance" in Designing the Not-Quite-Yet: Ideas and Methods for Engaging the Public in a Digital Future of their Choice , September 2006
[more] [BibTEX] |
|
|
|
| |
[2006] - Patrick G.T. Healey, "Drawing Things Together: Integrating Modalities and Co-ordinating Understanding" in . Sixth IEEE International Conference on Advanced Learning Technologies (ICALT'06) pp. 1200-1201, 2006
[more] [BibTEX] |
|
|
|
| |
[2006] - Patrick Ehlen and St\'ephane Laidebeure and John Niekrasz and Matthew Purver and John Dowding and Stanley Peters, "Browsing Meetings: Automatic Understanding, Presentation and Feedback for Multi-Party Conversations (Demo)" in Proceedings of the 10th Workshop on the Semantics and Pragmatics of Dialogue (brandial'06) pp. 173--174, September 2006
[more] [BibTEX] |
|
|
|
| |
[2006] - P.G.T. Healey and G. Mills, "Participation, Precedence and Co-ordination in Dialogue" in Proceedings of the 28th Annual Conference of the Cognitive Science Society pp. 1470--1475, 2006
[more] [BibTEX] |
|
|
|
| |
[2006] - Oussama Metatla and Nick Bryan-Kinns and Tony Stockman, "Diagrams as Sonified Trees: The Design and Implementation of Auditory UML" in Volume 2 of the Proceedings of the 1st Workshop on Haptic and Audio Interaction Design , 2006
[more] [BibTEX] |
|
|
|
| |
[2006] - N. Bryan-Kinns and P. G. T. Healey, "Decay in Collaborative Music Making" in Proceedings of NIME 2006 , 2006
[more] [BibTEX] |
|
|
|
| |
[2006] - Metatla O. Bryan-Kins N. Stockman T, "Diagrams as Sonified Trees: The Design andImplementation ofAuditory UML" in proceedings of the 1st International Workshop on Sound and Haptics , August 2006
[more] [BibTEX] |
|
|
|
| |
[2006] - Metatla O. Bryan-Kins N. Stockman T, "A Model for Structuring UML Class Diagrams to Support Non-Visual Interpretation and Navigation" in Proceedings of the BCS HCI conference, volume 2 , September 2006
[more] [BibTEX] |
|
|
|
| |
[2006] - K. Anderson & P.W. McOwan, "A real-time automated system for the recognition of human facial expressions" in IEEE Transactions on Systems, Man and Cybernetics, Part B vol. 36, no. 1, pp. 96-105, 2006
[more] [BibTEX] |
|
|
|
| |
[2006] - Judy Wilson and Paul Curzon, "Older People's Experiences Route-planning" in Volume 2 Proceedings of the British Computer Society Annual Conference on Human Computer Interaction: HCI 2006. Engage , September 2006
[more] [BibTEX] |
|
|
|
| |
[2006] - Jainaba Jagne and Serengul Smith and Paul Curzon and Bob Fields, "Integrating social and cultural variances into international eCommerce interface design" in Volume 2 Proceedings of the British Computer Society Annual Conference on Human Computer Interaction: HCI 2006. Engage , 2006
[more] [BibTEX] |
|
|
|
| |
[2006] - J. Sherdian and A. Bayliss and N. Bryan-Kinns, "iPoi: acceleration as a medium for digital live art." in Proceedings of UbiComp 2006 , 2006
[more] [BibTEX] |
|
|
|
| |
[2006] - J. Back and W.L. Cheng and R. Dann and P. Curzon and A. Blandford, "Does being motivated to avoid procedural errors influence their systemacity?" in People and Computers XX Engage. Proceedings of HCI 2006 pp. 151-157, 2006
[more] [BibTEX] |
|
|
|
| |
[2006] - G. Mills and P.G.T. Healey, "Clarifying spatial descriptions: Local and glogal effects on semantic co-ordination" in Proceedings of Brandial06 The 10th Workshop on the Semantics and Pragmatics of Dialogue pp. 122--129, 2006
[more] [BibTEX] |
|
|
|
| |
[2006] - Frauenberger C. and Stockman T. ., "Patterns in auditory menu design" in ICAD06 Proceedings , June 20--2 2006
[more] [BibTEX] |
|
|
|
| |
[2006] - Fields B. Stockman T. Nickerson L. Healey P. ., "Proceedings of the BCS HCI conference, volume 2" in Proceedings of the BCS HCI conference, volume 2 , September 2006
[more] [BibTEX] |
|
|
|
| |
[2006] - C. Frauenberger, "Sonifikation: St\"arken, Schw\"achen und Anwendungen. Kritik zum Artikel von C. Day\'e, M. Egger de Campo und A. de Campo." in Angewandte Sozialforschung vol. 24, no. 1 / 2, pp. 56--60, 2006
[more] [BibTEX] |
|
|
|
| |
[2006] - C. Frauenberger, "Sonambiente Catalog" in , Kehrer Verlag Heidelberg, chpt. Sonifikation und Auditory Display, pp. 366--374, 2006
[more] [BibTEX] |
|
|
|
| |
[2006] - A. de Campo and C. Day\'e and C. Frauenberger and K. Vogt and A. Wallisch and G. Eckel, "Sonification as an interdiscplinary working process" in Proceedings ICAD06 pp. 28--35, 2006
[more] [BibTEX] |
|
|
|
| |
[2006] - A. Light, "Transports of Delight?: What the experience of receiving (mobile) phone calls can tell us about design" in , 2006
[more] [BibTEX] |
|
|
|
| |
[2006] - A. Light, "Adding Method to Meaning: a technique for exploring peoples' experience with digital products' in special issue on 'User Experience" in Behaviour & Information Technology vol. 25, no. 2, , 2006
[more] [BibTEX] |
|
|
|
| |
[2006] - A. Blandford and J. Back and P. Curzon and S. Li and R. Ruksenas, "Reasoning about human error by modeling cognition and interaction" in Proceedings of the Resilience Engineering Symposium pp. 36-43, 2006
[more] [BibTEX] |
|
|
|
| |
[2005] - Veronica Davis Perkins and Richard Butterworth and Paul Curzon and Bob Fields, "A study into the effect of digitisation projects on the management and stability of historic photograph collections" in Proceedings of the European Conference on Research and Advanced Technology for Digital Libraries (ECDL 2005) vol. 3652, pp. 278-289, 2005
[more] [BibTEX] |
|
|
|
| |
[2005] - Tony Stockman and Louise Valgeršur Nickerson and
Greg Hund, "Auditory Graphs: A Summary of Current Experience and Towards
a Research Agenda" in rst International Symposium on Auditory Graphs , 2005
[more] [BibTEX] |
|
|
|
| |
[2005] - Stockman T. Nickerson L. V. Hind G., "AUDITORY GRAPHS: A SUMMARY OF CURRENT EXPERIENCE AND TOWARDS A RESEARCH AGENDA," in ICAD05 Proceedings , July 6--9 2005
[more] [BibTEX] |
|
|
|
| |
[2005] - Stockman T. Frauenberger C. Hind G., "INTERACTIVE SONIFICATION OF SPREADSHEETS" in ICAD05 Proceedings pp. 134-139, July 6--9 2005
[more] [BibTEX] |
|
|
|
| |
[2005] - S. Gong & P. W. McOwan C. Shan, "Robust Facial Expression Recognition Using Local Binary Patterns" in vol. 2, pp. 370-373, September 2005
[more] [BibTEX] |
|
|
|
| |
[2005] - S. Gong & P. W. McOwan C. Shan, "Recognizing Facial Expressions at Low Resolution" in IEEE International Conference on Advanced Video and Signal-Based Surveillance (AVSS) pp. 330-335, September 2005
[more] [BibTEX] |
|
|
|
| |
[2005] - S. Gong & P. W. McOwan C. Shan, "Recognising facial expression at low resolution" in IEEE International Conference on Advanced Video and Signal based Surveillance , September 2005
[more] [BibTEX] |
|
|
|
| |
[2005] - S. Gong & P. W. McOwan C. Shan, "Conditional Mutual Information Based Boosting for Facial Expression Recognition" in British Machine Vision Conference vol. 1, pp. 399-408, September 2005
[more] [BibTEX] |
|
|
|
| |
[2005] - S. Gong & P. W. McOwan C. Shan, "Appearance Manifold of Facial Expression" in Computer Vision in Human-Computer Interaction, Springer, vol. 3723, pp. 221-230, 2005
[more] [BibTEX] |
|
|
|
| |
[2005] - P.G.T. Healey and M. Colman and M. Thirlwell, "Analysing Multi-Modal Communication: Repair-Based Measures of Human Communicative Co-ordination" in Natural, Intelligent and Effective Interaction in Multimodal Dialogue Systems, Dordrecht: Kluwer Academic, 2005
[more] [BibTEX] |
|
|
|
| |
[2005] - P. Curzon and J. Wilson and G. Whitney, "Successful strategies of older people for finding information" in Interacting with Computers: Special issue on HCI and the Older Population vol. 17, no. 6, pp. 660-671, December 2005
[more] [BibTEX] |
|
|
|
| |
[2005] - N. Bryan-Kinns and P. Healey and A. Brooker and J. Leach and M. Thirlwell, "Explorations of Mutual Engagement" in (Submitted to) ACM TOCHI , 2005
[more] [BibTEX] |
|
|
|
| |
[2005] - N. Bryan-Kinns and G. Kazai and M. Lalmas and A. Pearmain and V. Hubler, "Personalised Enriched Broadcast Experience: From design to evaluation" in (Submitted to) IEEE Broadcast , 2005
[more] [BibTEX] |
|
|
|
| |
[2005] - M. Verma and P.W. McOwan, "An adaptive methodology for synthesising Mobile Phone Games using Genetic Algorithms" in IEEE Congress on Evolutionary Computation , September 2005
[more] [BibTEX] |
|
|
|
| |
[2005] - Lawrence Cavedon and Matthew Purver and Florin Ratiu, "Combining Confidence Scores with Contextual Features for Robust Multi-Device Dialogue" in Proceedings of the 3rd ALTA Australasian Language Technology Workshop , December 2005
[more] [BibTEX] |
|
|
|
| |
[2005] - Jainaba Jagne and Serengul Smith-Atatkan and Elke Duncker and Paul Curzon, "Cross-Cultural Factors of Physical-Shopping and eShopping" in Proceedings of the Eleventh International Conference on Human Computer Interaction , 2005
[more] [BibTEX] |
|
|
|
| |
[2005] - Graham White, "Reasoning about Action: Ray Reiter meets Fibred Categories", Tech. report no. RR-05-12, 2005
[more] [BibTEX] |
|
|
|
| |
[2005] - Frauenberger C. Putz V. oldrich R. Stockman T., "AN AUDITORY 3D FILE MANAGER DESIGNED FROM INTERACTION PATTERNS" in DAFx05 Proceedings , September 2005
[more] [BibTEX] |
|
|
|
| |
[2005] - C. Frauenberger and V. Putz and R. H\"oldrich and T. Stockman, "Mode Independent Interaction Pattern Design" in Proceedings of the Ninth International Conference on Information Visualisation (IV'05)-Volume 00 , 2005
[more] [BibTEX] |
|
|
|
| |
[2005] - C. Frauenberger and V. Putz and R. H\"oldrich and T. Stockman, "An Auditory3D File Manager designed from Interaction Patterns" in DAFx04 Proceedings , 20--22 Sep 2005
[more] [BibTEX] |
|
|
|
| |
[2005] - C. Frauenberger and T. Stockman, "Design Patterns for Auditory Displays" in People and Computers XIX --- The Bigger Picture, Proceedings of HCI 2005 vol. British Computer Society, pp. 473--488, 5--9 Septe 2005
[more] [BibTEX] |
|
|
|
| |
[2005] - C. Frauenberger and T. Stockman and V. Putz and R. H\"oldrich, "Interaction Patterns for Auditory User Interfaces" in ICAD Proceedings pp. 154--160, July 6--9 2005
[more] [BibTEX] |
|
|
|
| |
[2005] - Alexander Gruenstein and John Niekrasz and Matthew Purver, "Meeting Structure Annotation: Data and Tools" in Proceedings of the 6th SIGdial Workshop on Discourse and Dialogue pp. 117--127, September 2005
[more] [BibTEX] |
|
|
|
| |
[2004] - Stockman T., "THE DESIGN AND EVALUATION OF AUDITORY ACCESS TO SPREADSHEETS" in ICAD04 Proceedings , July 6--9 2004
[more] [BibTEX] |
|
|
|
| |
[2004] - S Khan N. and A.G. Stockman, "A Framework for Molecular Biology Database Integration Using Context Graph'" in 17th IEEE International Symposium on Computer based medical Systems , 2004
[more] [BibTEX] |
|
|
|
| |
[2004] - Raquel Fern\'andez and Matthew Purver, "Information State Update: Semantics or Pragmatics?" in Proceedings of the 8th Workshop on the Semantics and Pragmatics of Dialogue (Catalog) pp. 20--27, July 2004
[more] [BibTEX] |
|
|
|
| |
[2004] - R. Mizouni and S. Tahar and P. Curzon, "A Hybrid Tool Integrating HOL Theorem Proving with MDG Model Checking" in Proceedings of the 16th IEEE International Conference on Microelectronics, Tunisia , December 2004
[more] [BibTEX] |
|
|
|
| |
[2004] - Paul Curzon and Suzette Keith and Gill Whitney and Judy Wilson, "Strategies for finding government information by older people", Tech. report no. IDC-TR-2004-009, 2004
[more] [BibTEX] |
|
|
|
| |
[2004] - Patrick Healey, "Dialogue in the degenerate case?" in Behavioral and Brain Sciences vol. 7, no. 2, , 2004
[more] [BibTEX] |
|
|
|
| |
[2004] - P.G.T. Healey and J. King and N. Swoboda, "Coordinating conventions in graphical dialogue: Effects of Repetition and Interaction" in Diagrammatic Representation and Inference: Proceedings of the 3rd International Conference, Diagrams 2004 pp. 286--300, 2004
[more] [BibTEX] |
|
|
|
| |
[2004] - P. W. McOwan and E. J. Burton, "Sodarace Adventures in Artificial Life" in Artificial Life Models in Software, Springer Verlag, pp. 97-111, 2004
[more] [BibTEX] |
|
|
|
| |
[2004] - P. Curzon and S. Keith and G. Whitney and J. Wilson, "Information Seeking Strategies used by older people" in HCI and the older population, workshop at HCI2004, Design for Life: The 18th British HCI Group Annual conference , 2004
[more] [BibTEX] |
|
|
|
| |
[2004] - P. Curzon and A. Blandford, "Formally Justifying User-centred Design Rules: a Case Study on Post-completion Errors" in Proc. of the 4th International Conference on Integrated Formal Methods vol. 2999, pp. 461-480, 2004
[more] [BibTEX] |
|
|
|
| |
[2004] - N. Bryan-Kinns, "Mobile group music improvisation" in Proceedings of International Engagability and Design (IDEC) , July 2004
[more] [BibTEX] |
|
|
|
| |
[2004] - N. Bryan-Kinns, "Daisyphone: The Design and Impact of a Novel Environment for Remote Group Music Improvisation" in Proceedings of Designing Interactive Systems (DIS 2004) pp. 135-144, August 2004
[more] [BibTEX] |
|
|
|
| |
[2004] - N. Bryan-Kinns, "Computers in Support of Musical Expression" in (Submitted to) ACM Computing Surveys , 2004
[more] [BibTEX] |
|
|
|
| |
[2004] - N. Bryan-Kinns and P. G. T. Healey, "Daisyphone: Support for Remote Music Collaboration" in Proceedings of International Conference on New Interfaces for Musical Expression (NIME 04) pp. 27-30, June 2004
[more] [BibTEX] |
|
|
|
| |
[2004] - K. W. J. Anderson and P. W. McOwan, "Changing Faces: The Science of
Facial Expression" in As others see us; selected essays on human communications, Peter Francis Publishers, pp. 21-35, 2004
[more] [BibTEX] |
|
|
|
| |
[2004] - K. Anderson & P.W. McOwan, "Robust Real-Time Face Tracker for Cluttered Environments" in vol. 95, no. 2, pp. 184-200, 2004
[more] [BibTEX] |
|
|
|
| |
[2004] - Jainaba Jagne and Serengul Guven Smith and Elke Duncker and Paul Curzon, "Cross-cultural Interface Design Strategy", Tech. report no. IDC-TR-2004-006, 2004
[more] [BibTEX] |
|
|
|
| |
[2004] - G. White, "The Philosophy of Programming Languages" in The Blackwell Guide to the Philosophy of Computing and Information, Blackwell, pp. 237-247, 2004
[more] [BibTEX] |
|
|
|
| |
[2004] - G. Graham White, "Essay Review of D.M.\ Gabbay and F.\ Guenther (eds), \emphHandbook of Philosophical Logic, 2nd edn, vol 9, Dordrecht, Boston, London: Kluwer 2002" in History and Philosophy of Logic vol. 25, pp. 147--152, May 2004
[more] [BibTEX] |
|
|
|
| |
[2004] - Christopher Frauenberger and Winfried Ritsch, "Internet Archive of Electronic Music IAEM - internet Audio Rendering System iARS." in CMMR vol. 3310, pp. 130-138, 2004
[more] [BibTEX] |
|
|
|
| |
[2004] - C. Frauenberger and V. Putz and R. H\"oldrich, "Spatial Auditory Displays - A study on the use of virtual audio environments as interfaces for users with visual disabilities" in DAFx04 Proceedings , October 5- 2004
[more] [BibTEX] |
|
|
|
| |
[2004] - C. Frauenberger and R. H\"oldrich and A. de Campo, "A Generic, Semantically Based Design Approach for Spatial Auditory Computer Displays" in ICAD Proceedings , July 6--9 2004
[more] [BibTEX] |
|
|
|
| |
[2004] - A. Light, "Designing to Persuade: the Use of Emotion in Networked Media" in vol. 16, , 2004
[more] [BibTEX] |
|
|
|
| |
[2004] - A. Blandford and R. Butterworth and P. Curzon, "Models of Interactive systems: a case study on programmable user modelling" in vol. 60, no. 2, pp. 149-284, 2004
[more] [BibTEX] |
|
|
|
| |
[2003] - S. Kort and S. Tahar and P. Curzon, "Hierarchical Formal Verification Using a Hybrid Tool" in vol. 4, no. 3, pp. 1-10, May 2003
[more] [BibTEX] |
|
|
|
| |
[2003] - R. Mizouni and S. Tahar and P. Curzon, "On the Embedding of MDG specification Languages in HOL" in ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'03) , July 2003
[more] [BibTEX] |
|
|
|
| |
[2003] - R. Everitt & P.W. McOwan, "Java-Based Internet Biometric Authentication System" in IEEE Transactions on Pattern Analysis and Machine Intelligence vol. 25, no. 9, pp. 1166-1172, Sept 2003
[more] [BibTEX] |
|
|
|
| |
[2003] - Paul Curzon and Ann Blandford, "A formal justification of a design rule for avoiding post-completion errors", Tech. report no. IDC-TR-2003-005, 2003
[more] [BibTEX] |
|
|
|
| |
[2003] - P.W. McOwan & C. P. Benton A. Johnston, "Biological computation of image motion from flows over boundaries" in Journal of Physiology Paris vol. 97, pp. 325-334, March-May 2003
[more] [BibTEX] |
|
|
|
| |
[2003] - P.G.T. Healey and M. Purver and J. King and J. Ginzburg and G. Mills, "Experimenting with Clarification in Dialogue" in Proceedings of the 25th Annual Conference of the Cognitive Science Society pp. 539--544., 2003
[more] [BibTEX] |
|
|
|
| |
[2003] - P. Curzon, "Middlesex University Interaction Design Centre" in Proceedings of HCI 2003: Designing for Society vol. 2, pp. 219-220, 2003
[more] [BibTEX] |
|
|
|
| |
[2003] - P. Broadbent and N. Bryan-Kinns and M. Chong and A. Cooper and M. Hurst and N. Lewis and A. Light and N. Macdonald and D. Reed and A. C. Roibas and G. Rollestone and R. Sala and L. Skrebowski and L. Weitzman and L. Wood and A Zolli, "The Evolution of Mass Communication in the Interactive World" in Proceedings of HCI 2003: Designing for Society, Volume 2 pp. 111-114, 2003
[more] [BibTEX] |
|
|
|
| |
[2003] - N. Khan and S. Rahman and T. Stockman, "Integration of Biological Data Resources Using Image Object Keying" in 16th IEEE Symposium on Computer-based Medical Systems , July 2003
[more] [BibTEX] |
|
|
|
| |
[2003] - N. Bryan-Kinns and P. G. T. Healey and M. Thirlwell, "Gudar A Novel Group Music Instrument" in Proceedings of IFIP TC13 International Conference on Human-Computer Interaction (INTERACT '03) pp. 1009-1010, September 2003
[more] [BibTEX] |
|
|
|
| |
[2003] - N. Bryan-Kinns and P. G. T. Healey and M. Thirlwell, "Graphical Representation for Musical Improvisation" in Proceedings of 2nd International Workshop on Interactive Graphical Communication 2003 , 2003
[more] [BibTEX] |
|
|
|
| |
[2003] - N. Bryan-Kinns and P. G. T. Healey and M. Thirlwell and J. Leach, "Designing for Group Creativity" in Adjunct Proceedings of HCI International 2003 pp. 171-172, June 2003
[more] [BibTEX] |
|
|
|
| |
[2003] - N. Bryan-Kinns and P. Broadbent, "Anthropomorphizing Mass Communication" in Supplementary Proceedings of CHI 2003 - New Horizons , 2003
[more] [BibTEX] |
|
|
|
| |
[2003] - Matthew Purver and Patrick G. T. Healey and James King and Jonathan Ginzburg and Greg J. Mills, "Answering Clarification Questions" in Proceedings of the 4th SIGdial Workshop on Discourse and Dialogue pp. 23--33, July 2003
[more] [BibTEX] |
|
|
|
| |
[2003] - M. Purver and J. Ginzburg and P.G.T. Healey, "On the Means for Clarification in Dialogue" in Current and New Directions in Discourse and Dialgoue, ACL, pp. 235-255, 2003
[more] [BibTEX] |
|
|
|
| |
[2003] - K. W. J. Anderson and P. W. McOwan, "Real-time Emotion Recognition using
Biologically Inspired Models" in 4th International Conference on Audio
and Video Based Biometric Person Authentication, Surrey pp. 119-127, 2003
[more] [BibTEX] |
|
|
|
| |
[2003] - K. W. J. Anderson and P. W. McOwan, "Enhanced Interaction with Technology:
A Real-Time Affective Computing System for Recognising Facial Emotions, Evolvability & Interaction Symposium", Tech. report no. 393, 2003
[more] [BibTEX] |
|
|
|
| |
[2003] - Jonathan Ginzburg and Ivan A. Sag and Matthew Purver, "Integrating Conversational Move Types in the Grammar of Conversation" in Perspectives on Dialogue in the New Millennium, John Benjamins, vol. 114, pp. 25--42, 2003
[more] [BibTEX] |
|
|
|
| |
[2003] - Haiyan Xiong and Paul Curzon and Sofiene Tahar and Ann Blandford, "Providing a formal linkage between the MDG verification system and HOL proof system", Tech. report no. , 2003
[more] [BibTEX] |
|
|
|
| |
[2003] - G. White, "Interpolation for McCain-Turner Causal Theories" in Proceedings of NRAC'03 , 2003
[more] [BibTEX] |
|
|
|
| |
[2003] - G. White, "A Generalisation of Parsons and Jennings' Theory of Argument" in Computational Models of Natural-Language Argumnent (CMNA'03) , 2003
[more] [BibTEX] |
|
|
|
| |
[2003] - G. Graham White, "A Generalisation of Parsons and Jennings' Theory of Argument" in Computational Models of Natural-Language Argumnent (CMNA'03) , 2003
[more] [BibTEX] |
|
|
|
| |
[2003] - C. Frauenberger, "3D Audio Interfaces for the Blind" in Workshop on Nomadic Data Services and Mobility , March 11-- 2003
[more] [BibTEX] |
|
|
|
| |
[2003] - C. Frauenberger and W. Ritsch and R. H\"oldrich, "Internet Archive of Electronic Music (IAEM-iARS), internet Audio Rendering System" in AES 24, International Conference on Multichannel Audio , June 26--2 2003
[more] [BibTEX] |
|
|
|
| |
[2003] - A.G. Stockman, "The Delivery and Development of a Distance Learning Conversion Masters Database Systems Module" in Proceedings of the Workshop on Teaching, Learning and Assessment in Databases , July 2003
[more] [BibTEX] |
|
|
|
| |
[2003] - A.G. Stockman, "Sonification of SQL constructs in multi-modal database interaction" in Proceedings of the Workshop on Audio Assistive Devices and Methods for the Visually Impaired , July 2003
[more] [BibTEX] |
|
|
|
| |
[2003] - A. J. Anderson and P.W. McOwan, "Motion camouflage team tactics.
Evolvability & Interaction Symposium", Tech. report no. 393, 2003
[more] [BibTEX] |
|
|
|
| |
[2003] - A. J. Anderson and P.W. McOwan, "Learning lessons from biology:
from hoverfly stealth to missile camouflage" in Artificial Intelligence and Simulation of Behaviour Quarterly vol. 113, no. 1, , 2003
[more] [BibTEX] |
|
|
|
| |
[2003] - A. J. Anderson and P. W.
McOwan, "Model of a predatory stealth behaviour camouflaging motion" in Proceedings of the Royal Society B vol. 270, pp. 489-495, 2003
[more] [BibTEX] |
|
|
|
| |
[2003] - A. J. Anderson & P. W. McOwan, "Humans deceived by predatory stealth strategy camouflaging motion" in Proceedings of the Royal Society B, Biology Letters vol. 270, no. S1, pp. 18-20, 2003
[more] [BibTEX] |
|
|
|
| |
[2003] - A. C. Sherwood and P.W. McOwan, "A biologically plausible gradient- based model for robust measures of spatial orientation" in European Conference on Visual Perception, Paris pp. 46, 2003
[more] [BibTEX] |
|
|
|
| |
[2003] - A. Brooker and N. Bryan-Kinns, "Computer based support for learning facial expressions" in Proceedings of HCI 2003: Designing for Society, Volume 2 pp. 1-4, 2003
[more] [BibTEX] |
|
|
|
| |
[2003] - A. Blandford and H. Thimbleby and N. Bryan-Kinns, "Understanding Interaction Traps" in Proceedings of HCI 2003: Designing for Society, Volume 2 pp. 57-60, 2003
[more] [BibTEX] |
|
|
|
| |
[2002] - Paul Curzon and Judith Harding, "Spreading the word about pedagogic research" in Academic and Educational Development: Research, Evaluation and Changing Practice in Higher Education, Kogan Page, chpt. 13, pp. 152-163, 2002
[more] [BibTEX] |
|
|
|
| |
[2002] - P.G.T. Healey and S. Garrod and J. Lee and J. Oberlander, "Interactional context in sketch understanding" in Sketch Understanding: Papers from 2002 AAAI 2002 Spring Symposium pp. 67--77, October 2002
[more] [BibTEX] |
|
|
|
| |
[2002] - P.G.T. Healey and S. Garrod and J. Fay and J. Oberlander, "Interactional context in graphical communication" in Proceedings of the 24th Annual Conference of the Cognitive Science Society pp. 441--446, August 7th 2002
[more] [BibTEX] |
|
|
|
| |
[2002] - P.G.T. Healey and N. Swoboda and J. King, "A tool for performing and analysing experiments on graphical communication" in People and Computers XVI: Proceedings of HCI2002: The 16th British HCI Group Annual Conference pp. 55--68, 2002
[more] [BibTEX] |
|
|
|
| |
[2002] - P.G.T. Healey and N. Swoboda and I. Umata and Y. Katagiri, "Graphical representation in graphical dialogue" in vol. 57, no. 4, pp. 375--395, 2002
[more] [BibTEX] |
|
|
|
| |
[2002] - P.G.T. Healey and N. Narayanan and J. Lee and Y. Katagiri, "Introduction: interactive graphical communication" in vol. 57, no. 4, , 2002
[more] [BibTEX] |
|
|
|
| |
[2002] - P.G.T. Healey and M. Thirlwell, "Analysing Multi-Modal Communication: Repair-Based Measures of Communicative Co-ordination" in Proceedings of the International CLASS Workshop on Natrual, Intelligent and Effective Interaction in Multimodal Dialogue Systems pp. 83--92, June 28th- 2002
[more] [BibTEX] |
|
|
|
| |
[2002] - P. Curzon and A.E. Blandford, "From a formal user model to design rules" in Interactive Systems. Design, Specification and Verification, 9th International Workshop vol. 2545, pp. 1-15, 2002
[more] [BibTEX] |
|
|
|
| |
[2002] - P. Curzon and A. Blandford and R. Butterworth and R. Bhogal, "Interaction Design Issues for Car Navigation Systems" in Proceedings of the 16th British HCI Conference vol. 2, pp. 38-41, 2002
[more] [BibTEX] |
|
|
|
| |
[2002] - N. Khan and S. Rahman and A. Stockman, "A Cooperative Environment for Genetic Variance Analysis using Component Database for Database Integration: a new approach for multi-database querying" in Proceedings of 15th IEEE Symposium on computer-based medical applications , 2002
[more] [BibTEX] |
|
|
|
| |
[2002] - N. Bryan-Kinns and F. Hamilton, "One for All, and All for One? Case Studies of Representations in Use" in Proceedings of the Second Nordic Conference of Human-Computer Interaction (NordiCHI 2002) pp. 91-100, 2002
[more] [BibTEX] |
|
|
|
| |
[2002] - K. Anderson and P.W. McOwan, "A memetic algorithm for scene
content and motions analysis EPSRC Network on Evolvability in Biological & Software Systems: Symposium Software Evolution and Evolutionary Computation", Tech. report no. 364, 2002
[more] [BibTEX] |
|
|
|
| |
[2002] - K. Anderson & P.W. McOwan, "A memetic algorithm for scene content and motions analysis EPSRC Network on Evolvability in Biological & Software Systems: Symposium Software Evolution and Evolutionary Computation", Tech. report no. 364, 2002
[more] [BibTEX] |
|
|
|
| |
[2002] - H. Xiong and P. Curzon and S. Tahar and A. Blandford, "Formally Linking MDG and HOL based on a verified MDG system" in Proc. of the 3rd International Conference on Integrated Formal Methods vol. 2335, pp. 205-224, 2002
[more] [BibTEX] |
|
|
|
| |
[2002] - H. Thimbleby and A. Blandford and P. Cairns and P. Curzon and M. Jones, "User Interface Design as Systems Design" in People and Computers XVI Memorable Yet Invisible, Proceedings of the 16th British HCI Conference vol. 1, pp. 281-302, 2002
[more] [BibTEX] |
|
|
|
| |
[2002] - G. White, "Medieval Theories of Causality" in The Stanford Encyclopaedia of Philosophy, Stanford, 2002
[more] [BibTEX] |
|
|
|
| |
[2002] - G. Graham White, "Intensionality and Circumscription" in Proceedings of the 9th International Conference on Non-Monotonic Reasoning (NMR2002) pp. 372--379, 2002
[more] [BibTEX] |
|
|
|
| |
[2002] - G. Graham White, "A Modal Formulation of McCain and Turner's Theory of Causal Reasoning" in Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 pp. 211--222, 2002
[more] [BibTEX] |
|
|
|
| |
[2002] - G. Alaa and A.G. Stockman and G. Galal, "E-commerce systems: Architecting concepts and directions" in Proceedings of the UKAIS Annual Conference on Information Systems , April 2002
[more] [BibTEX] |
|
|
|
| |
[2002] - A. J. Anderson & P. W. McOwan, "Towards an autonomous motion camouflage control system" in International Joint Conference on Neural Networks, WCCI 2002 Hawaii pp. 2006-2011, 2002
[more] [BibTEX] |
|
|
|
| |
[2002] - A. J. Anderson & P. W. McOwan, "An artificial neural sensorimotor control system for a biologically inspired stealth behaviour" in EPSRC PREP Nottingham UK , 2002
[more] [BibTEX] |
|
|
|
| |
[2002] - A. J. Anderson & P. W. McOwan, "3D simulation of a sensorimotor stealth strategy for camouflaging motion" in International Conference on Neural Information Processing pp. 1805-1810, 2002
[more] [BibTEX] |
|
|
|
| |
[2001] - V. Zarikas and G. Papatzanis and C. Stephanidis, "An architecture for a selfadapting information system for tourists" in Proc. of Workshop on Multiple User Interfaces over the Internet, HCI-IHM'2001 , September 2001
[more] [BibTEX] |
|
|
|
| |
[2001] - S. Kort and S. Tahar and P. Curzon, "Hierarchical Formal Verification Using an MDG-HOL Hybrid Tool" in Correct Hardware Design and Verification Methods, Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference vol. 2144, pp. 244-258, 2001
[more] [BibTEX] |
|
|
|
| |
[2001] - Richard Butterworth and Ann Blandford and Paul Curzon, "Lab Overview: Interaction Design Centre, Middlesex University" in Interaction without frontiers, IHM-HCI 2001 pp. 299-300, 2001
[more] [BibTEX] |
|
|
|
| |
[2001] - P.G.T. Healey and N. Swoboda and I. Umata and Y. Katagiri, "Representational form and communicative use" in Proceedings of the 23rd Annual Conference of the Cognitive Science Society pp. 411-416, 2001
[more] [BibTEX] |
|
|
|
| |
[2001] - P.G.T. Healey and E. Moutogianni and M. Lalmas and Y. Paker and D. Papworth and A. Pearmain, "Requirements for Broadcast and Internet Integration" in Proceedings of the International Conference on Media Futures, Florence, Italy. 8th-9th May, 2001. pp. 129--132, 2001
[more] [BibTEX] |
|
|
|
| |
[2001] - P.G.T. Healey and A. Vaduva and Y. Paker and P. Schoonjans and A. Pearmain, "User Interface Design for CustomTV" in Proceedings of the International Conference on Media Futures, Florence, Italy. 8th-9th May, 2001. pp. 103--106, 2001
[more] [BibTEX] |
|
|
|
| |
[2001] - P. W. McOwan & J. D. Victor C. P. Benton, "Computational modelling of non-Fourier motion further evidence for a single luminance based mechanism" in Journal of the Optical Society of America, Series A vol. 18, pp. 2204-2208, 2001
[more] [BibTEX] |
|
|
|
| |
[2001] - P. Curzon and S. Tahar, "Automating the Verification of Parameterized Hardware using a Hybrid Tool" in Proceedings of the IEEE 13th International Conference on Microelectronics (ICM'01) pp. 257-260, 2001
[more] [BibTEX] |
|
|
|
| |
[2001] - P. Curzon and A.E. Blandford, "Detecting Multiple Classes of User Errors" in Proceedings of the 8th IFIP Working Conference on Engineering for Human-Computer Interaction (EHCI'01) vol. 2254, pp. 57-71, 2001
[more] [BibTEX] |
|
|
|
| |
[2001] - P. Curzon and A.E. Blandford, "A user model for avoiding design induced errors in soft-key interactive systems" in TPHOLS 2001 Supplementary Proceedings pp. 33-48, 2001
[more] [BibTEX] |
|
|
|
| |
[2001] - N. Bryan-Kinns and F. Hamilton and M. Lif, "Prototypes Representations with Political Agenda" in The Usability Business, Springer, chpt. 9, pp. 92-108, 2001
[more] [BibTEX] |
|
|
|
| |
[2001] - H. Xiong and P. Curzon and S. Tahar and A. Blandford, "Proving Existential Theorems when Importing Results from MDG to HOL" in TPHOLS 2001 Supplementary Proceedings pp. 384-399, 2001
[more] [BibTEX] |
|
|
|
| |
[2001] - G. Graham White, "A Linear Meta-Interpreter for Reasoning about States and Actions" in vol. 9, no. 5, pp. 669--715, 2001
[more] [BibTEX] |
|
|
|
| |
[2001] - G. Alaa and A. Stockman, "An Investigation into the Nature of Electronic Commerce, Requirements and Needs in developing countries" in Proceedings of BIT World Conference , 2001
[more] [BibTEX] |
|
|
|
| |
[2001] - A.E. Blandford and R. Butterworth and P. Curzon, "PUMA Footprints: linking theory and craftskill in usability evaluation" in Proceedings of Interact pp. 577-584, July 2001
[more] [BibTEX] |
|
|
|
| |
[2001] - A. Light and I. Wakeman, "Beyond the Interface: Users' Perceptions of Interaction and Audience on Websites" in vol. 13, , 2001
[more] [BibTEX] |
|
|
|
| |
[2001] - A. Blandford and H. Stelmaszewska and N. Bryan-Kinns, "Use of multiple digital libraries: a case study" in Proceedings JCDL 2001 pp. 179-188, 2001
[more] [BibTEX] |
|
|
|
| |
[2001] - J.King and J.Rowson, "A CSCW Middleware Performance Evaluation Framework" in 2001 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2001) , June 2001
[more] [BibTEX] |
|
|
|
| |
[2000] - V.K. Pisini and S. Tahar and P. Curzon and O. A\"it-Mohamed and X. Song, "Formal Hardware Verification by Integrating HOL and MDG" in Proceedings of the ACM 10th Great Lakes Symposium on VLSI pp. 23-28, 2000
[more] [BibTEX] |
|
|
|
| |
[2000] - S. Kort and V.K. Pisini and S. Tahar and O. A\"it-Mohamed and P. Curzon and X. Song, "Un outil hybride pour la v\'erification formelle de circuits" in Proc. 68th ACFAS Symposium (ACFAS'00) , May 2000
[more] [BibTEX] |
|
|
|
| |
[2000] - S. Kort and S. Tahar and P. Curzon and X. Song, "HOL-MDG: A Hybrid Tool for Formal Verification" in Proceedings of the 2000 Micronet Workshop pp. 131-132, April 2000
[more] [BibTEX] |
|
|
|
| |
[2000] - Patrick G.T. Healey and N. Swoboda and I. Umata and Y. Katagiri, "Graphical interaction and the emergence of abstraction." in Proceedings of IGC2000: First International Workshop on Interactive Graphical Communication. Working papers in Computer Science vol. WP-00-01., pp. 77--84, 2000
[more] [BibTEX] |
|
|
|
| |
[2000] - Patrick G. T. Healey and M. Lalmas and E. Moutogianni and Y. Paker and A. Pearmain, "Integrating internet and digital video broadcast data" in Proceedings of 4th World Multiconference on Systemics Cybernetics and Informatics SCI 2000 pp. 624--627, 2000
[more] [BibTEX] |
|
|
|
| |
[2000] - P.G.T. Healey and R. McCabe and Y. Katagiri, "A comparison of graphics and speech in a task-oriented dialogue" in Theory and Application of Diagrams. Proceedings of the First International Conference, Diagrams 2000 vol. 1889, pp. 245--256, 2000
[more] [BibTEX] |
|
|
|
| |
[2000] - P. G. T. Healey and N. Bryan-Kinns, "Analysing Asynchronous Collaboration" in People and Computers XIV - Usability or Else! Proceedings of HCI 2000 pp. 239-254, 2000
[more] [BibTEX] |
|
|
|
| |
[2000] - P. Curzon and A. Blandford, "Using a Verification System to Reason about Post-Completion Errorsteraction", Tech. report no. , 2000
[more] [BibTEX] |
|
|
|
| |
[2000] - P. Curzon and A. Blandford, "Using a Verification System to Reason About Post-Completion Errors" in Participants Proc. of DSV-IS 2000: 7th Int.Workshop on Design, Specification and Verification of Interactive Systems, at the 22nd Int. Conf. on Software Engineerings pp. 292-308, 2000
[more] [BibTEX] |
|
|
|
| |
[2000] - P. Curzon and A. Blandford, "Reasoning about Order Errors in Interaction" in The Supplementary Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics pp. 33-48, 2000
[more] [BibTEX] |
|
|
|
| |
[2000] - P. Curzon and A. Blandford, "Reasoning about Order Errors and Interaction" in Proceedings of C@MDX'00, Research Student's Conference , March 2000
[more] [BibTEX] |
|
|
|
| |
[2000] - N. Bryan-Kinns, "VCMF: A Framework for Video Content Modelling" in Multimedia Tools and Applications vol. 10, no. 1, pp. 23-45, January 2000
[more] [BibTEX] |
|
|
|
| |
[2000] - N. Bryan-Kinns, "A Framework for Supporting Reuse in Hypermedia" in Design and Management of Multimedia Information Systems: Opportunities and Challenges, Idea Group Publishing, chpt. 5, pp. 80-100, 2000
[more] [BibTEX] |
|
|
|
| |
[2000] - N. Bryan-Kinns and A. Blandford and H. Thimbleby, "Interaction Modelling for Digital Libraries" in One-day workshop on Evaluation of Information Management Systems , 2000
[more] [BibTEX] |
|
|
|
| |
[2000] - M. Hasan and S. Tahar and P. Curzon, "Impact of Design Changes on Verification Using MDGs" in Proc. IEEE Canadian Conference on Electrical and Computer Engineering (CCECE'00) pp. 173-178, May 2000
[more] [BibTEX] |
|
|
|
| |
[2000] - K. Gunter and P. Butler and A.G. Stockman and D.W. Trepess, "A framework for the development of E-commerce projects: a discussion of issues and components" in Proceedings of BIT 2000: Business Information Technology Management: E-futures , November 2000
[more] [BibTEX] |
|
|
|
| |
[2000] - H. Xiong and P. Curzon and S. Tahar and A. Blandford, "Embedding and Verification of an MDG-HDL Compiler in HOL" in The Supplementary Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics pp. 237-248, 2000
[more] [BibTEX] |
|
|
|
| |
[2000] - G. White, "Lewis, Causality, and Possible Worlds" in vol. 54, no. 2, pp. 133-137, 2000
[more] [BibTEX] |
|
|
|
| |
[2000] - A.G. Stockman and M. Ingeldew and D.W. Trepess and K. Gunter and M. Nie, "An investigation into the requirements for computer supported cooperative project management" in Proceedings of BIT 2000: Business Information Technology Management: E-futures , November 2000
[more] [BibTEX] |
|
|
|
| |
[2000] - A. Johnston & P. W. McOwan C. P. Benton, "Computational modelling of interleaved first- and second-order motion sequences and translating 3f+4f beat patterns" in Vision Research vol. 40, pp. 1135-1142, 2000
[more] [BibTEX] |
|
|
|
| |
[1999] - V.K. Pisini and S. Tahar and O. A\"it-Mohamed and P. Curzon and X. Song, "An Approach to Link HOL and MDG for Hardware Verification" in Proceedings of the 1999 Micronet Workshop pp. 156-157, April 1999
[more] [BibTEX] |
|
|
|
| |
[1999] - T. Kindberg and N. Bryan-Kinns and R. Makwana, "Supporting the Shared Care of Diabetic Patients" in Proceedings of the International ACM SIGGROUP Conference on Supporting Group Work (GROUP '99) pp. 91-100, November 1999
[more] [BibTEX] |
|
|
|
| |
[1999] - Patrick G. T. Healey, "Accounting for Collaboration: Estimating Effort, Transparency and Coherence" in AAAI Fall Symposium, Psychological Models of Communication in Collaborative Systems pp. 54--59, 1999
[more] [BibTEX] |
|
|
|
| |
[1999] - P. W. McOwan & C. P. Benton A. Johnston, "Robust velocity computation from a biologically motivated model of motion perception" in Proceedings of the Royal Society B vol. 266, pp. 509-518, 1999
[more] [BibTEX] |
|
|
|
| |
[1999] - P. Curzon, "Learning Computer Science through Games and Puzzles" in Computers and Fun 2 , 1999
[more] [BibTEX] |
|
|
|
| |
[1999] - P. Curzon and S. Tahar, "Comparing HOL and MDG: A Case Study on the Verification of an ATM Switch Fabric" in Nordic Journal of Computing vol. 6, no. 4, pp. 372-402, Winter 1999
[more] [BibTEX] |
|
|
|
| |
[1999] - P. Curzon and S. Tahar and J. Lu, "Comparing HOL, MDG and VIS A Case Study on the Verification of an ATM Switch Fabric", Tech. report no. Technical Repor, 1999
[more] [BibTEX] |
|
|
|
| |
[1999] - P. Curzon H. Xiong and S. Tahar, "Importing MDG Verification Results into HOL" in Theorem Proving in Higher Order Logics: 12th International Conference vol. 1690, pp. 293-310, 1999
[more] [BibTEX] |
|
|
|
| |
[1999] - N. Bryan-Kinns, "Family Resemblance for Hypermedia Authoring", Tech. report no. 760, 1999
[more] [BibTEX] |
|
|
|
| |
[1999] - N. Bryan-Kinns, "Family Resemblance for Hypermedia Authoring", Tech. report no. 1999, 1999
[more] [BibTEX] |
|
|
|
| |
[1999] - J. Dale & A. Johnston P. W. McOwan, "A multi-differential neuromorphic approach to motion detection" in vol. 9, pp. 429-434, 1999
[more] [BibTEX] |
|
|
|
| |
[1999] - H. Xiong and P. Curzon and S. Tahar and A. Blandford, "Verification of a Translator for MDG's Library in HOL" in 15th British Colloquium for Theoretical Computer Science , April 1999
[more] [BibTEX] |
|
|
|
| |
[1999] - H. Xiong and P. Curzon and A. Blandford, "Combining Verification Systems in a Trusted Way to Reap the Benefits of Both" in 6th Workshop on Automated Reasoning - Bridging the Gap between Theory and Practice , April 1999
[more] [BibTEX] |
|
|
|
| |
[1999] - G. Graham White, "Simulation, Theory, and Cut Elimination" in The Monist vol. 82, no. 1, pp. 165--184, 1999
[more] [BibTEX] |
|
|
|
| |
[1999] - D. Trepess and A. Stockman, "Interacting With Computers 11" in A classification and analysis of erroneous actions in computer supported co-operative work environments, Elsevier Science B. V., pp. 611-622, 1999
[more] [BibTEX] |
|
|
|
| |
[1999] - C. P. Benton & P. W. McOwan A. Johnston, "Induced motion at texture-defined motion boundaries" in Proceedings of the Royal Society B vol. 266, pp. 2441-2450, 1999
[more] [BibTEX] |
|
|
|
| |
[1999] - P.Curzon and J. Harding, "Drip Fed Academic Staff Development Using a Virtual Reading Group" in On Reflection: Professional development for the future, the 4th Annual SEDA Conference for Staff and Educational Developers , 1999
[more] [BibTEX] |
|
|
|
| |
[1999] - J.Rowson and G.White and P.Johnson, "Cross-contextual reference in human-computer interaction" in 6th International Workshop on Design, Specification and Verification of Interactive Systems '99 , June 1999
[more] [BibTEX] |
|
|
|
| |
[1998] - Sofi`ene Tahar and Paul Curzon and Jianping Lu, "Three Approaches to Hardware Verification: HOL, MDG and VIS compared" in Formal Methods in Computer Aided Design vol. 1522, pp. 433-450, 1998
[more] [BibTEX] |
|
|
|
| |
[1998] - Paul Curzon, "Read, summarise, debate, write" in Improving the quality of argument in Higher Education: trial materials, Middlesex University, pp. 51, 1998
[more] [BibTEX] |
|
|
|
| |
[1998] - Paul Curzon, "Progress Setting up a Virtual HE Teaching and Learning Reading Group" in Creative Pathways to Development: 3rd Annual SEDA Conference for Staff and Educational Developers , December 1998
[more] [BibTEX] |
|
|
|
| |
[1998] - Paul Curzon and Sofi'ene Tahar and Otmane A\"it Mohamed, "Verification of the MDG Components Library Using HOL" in The Supplementary Proceedings of Theorem Proving in Higher Order Logics: 11th International Conference , 1998
[more] [BibTEX] |
|
|
|
| |
[1998] - Paul Curzon and Janet Rix, "Why do Students take Programming Modules?" in Proceedings of the 6th Annual Conference on the Teaching of Computing , 1998
[more] [BibTEX] |
|
|
|
| |
[1998] - P. Markopoulos and G. Papatzanis and P. Johnson and J. Rowson, "Validating semi-formal specifications of interactors as design representations" in Markopoulos P & Johnson P DSV-IS '98, Springer-Verlag pp. 102-116, June 1998
[more] [BibTEX] |
|
|
|
| |
[1998] - N. Bryan-Kinns, "Modelling Video in Hypermedia" in Proceedings of Euromedia 98 pp. 105-111, 1998
[more] [BibTEX] |
|
|
|
| |
[1998] - N. Bryan-Kinns, "A Framework for Modelling Video Content", Queen Mary, 1998
[more] [BibTEX] |
|
|
|
| |
[1998] - N. Bryan-Kimms, "A Framework for Modelling Video Content", University of Edinburgh LFCS, 1998
[more] [BibTEX] |
|
|
|
| |
[1998] - K. Dautenhan and P. W. McOwan and K.
Warwick, "Robot neuroscience; a cybernetics
approach" in Neuromorphic systems Engineering
silicon from neurobiology, World Scientific, pp. 113-125, 1998
[more] [BibTEX] |
|
|
|
| |
[1998] - Haiyan Xiong and Paul Curzon, "Verification of a Translator for MDG's Components in HOL" in mucort98: Computers and Engineering in the Millenium , April 1998
[more] [BibTEX] |
|
|
|
| |
[1998] - G. White, "Actions, Ramification and Linear Modalities" in vol. 3, no. 11, , 1998
[more] [BibTEX] |
|
|
|
| |
[1998] - G. Graham White, "Simulation, Ramification, and Linear Logic" in Link\"oping Electronic Articles in Computer and Information Science vol. 3, no. 12, , 1998
[more] [BibTEX] |
|
|
|
| |
[1998] - G. Graham White, "Golog and Linear Logic Programming", Tech. report no. 741, Technical Report, 1998
[more] [BibTEX] |
|
|
|
| |
[1998] - D.W. Trepess and A.G. Stockman, "A framework for erroneous actions in computer supported cooperative work" in Proceedings of Network Entities 98 , 1998
[more] [BibTEX] |
|
|
|
| |
[1998] - C. Dixon and A. Stockman, "CSCW in information system application development" in International Perspectives on Information Systems: A social and organisational dimension, Ashgate Publishing Ltd, pp. 197-208, 1998
[more] [BibTEX] |
|
|
|
| |
[1998] - P.Markopoulos and P.Johnson and J.Rowson, "Formal architectural abstractions for interactive software" in vol. 49, pp. 675-715, 1998
[more] [BibTEX] |
|
|
|
| |
[1998] - J.Rowson, "Issues in the design of a writing-for-reading device" in 5th International Eurographics Workshop on Design, Specification and Verification of Interactive Systems pp. 316-319, June 1998
[more] [BibTEX] |
|
|
|
| |
[1997] - Wai Wong and Paul Curzon, "Towards an Efficient Proof Recorder for HOL90" in Supplementary Proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics pp. 135-149, August 1997
[more] [BibTEX] |
|
|
|
| |
[1997] - S. Hill and G. Crum and A. Stockman, "The Use of Usability Criteria in Commercial Software Development in Great Britain" in vol. 36, pp. 4-8, Autumn/Winter 1997
[more] [BibTEX] |
|
|
|
| |
[1997] - P.G.T. Healey, "The Public and the Private: Two Domains of Analysis for Semantic Theory" in The Tbilisi Symposium on Logic, Language and Computation: Selected Papers, CSLI Publications, pp. 59--72, 1997
[more] [BibTEX] |
|
|
|
| |
[1997] - P.G.T. Healey, "Expertise or expert-\em ese?: The emergence of task-oriented sub-languages" in Proceedings of the 19th Annual Conference of the Cognitive Science Society pp. 301--306, 1997
[more] [BibTEX] |
|
|
|
| |
[1997] - P. Curzon and A. Blandford and M. Jones and G. Marsden and M. Smith, "Supporting a Large-class Programming Course with Intranet Tools" in Proceedings of the 5th Annual Conference on the Teaching of Computing pp. 270, 1997
[more] [BibTEX] |
|
|
|
| |
[1997] - Line Jakubiec and Solange Coupet-Grimal and Paul Curzon, "A Comparison of the Coq and HOL Proof Systems for Specifying Hardware" in Supplementary Proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics pp. 63-78, August 1997
[more] [BibTEX] |
|
|
|
| |
[1997] - John McCarthy and P.G.T. Healey and C. Wright and Michael D. Harrison, "Accountability of work activity in high-consequence work systems: human error in context" in vol. 47, no. 6, pp. 735--766, 1997
[more] [BibTEX] |
|
|
|
| |
[1997] - John McCarthy and C. Wright and Patrick G.T. Healey and A. Dearden and Michael D. Harrison, "Locating the scene: the particular and the general in contexts for ambulance control" in Proceedings of the international ACM SIGGROUP conference on Supporting group work: the integration challenge pp. 101--110, 1997
[more] [BibTEX] |
|
|
|
| |
[1997] - A. Johnston & P. W. McOwan C. P. Benton, "Perception of motion direction in luminance- and contrast-defined reversed-phi motion sequences" in Vision Research vol. 37, pp. 2381-2399, 1997
[more] [BibTEX] |
|
|
|
| |
[1997] - P.Markopoulos and P.Johnson and J.Rowson, "Formal aspects of task based design" in 4th International Eurographics Workshop on Design, Specification and Verification of Interactive Systems pp. 209-224, June 1997
[more] [BibTEX] |
|
|
|
| |
[1997] - P.Markopoulos and J.Rowson and P.Johnson, "Composition and synthesis with a formal interactor model" in vol. 9, pp. 197-223, 1997
[more] [BibTEX] |
|
|
|
| |
[1996] - Sofi\`ene Tahar and Paul Curzon, "A Comparison of MDG and HOL for Hardware Verification" in Theorem Proving in Higher Order Logics: 9th International Conference vol. 1125, , 1996
[more] [BibTEX] |
|
|
|
| |
[1996] - Paul Curzon and Ian Leslie, "Improving Hardware Designs Whilst Simplifying their Proof" in Designing Correct Circuits , 1996
[more] [BibTEX] |
|
|
|
| |
[1996] - P.W. McOwan & A. Johnston, "Motion transparency arises from perceptual grouping: evidence from luminance and contrast modulation motion displays" in Current Biology vol. 6, pp. 1343-1346, 1996
[more] [BibTEX] |
|
|
|
| |
[1996] - P.G.T. Healey and C. Vogel, "A Semantic Framework for CSCW" in Linguistic Concepts and Methods in CSCW, Springer Verlag, pp. 91--107, 1996
[more] [BibTEX] |
|
|
|
| |
[1996] - P. W. McOwan & A. Johnston, "A second-order pattern reveals separate strategies for encoding orientation in two-dimensional space and space- time" in Vision Research vol. 36, pp. 425-430, 1996
[more] [BibTEX] |
|
|
|
| |
[1996] - G. Graham White, "The Design of a Situation-Based Lygon Metainterpreter: I. Simple Changes and Persistence", Tech. report no. 729, 1996
[more] [BibTEX] |
|
|
|
| |
[1996] - G. Graham White, "Nicholas of Autrecourt" in The Penguin Dictionary of Philosophy, Penguin, 1996
[more] [BibTEX] |
|
|
|
| |
[1996] - G. Graham White, "John Buridan" in The Penguin Dictionary of Philosophy, Penguin, 1996
[more] [BibTEX] |
|
|
|
| |
[1996] - G. Graham White, "Henry of Ghent" in The Penguin Dictionary of Philosophy, Penguin, 1996
[more] [BibTEX] |
|
|
|
| |
[1996] - G. Graham White, "Duns Scotus" in The Penguin Dictionary of Philosophy, Penguin, 1996
[more] [BibTEX] |
|
|
|
| |
[1996] - G. Graham White [Eds.], "Causality before Hume", 1996
[more] [BibTEX] |
|
|
|
| |
[1996] - A.G. Stockman and K. Liu, "Supporting Work Groups in Application Development" in vol. 2, pp. 3-8, August 1996
[more] [BibTEX] |
|
|
|
| |
[1996] - A.G. Stockman and A. Rappaport and K. Liu, "The Storage and Retrieval of Mobility Information" in The Eighth International Mobility Conference , 1996
[more] [BibTEX] |
|
|
|
| |
[1996] - P.Markopoulos and P.Johnson and J.Rowson, "On the composition of interactor specifications" in Formal Aspects of the Human Computer Interface, BCS-FACS workshop , September 1996
[more] [BibTEX] |
|
|
|
| |
[1996] - P.Markopoulos and J.Rowson and P.Johnson, "Dialogue modelling in the framework of an interactor model" in 3rd International Eurographics Workshop on Design, Specification and Verification of Interactive Systems , June 1996
[more] [BibTEX] |
|
|
|
| |
[1995] - Paul Curzon, "Virtual Theories" in Proceedings of the 8th International Workshop on Higher Order Logic Theorem Proving and Its Applications vol. 971, pp. 138-153, 1995
[more] [BibTEX] |
|
|
|
| |
[1995] - Paul Curzon, "Tracking Design Changes with Formal Machine-Checked Proof" in vol. 38, no. 2, pp. 91-100, 1995
[more] [BibTEX] |
|
|
|
| |
[1995] - Paul Curzon, "The Importance of Proof Maintenance and Reengineering" in International Workshop on Higher Order Logic Theorem Proving and Its Applications: B-Track: Short Presentations pp. 17-32, 1995
[more] [BibTEX] |
|
|
|
| |
[1995] - Paul Curzon, "Problems Encountered with the Machine-assisted Proof of Hardware" in Correct Hardware Design and Verification Methods vol. 987, pp. 56-70, 1995
[more] [BibTEX] |
|
|
|
| |
[1995] - Paul Curzon and Ian Leslie, "A Case Study on Design for Provability" in The Proceedings of the First International Conference on Engineering of Complex Computer Systems pp. 59-62, November 1995
[more] [BibTEX] |
|
|
|
| |
[1995] - Paul Curzon and Ian Leslie and Mike Gordon, "Conclusions from a Study to Verify a Real Network Component" in Proceedings of the Second Workshop on Automated Reasoning: Bridging the Gap Between Theory and Practice , April 1995
[more] [BibTEX] |
|
|
|
| |
[1995] - P. W. McOwan & D. G. Vass J. Gourlay, "Hadamard transform image processing and its optical implementation with ferro-electric spatial light modulators" in International Journal of Optoelectronics vol. 6, pp. 51-58, 1995
[more] [BibTEX] |
|
|
|
| |
[1995] - J. Rowson, "Formal specification and analysis of an ISO communications protocol" in Formal Description Techniques VII, Proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques pp. 277-279, 1995
[more] [BibTEX] |
|
|
|
| |
[1995] - G. Graham White, "Le\'sniewski on Definitions" in Kontroversen vol. 7, pp. 17--27, 1995
[more] [BibTEX] |
|
|
|
| |
[1995] - A.G. Stockman and H. Zhao, "Software Sizing for OO Software Development Object Function Point Analysis" in Proceedings of the Guide Share Europe conference pp. 413-425, October 1995
[more] [BibTEX] |
|
|
|
| |
[1995] - A. Stockman and Y. Sun, "The Storage and Retrieval of Temporal Data" in Proceedings of the ORACLE UK User Group conference pp. 12pp, November 1995
[more] [BibTEX] |
|
|
|
| |
[1995] - A. Robins and A. Stockman, "Software to Assist in the Teaching and Simulation of Database Concurrency Control" in Proceedings of the all Ireland Teaching Computing Conference , August 1995
[more] [BibTEX] |
|
|
|
| |
[1994] - Paul Curzon, "Tracking Design Changes with Formal Verification" in Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop vol. 859, pp. 177-192, September 1994
[more] [BibTEX] |
|
|
|
| |
[1994] - Paul Curzon, "The Formal Verification of the Fairisle Switch: The 4x4 Switching Fabric." in ATM Document Collection 3 (The Blue Book), University of Cambridge Computer Laboratory, chpt. 37, 1994
[more] [BibTEX] |
|
|
|
| |
[1994] - Paul Curzon, "The Formal Verification of the Fairisle ATM Switching Element: an Overview", Tech. report no. 328, 1994
[more] [BibTEX] |
|
|
|
| |
[1994] - Paul Curzon, "The Formal Verification of the Fairisle ATM Switching Element", Tech. report no. 329, 1994
[more] [BibTEX] |
|
|
|
| |
[1994] - Paul Curzon, "The Formal Verification of an ATM Network" in Proceedings of the 13th Annual ACM Symposium on Principles of Distributed Computing pp. 392, August 1994
[more] [BibTEX] |
|
|
|
| |
[1994] - Paul Curzon, "Experiences formally verifying a network component" in Proceedings of the 9th Annual IEEE Conference on Computer Assurance pp. 183-193, 1994
[more] [BibTEX] |
|
|
|
| |
[1994] - Paul Curzon and Wai Wong, "A Theory of Lists for HOL Based on Higher-Order Functions" in Supplementary Proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and its Applications , 1994
[more] [BibTEX] |
|
|
|
| |
[1994] - Patrick Healey and Carl Vogel, "A Situation Theoretic Model of Dialogue" in Gothenburg Papers in Theoretical Linguistics 71: Pragmatics in Dialogue Management pp. 61--79, 1994
[more] [BibTEX] |
|
|
|
| |
[1994] - McOwan PW & Vass DG Gourlay J, "Real-time binary phase holograms on a reflective ferro-electric liquid crystal spatial light modulator" in vol. 33, pp. 8251-8254, 1994
[more] [BibTEX] |
|
|
|
| |
[1994] - G. Graham White, "The Bounds of Axiomatisation" in Topological Foundations of Cognitive Science: Papers from the Workshop at the First International Summer Institute in Cognitive Science , Nov 1994
[more] [BibTEX] |
|
|
|
| |
[1994] - G. Graham White, "Reflections on the Present Conflict" in Modern European Philosophy, 1994
[more] [BibTEX] |
|
|
|
| |
[1994] - G. Graham White, "Luther as Nominalist", Luther Agricola Society, 1994
[more] [BibTEX] |
|
|
|
| |
[1994] - G. Graham White, "Husserl" in Modern European Philosophy, 1994
[more] [BibTEX] |
|
|
|
| |
[1994] - G. Graham White, "Heidegger" in Modern European Philosophy, 1994
[more] [BibTEX] |
|
|
|
| |
[1994] - G. Graham White, "Computer Science and the Ideology of Artificial Intelligence" in Tendencies and Problems in Contemporary Philosophy, 1994
[more] [BibTEX] |
|
|
|
| |
[1994] - G. Graham White, "Category Theory and the Representation of Geometrical Information" in Spatial and Temporal Reasoning, AAAI, 1994
[more] [BibTEX] |
|
|
|
| |
[1994] - G. Graham White [Eds.], "Modern European Philosophy", MacMillan, 1994
[more] [BibTEX] |
|
|
|
| |
[1994] - C. Dixon and A. Stockman, "CSCW in ORACLE Application Development" in Proceedings of the ORACLE UK Users Group conference pp. 12pp, 1994
[more] [BibTEX] |
|
|
|
| |
[1993] - Y. Y and A. Stockman and M. Woodward, "Construction of a User-Defined, Integrated Temporal Environment" in Proceedings of the International Conference on Computer Science pp. 5.31-5.34, July 1993
[more] [BibTEX] |
|
|
|
| |
[1993] - Paul Curzon, "Deriving Correctness Properties of Compiled Code" in Higher Order Logic Theorem Proving and its Applications pp. 327-346, 1993
[more] [BibTEX] |
|
|
|
| |
[1993] - Paul Curzon, "Compiler Correctness and Input/Output" in Dependable Computing for Critical Applications 3 vol. 8, pp. 189-209, 1993
[more] [BibTEX] |
|
|
|
| |
[1993] - Paul Curzon, "A Verified Vista Implementation", Tech. report no. 311, 1993
[more] [BibTEX] |
|
|
|
| |
[1993] - P. W. McOwan and M. Gordon and W. J.
Hossack, "A switchable liquid crystal binary Gabor
lens" in Optics Communications vol. 103, pp. 189-193, 1993
[more] [BibTEX] |
|
|
|
| |
[1993] - J. Gourlay and P. W. McOwan and D. G. Vass and I. Underwood and M. Worboys, "Time-multiplexed optical Hadamard image transforms with ferro-electric liquid crystal-over-silicon light modulators" in Optics Letters vol. 20, pp. 1745-1747, 1993
[more] [BibTEX] |
|
|
|
| |
[1993] - G. Graham White, "Category Theory versus Foundations" in Philosophy and the Cognitive Sciences pp. 583--588, 1993
[more] [BibTEX] |
|
|
|
| |
[1993] - G. Graham White, "Are We Finite?" in Notre Dame Journal of Formal Logic vol. 34, pp. 311--333, 1993
[more] [BibTEX] |
|
|
|
| |
[1992] - Y. Sun and A. Stockman and S. Deen, "Processing Temporal Data in a Relational Database" in Proceedings of the Third International Conference on Data and Knowledge Systems for Manufacturing and Engineering pp. 237-246, March 1992
[more] [BibTEX] |
|
|
|
| |
[1992] - Y. Sun and A. Stockman and M. Woodward, "Enhancing the HCI of Relational Databases by the Use of Temporal Concepts" in Proceedings of the International Workshop on Human-Computer Interaction , August 1992
[more] [BibTEX] |
|
|
|
| |
[1992] - Paul Curzon, "Of What Use is a Verified Compiler Specification?", Tech. report no. 274, 1992
[more] [BibTEX] |
|
|
|
| |
[1992] - Paul Curzon, "A Verified Compiler for a Structured Assembly Language" in Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications , 1992
[more] [BibTEX] |
|
|
|
| |
[1992] - Paul Curzon, "A Programming Logic For a Verified Structured Assembly Language" in Logic Programming and Automated Reasoning vol. 624, pp. 403-408, 1992
[more] [BibTEX] |
|
|
|
| |
[1992] - A. Johnston and P. W. McOwan and H. Buxton, "A computational model of the analysis of some
first and second order motion patterns by simple and complex cells" in Proceedings of the Royal Society B vol. 250, pp. 297-306, 1992
[more] [BibTEX] |
|
|
|
| |
[1991] - Paul Curzon, "A Structured Approach to the Verification of Low Level Microcode", Tech. report no. 215, 1991
[more] [BibTEX] |
|
|
|
| |
[1991] - P. W. McOwan and W. J. Hossack and R. E.
Burge, "Uses of iterative constraint satisfaction for
binary phase detour digital holograms" in Optics Communications vol. 83, pp. 21-25, 1991
[more] [BibTEX] |
|
|
|
| |
[1991] - P. W. McOwan and W. J. Hossack and R. E.
Burge, "Three dimensional stereoscopic display using
ray traced computer generated holograms" in Optics Communications vol. 82, pp. 6-11, 1991
[more] [BibTEX] |
|
|
|
| |
[1991] - J.R. Rowson, "Specifying and Verifying an ISO Communication Protocol Using CCS", Tech. report no. 1991, 1991
[more] [BibTEX] |
|
|
|
| |
[1990] - G. Graham White, "Ockham and Wittgenstein" in Die Gegenwart Ockhams, pp. 165--188, 1990
[more] [BibTEX] |
|
|
|
| |
[1989] - J.R. Rowson, "A Comparison of Refinement in VDM and ASL", Tech. report no. 1989, 1989
[more] [BibTEX] |
|
|
|
| |
[1989] - G. Graham White, "Pelagianisms" in vol. 20, pp. 188--218, 1989
[more] [BibTEX] |
|
|
|
| |
[1989] - G. Graham White, "Luther's Views on Language" in vol. 3, pp. 188--218, 1989
[more] [BibTEX] |
|
|
|
| |
[1989] - C.T.P.Burton S.T.Sommerville, "Specifying the Apple Macintosh Toolbox Event Manager" in vol. 1, pp. 147-171, 1989
[more] [BibTEX] |
|
|
|
| |
[1987] - P. W. McOwan and T. Redpath, "A specialised receiver coil for NMR imaging of
female breasts" in Physics in Medicine and Biology vol. 32, pp. 259-263, 1987
[more] [BibTEX] |
|
|
|
| |
[1987] - G. Graham White, "Theology and Logic: The Case of Ebeling" in vol. 3, pp. 211--225, 1987
[more] [BibTEX] |
|
|
|
| |
[1987] - G. Graham White, "Ockham and Hume's Question" in Knowledge and the Sciences in Medieval Philosophy , 1987
[more] [BibTEX] |
|
|
|
| |
[1985] - A. Stockman and R. Cameron and J. Mason, "Modeling and Estimation of the Intra-Cranial Pressure Response to Manitol infusion" in Proceedings of the 25th AGM of the Biological Engineering Society , 1985
[more] [BibTEX] |
|
|
|
| |
[1985] - A. Stockman and J. Harness and A. Mearns, "Frequency Analysis of the Baroreceptor-Heart Rate Reflex and its Interaction with Respiration" in Proceedings of the 25th AGM of the Biological Engineering Society , 1985
[more] [BibTEX] |
|
|
|
| |
[1985] - A. Mearns and J. Harness and A. Stockman and A. Zaneh, "Forcing frequency testing, a new approach to physiological measurement" in Psychophysiology of cardiovascular control, models, methods and data, Plenum Press, pp. 425-436, 1985
[more] [BibTEX] |
|
|
|
| |
[1985] - A. Mearns and J. Harness and A. Stockman and A. Zaneh and G. Irving and A. Kamal, "Forcing Frequency Testing, here in Practice with Reference to Skin Blood Flow" in Practical Aspects of Skin Blood Flow Measurement, Biological Engineering Society, pp. 23-26, 1985
[more] [BibTEX] |
|
|
|
| |
[1984] - G. Graham White, "Ockham's Real Distinction between Form and Matter" in vol. 44, , 1984
[more] [BibTEX] |
|
|
|
| |
[1984] - G. Graham White, "Luther on the Limits of Human Activity: Dinner-Parties and Suicide" in Neue Zeitschrift f\"ur systematicsche Theologie und Religionsphilosophie vol. 26, pp. 54--70, 1984
[more] [BibTEX] |
|
|
|
| |
[1984] - G. Graham White, "Karl Barth's Theological Realism" in Neue Zeitschrift f\"ur systematicsche Theologie und Religionsphilosophie vol. 26, pp. 54--70, 1984
[more] [BibTEX] |
|
|
|
| |
[1978] - J.R. Rowson, "A Simple Implementation of Virtual Displays", Tech. report no. 1978, 1978
[more] [BibTEX] |
|
|
|
| |
[1978] - J.Rowson, "Virtual Displays" in Electronic Displays '78 , September 1978
[more] [BibTEX] |
|
|
