Items where Academic/Research unit is "Faculty of Engineering and Physical Sciences > Computer Science"

A

Ahmad, Khurshir, Salway, Andrew and Lansdale, Janet (1997) (An)notating dance: Multimedia storage and retrieval 1998 International Conference of Computational Intelligence and Multimedia Applications (ICCIMA '98). pp. 788-793.

B

Bowden, R (1997) VRSIG'97, Proceedings of the 4th UK Virtual Reality Special Interest Group Conference UK-VRSIG, Bristol, UK. ISBN 1-872166-64-4

Bowden, R, Heap, AJ and Hogg, DC (1997) Real Time Hand Tracking and Gesture Recognition as a 3D Input Device for Graphical Applications In: Gesture Workshop ’96, 1996-03-19 - 1996-03-19, University of York, UK.

Bowden, R, Mitchel, TA and Sarhadi, M (1997) Real-time Dynamic Deformable Meshes for Volumetric Segmentation and Visualisation In: BMVC97 - the Eighth British Machine Vision Conference, 1997-09-08 - 1997-09-11, University of Essex, Colchester, UK.

D

Dutertre, B and Schneider, S (1997) Using a PVS Embedding of CSP to Verify Authentication Protocols. In: 10th International Conference on Theorem Proving in Higher Order Logics, 1997-08-19 - 1997-08-22, Murray Hill, NJ, USA.

H

Heather, James (1997) Exploiting a weakness of RSA Masters thesis, Oxford University.

S

Salway, Andrew and Ahmad, Khurshid (1997) The role of metaphors in financial texts

Schneider, S (1997) Timewise Refinement for Communicating Processes. Science of Computer Programming, 28 (1). pp. 43-90.

Schneider, S (1997) Verifying authentication protocols with CSP. In: IEEE Computer Security Foundations Workshop, 1997-06-10 - 1997-06-12, Rockport, MA , USA.