University of Surrey

Test tubes in the lab Research in the ATI Dance Research

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

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors | Item Type | No Grouping
Jump to: B | E | H | L | S | T | W | X | Z
Number of items: 16.

B

Bowden, R (2000) Learning Statistical Models of Human Motion In: CVPR 2000 - IEEE Workshop on Human Modeling, Analysis and Synthesis, 2000-07-15 - 2000-07-16, Hilton Head, South Carolina, U.S.A..

Bowden, R, Mitchell, TA and Sarhadi, M (2000) Non-linear Statistical Models for the 3D Reconstruction of Human Pose and Motion from Monocular Image Sequences Image and Vision Computing, 18 (9). pp. 729-737.

Bowden, R and Sarhadi, M (2000) Building Temporal Models for Gesture Recognition In: BMVC 2000 - The Eleventh British Machine Vision Conference, 2000-09-11 - 2000-09-14, Bristol, UK.

Briffa, J and Buttigieg, V (2000) Interleavers for Unpunctured Symmetric Turbo Codes In: Proceedings. IEEE International Symposium on Information Theory, 2000., 2000-06-25 - 2000-06-30, Sorrento, Italy.

E

Evans, N and Schneider, S (2000) Analysing Time Dependent Security Properties in CSP Using PVS. In: European Symposium on Research in Computer Security, 2000-10-04 - 2000-10-06, Toulouse, France.

H

Heather, J and Schneider, S (2000) Towards Automatic Verification of Authentication Protocols on an Unbounded Network. CSFW'00. pp. 132-143.

Heather, J. (2000) Oh!... Is it really you? Using rank functions to verify authentication protocols Doctoral thesis, Royal Holloway, University of London.

L

Lewin, M, Bowden, R and Sarhadi, M (2000) Applying Augmented Reality to Virtual Product Prototyping In: CfP: FIRST FRENCH-BRITISH INTERNATIONAL WORKSHOP ON VIRTUAL REALITY, 2000-07-11 - 2000-07-12, Brest, France.

Lewin, M, Bowden, R and Sarhadi, M (2000) Automotive Prototyping using Augmented Reality In: 7th VRSIG Conference, 2000-09 - 2000-09, Strathclyde University, Scotland.

S

Schaathun, Hans Georg (2000) Projective systems and higher weights In: 2000 IEEE International Symposium on Information Theory (Cat. No.00CH37060).

Schaathun, Hans Georg (2000) The Weight Hierarchy of Product Codes IEEE Transactions on Information Theory, 46 (7). pp. 2648-2651.

T

Treharne, H and Schneider, S (2000) How to Drive a B Machine. In: ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, 2000-08-29 - 2000-09-02, York, UK.

W

Woon, Wee Meng, Ho, Anthony T. S., Yu, Tao, Tam, Siu Chung, Tan, Siong Chai and Yap, Lian Teck (2000) Achieving high data compression of self-similar satellite imagesusing fractal In: IGARSS 2000. IEEE 2000 International Geoscience and Remote Sensing Symposium. Taking the Pulse of the Planet: The Role of Remote Sensing in Managing the Environment. Proceedings (Cat. No.00CH37120).

X

Xia, Yan and Ho, Anthony T. S. (2000) 3D vector topology model in the Visualization System In: IGARSS 2000. IEEE 2000 International Geoscience and Remote Sensing Symposium. Taking the Pulse of the Planet: The Role of Remote Sensing in Managing the Environment. Proceedings (Cat. No.00CH37120).

Xia, Yan, Ho, Anthony T. S. and Zhang, YuCheng (2000) CIMO - Component Integration MOdel In: Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000.

Z

Zhang, Liyang, Soong, Boon-Hee, Ho, Anthony T. S. and Ong, Jin-Teung (2000) Using RBF algorithm for landcover or clutter classification formobile planning In: VTC2000-Spring. 2000 IEEE 51st Vehicular Technology Conference Proceedings (Cat. No.00CH37026).

This list was generated on Mon Mar 30 10:05:11 2020 UTC.

Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800