UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Browse by UCL Departments and Centres

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Author | Type
Jump to: 2 | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | R | S | T | U | V | W | X | Y | Z
Number of items: 261.

2

2002, I; Bentley, P; Timmis, J; Canterbury, UOKA; (2002) ICARIS 2002. [Book].

A

Ackemann, T; Gold, R; Mascolo, C; Emmerich, W; (2002) Incentives in peer-to-peer and grid networking. (Research Note 02/24 ). UCL-CS Green open access
file

Adams, A; Blandford, A; (2002) Security and online learning: to protect or prohibit. In: Ghaoui, C, (ed.) Usability Evaluation of Online Learning Programs. Ideal Publishing

Agapito, L; Hayman, E; Reid, I; (2002) Erratum: Self-calibration of rotating and zooming cameras (International Journal of Computer Vision (November 2001) 45:2). International Journal of Computer Vision , 47 (1-3) 287-. 10.1023/A:1014514429063.

Akester, R; Hailes, S; (2002) A new audio skew detection and correction algorithm. Presented at: UNSPECIFIED.

Akino, N; Germano, G; Phuong, NH; Schmid, F; Allen, MP; (2002) Simulations of liquid crystals: Bulk structure and interfacial properties. In: Rollnik, H and Wolf, D, (eds.) NIC Symposium 2001. (pp. 335-346). John von Neumann Institute for Computing: Jülich, Germany. Green open access
file

Alexander, DC; Barker, GJ; Arridge, SR; (2002) Model selection in MR diffusion imaging. Presented at: IVth International Workshop on Computational Problems in Electrical Engineering.

Alexander, DC; Barker, GJ; Arridge, SR; (2002) Tissue structure complexity maps from high angular resolution diffusion weighted magnetic resonance measurements. Presented at: ISMRM 10th Scientific Meeting and Exhibition.

Alexander, DC; Jansons, KM; (2002) Spin echo attenuation to diffusion density: a general inversion for measurements on a sphere. Presented at: ISMRM workshop on diffusion MRI: Biophysical issue (what can we measure?).

Alves, C; Finkelstein, A; (2002) Negotiating Requirements for COTS-Based Systems. In: (Proceedings) Proceedings of the Eighth International Workshop on Requirements Engineering: Foundation for Software Quality, in conjunction with RE'02. Essen, Germany, September.

Alves, CF; Finkelstein, A; (2002) Challenges in COTS decision-making: a goal-driven requirements engineering perspective. In: (pp. pp. 789-794). ACM

Andersson, G; Bjesse, P; Cook, B; Hanna, Z; (2002) A proof engine approach to solving combinational design automation problems. In: (pp. pp. 725-730). ACM

Arridge, S; (2002) Diffusion tomography in dense media. In: Pike, ER and Sabatier, P, (eds.) Scattering. (pp. 920-936). Academic Press

Arshad, U; Mascolo, C; Mellor, M; (2002) Exploiting Mobility Computing in Health-Care. Presented at: Proceedings of 3rd International Workshop on Smart Appliances (co-located with ICDCS '02), ICDCS.

Arshad, U; Mascolo, C; Mellor, M; (2002) Exploiting mobility computing in health-care. Presented at: 3rd International Workshop on Smart Appliances (co-located with ICDCS '02).

Avellis, G; Finkelstein, A; (2002) How to Annotate Educational Multimedia with Non-Functional Requirements. Educational Technology & Society , 5 (2)

B

BENTLEY, PJ; (2002) BIOLOGIA DIGITAL. [Book]. BERKELEY: BRAZIL.

Barber, D; (2002) Dynamic Bayesian Networks with Deterministic Latent Tables. Presented at: UNSPECIFIED.

Barber, D; (2002) Learning in Spiking Neural Assemblies. Presented at: UNSPECIFIED.

Basanta, D; Miodownik, MA; Holm, EA; Bentley, PJ; (2002) Designing the internal architecture of metals using a genetic algorithm. Presented at: UNSPECIFIED.

Batty, S; Blandford, A; Clark, J; Fryer, T; Gao, X; (2002) Content based retrieval of lesioned brain images. Presented at: UNSPECIFIED.

Beal, MJ; Ghahramani, Z; Rasmussen, CE; (2002) UNSPECIFIED Presented at: The infinite hidden Markov model.

Bennett, K; Munro, M; Xu, J; Gold, N; Layzell, P; Mehandjiev, N; Budgen, D; (2002) Prototype Implementations of an Architectural Model for Service-Based Flexible Software. Presented at: UNSPECIFIED.

Bentley, P; Corne, D; (2002) Creative evolutionary systems. [Book]. Morgan Kaufmann Pub

Bentley, PJ; (2002) Cutting Edge: Digital Darwinism. Times Higher Education Supplement p. 22.

Bentley, PJ; (2002) Digital Biology. How Nature is Transforming Our Technology and Our Lives. [Book]. Simon and Schuster (USA Hardback)

Bentley, PJ; (2002) Digital Biology. The creation of life inside computers and how it will affect us. [Book].

Bentley, PJ; Corne, D; (2002) Guest Editorial for Special Issue on Creative Evolutionary Systems. Appl. Intell. , 16 , Article 2. 10.1023/A:1013637818270.

Berdine, J; O'Hearn, PW; Reddy, US; Thielecke, H; (2002) Linear Continuation-Passing. Higher-Order and Symbolic Computation , 15 , Article 2-3. 10.1023/A:1020891112409.

Billinghurst, M; Cheok, A; Prince, S; Kato, H; (2002) Real world teleconferencing. IEEE Computer Graphics and Applications , 22 pp. 11-13.

Blackwell, TM; Bentley, PJ; (2002) Dynamic Search With Charged Swarms. Presented at: UNSPECIFIED.

Bland, T; Hebden, JC; Hillman, EMC; Gibson, A; Everdell, N; Delpy, DT; Arridge, SR; (2002) Optical Tomography of the Breast using a 32-Channel Time-Resolved Imager. Presented at: OSA Biomedical Topic Meeting.

Blandford, A; Buchanan, G; (2002) UNSPECIFIED Presented at: Proceedings of a workshop on Usability of Digital Libraries at JCDL'02. (Available from: www.uclic.ucl.ac.uk/annb/DLUsability/JCDL02.html).

Blandford, A; Buchanan, G; (2002) UNSPECIFIED Presented at: Report on Workshop on Usability of Digital Libraries at JCDL'02.

Blandford, A; Buchanan, G; (2002) Workshop report: Usability of digital libraries at JCDL '02. D-Lib Magazine , 8 (9) Gold open access

Blandford, A; Stelmaszewska, H; (2002) Usability of Musical Digital Libraries: a Multimodal Analysis. Presented at: UNSPECIFIED. Green open access
file

Boardman, R; Sasse, MA; Spence, R; (2002) Life Beyond the Mailbox: A Cross-Tool Perspective on Personal Information Management. In: Proceedings of the 2002 ACM conference on Computer Supported Cooperative Work. ACM Green open access
file

Bougourd, J; Treleaven, P; (2002) Capturing the shape of the nation. Presented at: Fashion and Textiles: the new frontiers - design, technology and business, IFFTI conference.

Brotherston, J; Degtyarev, A; Fisher, M; Lisitsa, A; (2002) Searching for invariants using temporal resolution. In: (pp. pp. 86-101).

Brown, I; Crowcroft, J; Handley, M; Cain, B; (2002) Internet Multicast Tomorrow. The Internet Protocol Journal , 5 (4)

Bruneau, D; Sasse, MA; McCarthy, JD; (2002) The Eyes Never Lie: The Use of Eyetracking Data in HCI Research. Presented at: Proceedings of the CHI2002 Workshop on Physilogical Computing. Minneapolis. April 21.

Buchan, DWA; Shepherd, AJ; Lee, D; Pearl, FMG; Rison, SCG; Thornton, JM; Orengo, CA; (2002) Gene3D: Structural assignment for whole genes and genomes using the CATH domain structure database. GENOME RES , 12 (3) 503 - 514. 10.1101/gr.213802.

Buchanan, G; Blandford, A; Jones, M; Thimbleby, H; (2002) UNSPECIFIED In: Borner, K and Chen, C, (eds.) (Proceedings) Visual Interfaces to Digital Libraries. (pp. pp. 13-24). Springer Verlag

Buchanan, G; Blandford, A; Jones, M; Thimbleby, H; (2002) Spatial Hypertext as a reader tool in digital libraries. In: Borner, K and Chen, C, (eds.) VISUAL INTERFACES TO DIGITAL LIBRARIES. (pp. 13 - 24). SPRINGER-VERLAG BERLIN

Buchanan, G; Blandford, A; Jones, M; Thimbleby, H; (2002) Spatial hypertext as a reader tool in digital libraries. In: Goos, G and Hartmanis, J and van Leeuwen, J, (eds.) Visual Interfaces to Digital Libraries. (pp. 13-24). Springer Berlin: Heidelberg.

Buchanan, G; Blandford, A; Jones, M; Thimbleby, HW; (2002) Spatial Hypertext as a Reader Tool in Digital Libraries. In: Börner, K and Chen, C, (eds.) (pp. pp. 13-24). Springer

C

Capra, L; Blair, G; Mascolo, C; Emmerich, W; Grace, P; (2002) Exploiting reflection in mobile computing middleware. ACM SIGMOBILE Mobile Computing and Communications Review , 6 (4) pp. 34-44. 10.1145/643550.643553.

Capra, L; Blair, GS; Mascolo, C; Emmerich, W; Grace, P; (2002) Exploiting reflection in mobile computing middleware. Presented at: UNSPECIFIED. Green open access
file

Capra, L; Emmerich, W; Mascolo, C; (2002) A micro-economic approach to conflict resolution in mobile computing. Presented at: UNSPECIFIED. Green open access
file

Chalmers, M; Brown, B; Benford, S; Conroy-Dalton, R; Dalton, N; Galani, A; Greenhalgh, C; (2002) Blurring the boundaries of the Mackintosh room. Presented at: CHI 2002 Conference on Human Factors in Computing Systems. Green open access
file

Chen, B; Jamieson, K; Balakrishnan, H; Morris, R; (2002) Span: An Energy-Efficient Coordination Algorithm for Topology Maintenance in Ad Hoc Wireless Networks. Wireless Networks , 8 (5) pp. 481-494. 10.1023/A:1016542229220.

Cheok, A; Krishnamurthy, GK; Prince, S; (2002) Micro-accelerometer based hardware interfaces for wearable computer mixed reality applications. Presented at: UNSPECIFIED.

Cheok, AD; Weihua, W; Yang, X; Prince, S; Wan, FS; Billinghurst, M; Kato, H; (2002) Interactive Theatre Experience in Embodied + Wearable Mixed Reality Space. Presented at: UNSPECIFIED.

Cook, PA; Alexander, DC; (2002) Examination of White Matter Tissue Structures in the Human Brain. Presented at: IVth International Workshop on Computational Problems in Electrical Engineering.

Courtois, N; (2002) Comment Tout Dire Sans Rien Révéler. Dossiers de Pour La Science, Pour La Science (French Edition of Scientific American) , 36

Courtois, N; (2002) Procédé de protection d'un ensemble cryptographique par masquage multivariable linéaire.

Courtois, N; (2002) Higher Order Correlation Attacks, XL Algorithm and Cryptanalysis of Toyocrypt. Presented at: UNSPECIFIED.

Courtois, N; Akkar, ML; Goubin, L; (2002) Procédé et système de génération de signature.

Courtois, N; Goubin, L; Meier, W; Tacier, J-D; (2002) Solving Underdefined Systems of Multivariate Quadratic Equations. Presented at: UNSPECIFIED.

Courtois, N; Patarin, J; (2002) Anti-Pirate Method for the Distribution of Digital Content. 10/499,475.

Courtois, N; Pieprzyk, J; (2002) Cryptanalysis of Block Ciphers with Overdefined Systems of Equations. IACR Cryptology ePrint Archive , 2002 44 - 44.

Courtois, N; Pieprzyk, J; (2002) Cryptanalysis of Block Ciphers with Overdefined Systems of Equations. Presented at: UNSPECIFIED.

Cox, IJ; Miller, ML; Bloom, JA; (2002) Digital Watermarking. [Book]. Morgan Kaufmann

Crisler, K; Anneroth, M; Sasse, MA; Pulli, P; (2002) A User-Focused Reference Model for Wireless Systems Beyond 3G. (WG1 white paper draft, 7th WWRF meeting ). : Eindhoven. Green open access
file

Cristianini, N; Shawe-Taylor, J; Lodhi, H; (2002) Latent Semantic Kernels. J. Intell. Inf. Syst. , 18 (2-3) pp. 127-152. 10.1023/A:1013625426931.

Cummaford, S; Blandford, A; Long, J; (2002) Introduction to HCI structured engineering design methods. Presented at: UNSPECIFIED.

Curran, KM; Alexander, DC; (2002) Orientation matching for registration of diffusion tensor images. Presented at: IVth International Workshop on Computational Problems in Electrical Engineering.

Curzon, P; Blandford, A; (2002) From a formal user model to design rules. In: UNSPECIFIED (1 - 15). Green open access
file

Curzon, P; Blandford, A; (2002) From a formal user model to design rules. In: INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION AND VERIFICATION. (pp. 1 - 15).

Curzon, P; Blandford, A; Butterworth, R; Bhogal, R; (2002) UNSPECIFIED Presented at: Interaction Design Issues for Car Navigation Systems.

D

Demiriz, A; Bennett, KP; Shawe-Taylor, J; (2002) Linear Programming Boosting via Column Generation. Machine Learning , 46 (1-3) pp. 225-254. 10.1023/A:1012470815092.

Desmedt, Y; (2002) Is there a Need for Survivable Computation in Critical Infrastructures? Inf. Sec. Techn. Report , 7 (2) pp. 11-21. 10.1016/S1363-4127(02)02003-4.

Desmedt, Y; Wang, Y; (2002) Perfectly Secure Message Transmission Revisited. IACR Cryptology ePrint Archive , 2002 p. 128.

Desmedt, Y; Wang, Y; (2002) Maximum Flows and Critical Vertices in AND/OR Graphs. Presented at: UNSPECIFIED.

Desmedt, Y; Wang, Y; (2002) Perfectly secure message transmission revisited. In: Knudsen, L, (ed.) ADVANCES IN CRYPTOLOGY - EUROCRYPT 2002, PROCEEDINGS. (pp. 502 - 517). SPRINGER-VERLAG BERLIN

Dias, MB; Buxton, BF; (2002) Integrated Shape and Pose Modelling. Presented at: UNSPECIFIED.

Dietterich, TG; Becker, S; Ghahramani, Z; (2002) , Editors. Advances in Neural Information Processing Systems. [Book]. (14 ed.). MIT Press, Cambridge, MA, USA

Dingwall-Smith, A; Finkelstein, A; (2002) From Requirements to Monitors by Way of Aspects. In: (Proceedings) Workshop on Early Aspects at the 1st International Conference on Aspect-Oriented Software Development (AOSD). AOSD: Enschede, Netherlands.

Douros, I; Buxton, BF; (2002) Three-Dimensional Surface Curvature Estimation using Quadric Surface Patches. Presented at: Scanning 2002 Proceedings.

Dui, D; Emmerich, W; Nentwich, C; Thal, B; (2002) Consistency Checking of Financial Derivative Transactions. Presented at: Proceedings of the NetObjectDays. Erfurt, Germany.

Dyer, JR; Bentley, PJ; (2002) PLANTWORLD: Population Dynamics in Contrasting Environments. Presented at: UNSPECIFIED.

E

Eaves, W; Cheng, L; Galis, A; Becker, T; Suzuki, T; Denazis, S; Kitahara, C; (2002) SNAP based resource control for active networks. Presented at: UNSPECIFIED. Green open access
file

Egyed, A; (2002) Automated Abstraction of Class Diagrams. ACM Transactions on Software Engineering and Methodology , 11 (4) pp. 449-491. 10.1145/606612.606616.

Emmerich, W; (2002) Distributed component technologies and theirsoftware engineering implications. In: Proceedings of the 24th International Conference on Software Engineering. (pp. 537-546). ACM Press: New York, New York, USA.

Emmerich, W; (2002) OMG/CORBA: an object-oriented middleware. In: Marciniak, J, (ed.) Encyclopedia of Software Engineering. (pp. 902-907). John Wiley & Sons

Emmerich, W; Kaveh, N; (2002) Component Technologies: Java Beans, COM, CORBA, RMI, EJB and the CORBA Component Model. Presented at: Proceedings of the 24th International Conference on Software Engineering (ICSE), Orlando, Florida. May 19-25.

Emmerich, W; Kaveh, N; (2002) Component Technologies: Java Beans, COM, CORBA,RMI, EJB and the CORBA Component Model. Presented at: 24th International Conference on Software Engineering.

Emmerich, WJ; (2002) Distributed Component Technologies and their Software Engineering Implications. Presented at: UNSPECIFIED. Green open access
file

F

Frangi, AF; Rueckert, D; Schnabel, JA; Niessen, WJ; (2002) Automatic construction of multiple-object three-dimensional shape models: Application to cardiac modeling. IEEE Transactions on Medical Imaging

Fuhrer, P; Mostéfaoui, GK; Pasquier-Rocha, J; (2002) MaDViWorld: a software framework for massively distributed virtual worlds. Softw., Pract. Exper. , 32 (7) pp. 645-668. 10.1002/spe.453.

G

Gabrielli, S; Harris, EC; Rogers, Y; Scaife, M; Smith, H; (2002) A Conceptual Framework for Mixed Reality Environments: Designing Novel Learning Activities for Young Children. Presence , 11 (6) pp. 677-687. 10.1162/105474602321050776.

Galmiche, D; Méry, D; Pym, D; (2002) Resource tableaux (extended abstract). In: (pp. pp. 183-199).

Gee, JC; Alexander, DC; Rivera, M; Duda, JT; (2002) Non-rigid registration of diffusion tensor MR images. In: (pp. pp. 477-480).

Germano, G; Allen, MP; Masters, AJ; (2002) Simultaneous calculation of the helical pitch and the twist elastic constant in chiral liquid crystals from intermolecular torques. Journal of Chemical Physics , 116 (21) pp. 9422-9430. 10.1063/1.1475747. Green open access
file

Ghahramani, Z; (2002) Graphical models: parameter learning. In: Arbib, MA, (ed.) Handbook of Brain Theory and Neural Networks. MIT Press, Cambridge, MA, USA

Gibson, A; Dehghani, H; Yusof, RM; Hillman, EMC; Hebden, JC; Schweiger, M; Arridge, SR; (2002) UNSPECIFIED Presented at: 'Optical Tomography of a Realistic Head-Shaped Phantom'. In OSA Biomedical Topical Meetings: Advances in Optical Imaging and Photon Migration, 7-10 April.

Gibson, A; Riley, J; Schweiger, M; Hebden, JC; Arridge, SR; Delpy, DT; (2002) Optical Tomography of the Neonatal Head using a Patient-Specific Finite Element Mesh. Presented at: Computational Problems in Electrical Engineering, Zakopane, Poland.

Giesler, B; Salb, T; Weyrich, T; Dillmann, R; (2002) Using a Panoramic Camera for 3D Head Tracking in an AR Environment. Presented at: UNSPECIFIED.

Gold, N; Bennett, K; (2002) Hypothesis-based concept assignment in software maintenance. IEE Proceedings: Software , 149 (4) pp. 103-111. 10.1049/ip-sen:20020549.

Gordon, TG; Bentley, PJ; (2002) On Evolvable Hardware. In: UNSPECIFIED (pp. 279-323). Physica-Verlag

Gordon, TGW; Bentley, PJ; (2002) Towards development in evolvable hardware. In: (pp. pp. 241-250).

Gorogiannis, N; Ryan, M; (2002) Implementation of Belief Change Operators Using BDDs. Studia Logica , 70 (1) pp. 131-156. 10.1023/A:1014610426691.

Gorogiannis, N; Ryan, M; (2002) Requirements, specifications, and minimal refinement. Presented at: UNSPECIFIED.

Griffin, LD; (2002) Local image structure, metamerism, norms and natural image statistics. Perception , 31 (3) p. 377.

Griffin, LD; (2002) Males are 'noisy females' when it comes to reporting the psychological structure of the basic colours. Perception , 32 (3) p. 387.

Griffin, LD; Sepeheri, A; (2002) Performance of CIE94 for non-reference conditions. Color Research and Applications , 27 (2) pp. 108-115.

Gryce, C; Finkelstein, A; Nentwich, C; (2002) Lightweight Checking for UML Based Software Development. In: (Proceedings) UML 2002, Model Engineering, Concepts and Tools. Workshop on Consistency Problems in UML-based Software Development.. Blekinge Institute of Technology: Dresden, Germany.

Guo, Y; Bartlett, PL; Shawe-Taylor, J; Williamson, RC; (2002) Covering numbers for support vector machines. IEEE Trans. Information Theory , 48 (1) pp. 239-250. 10.1109/18.971752.

Guven Smith, S; Blandford, A; (2002) UNSPECIFIED Presented at: International Journal of Artificial Intelligence and Education.

H

Hailes, S; Hazemi, R; (2002) , Editors. The Digital University - Building a Learning Community. [Book]. Springer- Verlag: London LTD.

Hailes, S; Hazemi, R; (2002) Universities, Dearing and the Future. In: The Digital University - Building a Learning Community. (pp. 7-25). Springer- Verlag

Halloran, J; Rogers, Y; Scaife, M; (2002) Taking the 'No' out of Lotus Notes: activity theory, groupware, and student groupwork. In: Stahl, G, (ed.) CSCL. (pp. 169 - 178). International Society of the Learning Sciences

Harman, M; Hierons, RM; Proctor, M; (2002) A New Representation And Crossover Operator For Search-based Optimization Of Software Modularization. Presented at: UNSPECIFIED.

Harman, M; Hu, L; Hierons, RM; Baresel, A; Sthamer, H; (2002) Improving Evolutionary Testing By Flag Removal. Presented at: UNSPECIFIED.

Haungs, M; Pandey, R; Barr, ET; Barnes, JF; (2002) A Fast Connection-Time Redirection Mechanism for Internet Application Scalability. Presented at: UNSPECIFIED.

Hebden, JC; Bland, T; Hillman, EMC; Gibson, A; Everdell, N; Delpy, DT; Arridge, S; (2002) Optical tomography of the breast using a 32-channel time-resolved imager. Presented at: UNSPECIFIED.

Hebden, JC; Bland, T; Hillman, EMC; Gibson, A; Everdell, N; Delpy, DT; Arridge, SR; (2002) Optical Tomography of the Breast using a 32-Channel Time-Resolved Imager. Presented at: 'Optical Tomography of the Breast using a 32-Channel Time-Resolved Imager'. In OSA Biomedical Topical Meetings: Advances in Optical Imaging and Photon Migration, 7-10 April.

Hebden, JC; Hillman, EMC; Gibson, A; Everdell, N; Yusof, RM; Delpy, DT; Arridge, SR; (2002) UNSPECIFIED Presented at: 'Time Resolved Optical Imaging of the Newborn Infant Brain: Initial Clinical Results'. In OSA Biomedical Topical Meetings: Advances in Optical Imaging and Photon Migration, 7-10 April.

Hillman, EMC; Arridge, SR; Hebden, JC; Delpy, DT; (2002) UNSPECIFIED Presented at: 'Oxygen Saturation and Blood-Volume Derivation from Multi-Wavelength Time-Resolved Optical Tomography Data'. In OSA Biomedical Topical Meetings: Advances in Optical Imaging and Photon Migration, 7-10 April.

Hirsch, R; Hodkinson, I; (2002) Strongly Representable Atom Structures of Relation Algebras. Proceedings of the American Mathematical Society , 130 (6) pp. 1819-1831. 10.1090/S0002-9939-01-06232-3. Green open access
file

Hirsch, R; Hodkinson, I; (2002) Relation algebras by games. Studies in logic and the foundations of mathematics: Vol.147. North-Holland: Amsterdam.

Hirsch, R; Hodkinson, I; Kurucz, A; (2002) Every Logic Between K3 and S53 is Undecidable and Non-Finitely Aximatisable. Journal of Symbolic Logic , 67 (1) pp. 221-234.

Hirsch, R; Hodkinson, I; Maddux, R; (2002) On the Number of Variables Required for Proofs. Journal of Symbolic Logic , 67 (1) pp. 197-213.

Hirsch, R; Hodkinson, IM; Kurucz, Á; (2002) On Modal Logics Between K x K x K and S5 x S5 x S5. J. Symb. Log. , 67 (1) pp. 221-234. 10.2178/jsl/1190150040.

Hirsch, R; Hodkinson, IM; Maddux, RD; (2002) Provability with finitely many variables. Bulletin of Symbolic Logic , 8 (3) pp. 348-379.

Hirsch, R; Hodkinson, IM; Maddux, RD; (2002) Relation Algebra Reducts of Cylindric Algebras and An Application to Proof Theory. J. Symb. Log. , 67 (1) pp. 197-213. 10.2178/jsl/1190150037.

Holden, M; Schnabel, JA; Hill, DL; (2002) Quantification of small cerebral ventricular volume changes in treated growth hormone patients using nonrigid registration. IEEE TRANS MED IMAGING , 21 (278-00) pp. 1292-1301.

Hutton, TJ; Buxton, BF; Hammond, P; (2002) UNSPECIFIED Presented at: Proceedings of the International Workshop on Growth and Motion in 3D Medical Images, 7th European Conference on Computer Vision, Copenhagen, Denmark.

Hutton, TJ; Buxton, BF; Hammond, P; (2002) Estimating Average Growth Trajectories in Shape-Space using Kernel Smoothing. Presented at: Proceedings of the International Workshop on Growth and Motion in 3D Medical Images, European Conference on Computer Vision. Copenhagen, Denmark. June 1.

I

Ishtiaq, S; Pym, DJ; (2002) Kripke resource models of a dependently-typed, bunched λ-calculus. Journal of Logic and Computation , 12 (6) pp. 1061-1104. 10.1093/logcom/12.6.1061.

J

Jamieson, K; (2002) Implementation of a Power‐Saving Protocol for Ad Hoc Wireless Networks. Masters thesis, UNSPECIFIED.

Jansons, KM; Alexander, DC; (2002) Spin echo attenuation to diffusion density: a general inversion for measurements on a sphere. Presented at: ISMRM 10th Scientific Meeting and Exhibition.

Jones, DK; Alexander, DC; Williams, SCR; Howard, RJ; (2002) Visualizing inter-subject coherence of axonal fiber orientation by diffusion tensor MRI. Presented at: ISMRM 10th Scientific Meeting and Exhibition.

Jones, DK; Catani, M; Alexander, DC; Howard, RJ; (2002) Diffusion tensor fiber tractography on a population averaged brain. Presented at: UNSPECIFIED.

Jones, DK; Griffin, LD; Alexander, DC; Williams, SCR; Howard, RJ; (2002) Characterising a population distribution of diffusion tensors. Presented at: ISMRM 10th Scientific Meeting and Exhibition.

Jordan, J; Mortensen, J; Oliveira, M; Slater, M; (2002) Collaboration in a Medicated Haptic Environment. Presented at: Fifth Annual International Workshop PRESENCE. Porto, Portugal. October 9-11.

Julier, S; Bishop, G; (2002) Guest Editors' Introduction: Tracking: How Hard Can It Be?. Presented at: UNSPECIFIED.

K

Kandola, J; Shawe-Taylor, J; Cristianini, N; (2002) On the Extensions of Kernel Alignment.

Kandola, J; Shawe-Taylor, J; Cristianini, N; (2002) Optimizing Kernel Alignment over Combinations of Kernel.

Kandola, JS; Shawe-Taylor, J; Cristianini, N; (2002) Learning Semantic Similarity. In: Becker, S and Thrun, S and Obermayer, K, (eds.) Advances in Neural Information Processing Systems 15 [Neural Information Processing Systems, NIPS 2002, December 9-14, 2002, Vancouver, British Columbia, Canada]. (pp. 657-664). MIT Press

Katabi, D; Handley, M; Rohrs, CE; (2002) Congestion control for high bandwidth-delay product networks. In: Mathis, M and Steenkiste, P and Balakrishnan, H and Paxson, V, (eds.) (pp. pp. 89-102). ACM

Keith, S; Blandford, A; Fields, R; Theng, YL; (2002) An investigation into the application of Claims Analysis to evaluate usability of a digital library interface. Presented at: JCDL02 Workshop on Usability of Digital Libraries. Green open access
file

Kim, J; Bentley, PJ; (2002) Immune Memory in the Dynamic Clonal Selection Algorithm. Presented at: Proceedings of the First International Conference on Artificial Immune Systems (ICARIS) Canterbury. September 9-11.

Kim, J; Bentley, PJ; (2002) A Model of Gene Library Evolution in the Dynamic Clonal Selection Algorithm. Presented at: UNSPECIFIED.

Kirstein, P; Carlsberg, K; Hasler, K; O'Hanlon, P; (2002) Media Transmission Over Coupled Wired/ Wireless Networks Using Application Level Active IPv6 Networks. Presented at: Proceedings of the 6th Int. Sym Comm. Networking. Perth. October 13-16.

Kirstein, P; O'Hanlon, P; Carlberg, K; Gevros, P; Hasler, K; (2002) The Radioactive Networking Architecture. Presented at: Proceedings of the DARPA Active Networks Conference and Exposition. San Francisco, USA..

Kirstein, PT; O'Hanlon, P; Carlberg, K; Gevros, P; Hasler, K; (2002) The RadioActive Networking Architecture. Presented at: 2002 DARPA Active Networks Conference and Exposition (DANCE'02).

Krinke, J; Störzer, M; Zeller, A; (2002) Web-basierte Programmierpraktika mit Praktomat. Presented at: UNSPECIFIED.

Kwon, J; Wellings, A; King, S; (2002) Assessment of the Java Programming Language for Use in High Integrity Systems. University of York: York.

Kwon, J; Wellings, AJ; King, S; (2002) Ravenscar-Java: a high integrity profile for real-time Java. (Proceedings of the 2002 Joint ACM-ISCOPE Conference on Java Grande 2002, Seattle, Washington, USA, November 3-5, 2002 , pp. pp. 131-140 ). ACM

L

Langdon, WB; Barrett, SJ; Buxton, BF; (2002) Combining decision trees and neural networks for drug discovery. Presented at: UNSPECIFIED.

Langford, J; Shawe-Taylor, J; (2002) PAC-Bayes & Margins. Presented at: UNSPECIFIED.

Lano, K; Clark, D; Androutsopoulos, K; (2002) From Implicit Specifications to Explicit Designs in Reactive System Development. Presented at: UNSPECIFIED.

Lano, K; Clark, D; Androutsopoulos, K; (2002) Safety and Security Analysis of Object-Oriented Models. Presented at: UNSPECIFIED.

Lawson, K; Finkelstein, A; (2002) Integration of Product and Technology Development Process with R&D Portfolio Management using Efficient Frontier Analysis. In: (pp. pp. 143-147). IEEE Computer Society Press: Piscataway, US.

Li, Y; Zaragoza, H; Herbrich, R; Shawe-Taylor, J; Kandola, JS; (2002) The Perceptron Algorithm with Uneven Margins. In: Sammut, C and Hoffmann, AG, (eds.) Machine Learning, Proceedings of the Nineteenth International Conference (ICML 2002), University of New South Wales, Sydney, Australia, July 8-12, 2002. (pp. 379-386). Morgan Kaufmann

Livingston, MA; Rosenblum, LJ; Julier, SJ; Brown, D; Baillot, Y; Swan, JE; Gabbard, JL; (2002) An augmented reality system for military operations in urban terrain. Presented at: UNSPECIFIED.

Lloyd, P; Valkenburg, R; McDonnell, J; (2002) Making the final cut: re-presenting the industrial design process using video. Presented at: UNSPECIFIED.

Lodhi, H; Karakoulas, GI; Shawe-Taylor, J; (2002) Boosting strategy for classification. Intell. Data Anal. , 6 (2) pp. 149-174.

Lodhi, H; Saunders, C; Shawe-Taylor, J; Cristianini, N; Watkins, CJCH; (2002) Text Classification using String Kernels. Journal of Machine Learning Research , 2 pp. 419-444. Gold open access

M

MacColl, I; Brown, B; Benford, S; Chalmers, M; Conroy-Dalton, R; Dalton, N; Galani, A; (2002) Shared visiting in EQUATOR city. Presented at: ACM Collaborative Virtual Environments 2002: The Fourth International Conference on Collaborative Virtual Environments.

MacColl, I; Millard, DE; Randell, C; Steed, A; Brown, BAT; Benford, S; Chalmers, M; (2002) Shared visiting in EQUATOR city. In: Broll, W and Greenhalgh, C and Churchill, EF, (eds.) (pp. pp. 88-94). ACM Green open access
file

MacIntyre, B; Julier, SJ; Coelho, EM; (2002) Estimating and adapting to registration errors in augmented reality systems. In: (pp. pp. 73-80).

Mahdavi, K; Harman, M; (2002) Book Review: Automatic Re-Engineering of Software Using Genetic Programming. In: Genetic Programming and Evolvable Machines. (pp. 219 - 221).

Mania, K; Ellis, SR; Billinghurst, M; Steed, A; (2002) Tutorial 1: Usability Evaluation Techniques for Virtual Reality Technologies. Presented at: UNSPECIFIED.

Marchand, M; Shawe-Taylor, J; (2002) The Set Covering Machine. Journal of Machine Learning Research , 3 pp. 723-746. Gold open access

Martin, ACR; (2002) Comparative Modelling. In: Orengo, CA and Jones, DT and Thornton, JM, (eds.) Bioinformatics: Genes, Proteins and Computers. Bios Scientific Publishers: Oxford.

Martin, ACR; (2002) Internet Technologies for Bioinformatics. In: Orengo, CA and Jones, DT and Thornton, JM, (eds.) UNSPECIFIED Bios Scientific Publishers: Oxford.

Mascolo, C; Capra, L; Emmerich, W; (2002) "Middleware for Mobile Computing (A Survey)". In Advanced Lectures on Networking. Networking 2002 Tutorials , 2497 o pp. 20-58.

Mascolo, C; Capra, L; Emmerich, W; (2002) Mobile computing middleware. In: Gregori, E and Anastasi, G and Basagni, S, (eds.) UNSPECIFIED (20 - 58). SPRINGER-VERLAG BERLIN

Mascolo, C; Zanolin, L; Emmerich, W; (2002) XMILE: An XML Based Approach for Incremental Code Mobility and Update. Autom. Softw. Eng. , 9 (2) pp. 151-165. 10.1023/A:1014582329991.

Masterman, L; Rogers, Y; (2002) A framework for designing interactive multimedia to scaffold young children's understanding of historical time. Instructional Science , 30 221 - 241.

Medvidovic, N; Rosenblum, DS; Redmiles, DF; Robbins, JE; (2002) Modeling Software Architectures in the Unified Modeling Language. ACM Transactions on Software Engineering and Methodology , 11 (1) pp. 2-57. 10.1145/504087.504088.

Miller, ML; Doërr, GJ; Cox, IJ; (2002) Dirty-paper trellis codes for watermarking. In:

Mitra, NJ; Gupta, MR; (2002) Two-stage color palettization for error diffusion. In: Rogowitz, BE and Pappas, TN, (eds.) HUMAN VISION AND ELECTRONIC IMAGING VII. (pp. 207 - 217). SPIE-INT SOC OPTICAL ENGINEERING

Monthivienchienchai, R; Sasse, MA; Wheeldon, R; (2002) Educational Metadata: Friendly Fire? In: Hazemi, R and Hailes, S, (eds.) Support for Authoring and Managing Web-based coursework:. (pp. 203-214). Springer

Moravec, KLC; (2002) A Grayscale Reader for Camera Images of Xerox DataGlyphs. Presented at: UNSPECIFIED.

Mortensen, J; Vinayagamoorthy, V; Slater, M; Steed, A; Lok, B; Whitton, MC; (2002) Collaboration in tele-immersive environments. Presented at: UNSPECIFIED.

N

Nentwich, C; Capra, L; Emmerich, W; Finkelstein, A; (2002) xlinkit: a consistency checking and smart link generation service. ACM Trans. Internet Techn. , 2 (2) pp. 151-185. 10.1145/514183.514186.

Nentwich, C; Emmerich, W; Finkelstein, A; (2002) Edit, compile, debug: from hacking to distributed engineering.

Nicholson, D; Lloyd, CM; Julier, SJ; Uhlmann, JK; (2002) Scalable distributed data fusion. In: (pp. pp. 630-635).

O

Oliveira, J; Buxton, BF; (2002) Non-linear Simplification of Scanned Models. Presented at: Proceedings of the Numérisation 3D - SCANNING. Paris, France.

Oliveira, JF; Steed, A; (2002) Determining Orientation of Laser Scanned Surfaces. Presented at: UNSPECIFIED.

Oliveira, M; Mortensen, J; Jordan, J; Steed, A; Slater, M; (2002) The Pitfalls in System Design for Distributed Vitual Environments: A Case Study. Presented at: Proceedings of the International Workshop on Immersive Telepresence. Juan Les Pin, December.

Osorio, M; Pérez, JAN; Arrazola, J; (2002) A logical approach to A-Prolog. Electronic Notes in Theoretical Computer Science , 67 284 - 295. 10.1016/S1571-0661(04)80554-1. Green open access
file

Osorio, M; Pérez, JAN; Arrazola, J; (2002) A logical approach to A-Prolog. Electr. Notes Theor. Comput. Sci. , 67 pp. 284-295. 10.1016/S1571-0661(04)80554-1.

Osorio, M; Pérez, JAN; Arrazola, J; (2002) Equivalence in Answer Set Programming. In: Pettorossi, A, (ed.) Logic Based Program Synthesis and Transformation. 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers. (pp. 57 - 75). Springer Berlin Heidelberg Green open access
file

Osorio, M; Pérez, JAN; Arrazola, J; (2002) Debugging in A-Prolog: A Logical Approach. In: Stuckey, PJ, (ed.) Logic Programming. 18th International Conference, ICLP 2002 Copenhagen, Denmark, July 29 – August 1, 2002 Proceedings. (pp. 482 - 483). Springer Berlin Heidelberg Green open access
file

Ouarbya, L; Danicic, S; Daoudi, M; Harman, M; Fox, C; (2002) A Denotational Interprocedural Program Slicer. In: Deursen, AV and Burd, E, (eds.) WCRE. (pp. 181 - 181). IEEE Computer Society

P

Pagtzis, T; Perkins, C; (2002) Performance issues for localised IP mobility management. Presented at: UNSPECIFIED.

Piccinelli, G; Emmerich, W; Zirpins, C; Schuett, K; (2002) Web service interfaces for inter-organizational business process: An infrastructure for automated reconcilliation. Presented at: Proceedings of the 6th IEEE International Conference on Enterprise Distributed Object Computing. Lausanne.

Piccinelli, G; Emmerich, W; Zirpins, C; Schuette, K; (2002) Web Services Interfaces for Inter-Organizational Business Process: An Infrasctructure for Automated Reconciliation. Presented at: Proceedings of the 6th Int.Enterprise Distributed Object Computing, (EDOC2002) IEEE Computer Society. Los Almitos, California. Green open access
file

Platts, J; Blandford, A; Huyck, C; (2002) UNSPECIFIED Presented at: 'Awaiting the sensation of a short, sharp shock: Twist-centred story generation by transformation'. Proceedings of Workshop on AI and the Creativity in Arts and Science, AISB2002 Workshop Series.

Price, S; Rogers, Y; Scaife, M; Stanton, D; Neale, H; (2002) Using Tangibles to Support New Ways of Playing and Learning. In: Proc of Interaction Design for Children Workshop 2002.

Prince, S; Cheok, A; Billinghusrt, M; Kato, H; Williamson, T; Farbiz, F; Johnson, N; (2002) Real time three-dimensional interaction for augmented and virtual reality. Presented at: UNSPECIFIED.

Prince, S; Cheok, A; Farbiz, F; Williamson, T; Johnson, N; Billinghurst, M; Kato, H; (2002) 3D Live: Real Time Captured Content for Mixed Reality. Presented at: UNSPECIFIED.

Prince, S; Cheok, AD; Farbiz, F; Williamson, T; Johnson, N; Billinghurst, M; Kato, H; (2002) 3-D live: real time interaction for mixed reality. Presented at: UNSPECIFIED.

Prince, S; Pointon, A; Cumming, B; Parker, A; (2002) Quantitative Analysis of V1 Neurons to horizontal disparity in random dot stereograms. Journal of Neurophysiology , 87 (1) pp. 191-208. 10.1152/jn.00465.2000.

Prince, S; Xu, K; Cheok, A; (2002) Robust camera tracking for augmented reality based on planar homographies. IEEE Computer Graphics and Applications , 22 pp. 39-45.

R

Randell, C; MacColl, I; Muller, H; Rogers, Y; (2002) Exploring the Potential of Ultrasonic Position Measurement as a Research Tool. In: IEE Communication Networks and Services Professional Network. (pp. 171 - 174). Institution of Electrical Engineers.: Savoy Place, London WC2R 0BL.

Rasmussen, CE; Ghahramani, Z; (2002) UNSPECIFIED Presented at: Infinite mixtures of Gaussian process experts.

Ratnasamy, S; Handley, M; Karp, RM; Shenker, S; (2002) Topologically-Aware Overlay Construction and Server Selection. Presented at: UNSPECIFIED. Green open access
file

Ratnasamy, S; Karp, B; Yin, L; Yu, F; Estrin, D; Govindan, R; Shenker, S; (2002) GHT: a geographic hash table for data-centric storage. Presented at: UNSPECIFIED.

Raval, A; Ghahramani, Z; Wild, DL; (2002) A Bayesian network model for protein fold and remote homologue recognition. Bioinformatics , 18 (6) pp. 788-801.

Razzaque, S; Swapp, D; Slater, M; Whitton, MC; Steed, A; (2002) Redirected Walking in Place. In: Müller, S and Stürzlinger, W, (eds.) (pp. pp. 123-130). Eurographics Association

Rey, C; Doërr, G; Csurka, G; Dugelay, J-L; (2002) Toward Generic Image Dewatermarking. Presented at: UNSPECIFIED.

Riegelsberger, J; Sasse, MA; (2002) Face it - Photos don't make a web site trustworthy. Presented at: UNSPECIFIED.

Rogers, Y; Brignull, H; Scaife, M; (2002) Designing Dynamic Interactive Visualisations to Support Collaboration and Cognition. In: (pp. p. 39). IEEE Computer Society

Rogers, Y; Sharp, H; Preece, J; (2002) Interaction Design: Beyond Human Computer Interaction. Wiley

Ruiz, M; Buxton, BF; Douros, I; Treleaven, PC; (2002) Web-based Software Tools for 3D Body Database Access and Shape Analysis. Presented at: Scanning 2002 Proceedings.

S

Salakhutdinov, R; Roweis, S; Ghahramani, Z; (2002) Expectation-conjugate gradient: An alternative to EM. University of Toronto: Toronto, Canada.

Sasse, MA; Monthienivichienchai, R; Harris, C; Ismail, I; Wheeldon, R; (2002) The TACO Project. In: Hazemi, R and Hailes, S, (eds.) Support for Authoring and Managing Web-based coursework. (pp. 139-132). Springer

Sasse, MA; Monthienvichienchai, R; (2002) Computer Support for Vicarious Learning. Presented at: UNSPECIFIED.

Saunders, C; Shawe-Taylor, J; Vinokourov, A; (2002) String Kernels, Fisher Kernels and Finite State Automata. In: Becker, S and Thrun, S and Obermayer, K, (eds.) Advances in Neural Information Processing Systems 15 [Neural Information Processing Systems, NIPS 2002, December 9-14, 2002, Vancouver, British Columbia, Canada]. (pp. 633-640). MIT Press

Saunders, C; Tschach, H; Shawe-Taylor, J; (2002) Syllables and other string kernel extensions. Presented at: Nineteenth International Conference on Machine Learning (ICML 2002).

Saunders, C; Tschach, H; Shawe-Taylor, J; (2002) Syllables and other String Kernel Extensions. In: Sammut, C and Hoffmann, AG, (eds.) Machine Learning, Proceedings of the Nineteenth International Conference (ICML 2002), University of New South Wales, Sydney, Australia, July 8-12, 2002. (pp. 530-537). Morgan Kaufmann

Scaife, M; Halloran, J; Rogers, Y; (2002) Let's Work Together: Supporting Two-Party Collaborations with New Forms of Shared Interactive Representations. In: Blay-Fornarino, M and Pinna-Dery, A-M and Schmidt, K and Zaraté, P, (eds.) COOP. (pp. 123 - 138). IOS

Scholg, A; Slater, M; Pfurtscheller, G; (2002) Presence Research and EEG. Presented at: Proceedings of the 5th Annual International Workshop PRESENCE. Porto, Portugal, October 9-11.

Shawe-Taylor, J; Cancedda, N; Cesa-Bianchi, N; Conconi, A; Gentile, C; Goutte, C; Graepel, T; (2002) UNSPECIFIED Presented at: Kernel Methods for Document Filtering.

Shawe-Taylor, J; Cristianini, N; (2002) On the generalization of soft margin algorithms. IEEE Trans. Information Theory , 48 (10) pp. 2721-2735. 10.1109/TIT.2002.802647. Green open access
file

Shawe-Taylor, J; Williams, CKI; (2002) The Stability of Kernel Principal Components Analysis and its Relation to the Process Eigenspectrum. In: Becker, S and Thrun, S and Obermayer, K, (eds.) Advances in Neural Information Processing Systems 15 [Neural Information Processing Systems, NIPS 2002, December 9-14, 2002, Vancouver, British Columbia, Canada]. (pp. 367-374). MIT Press

Shawe-Taylor, J; Williams, CKI; Cristianini, N; Kandola, JS; (2002) On the Eigenspectrum of the Gram Matrix and Its Relationship to the Operator Eigenspectrum. In: Cesa-Bianchi, N and Numao, M and Reischuk, R, (eds.) Algorithmic Learning Theory, 13th International Conference, ALT 2002, Lübeck, Germany, November 24-26, 2002, Proceedings. (pp. 23-40). Springer

Shawe-Taylor, J; Williams, CKI; Cristianini, N; Kandola, JS; (2002) On the Eigenspectrum of the Gram Matrix and Its Relationship to the Operator Eigenspectrum. In: Lange, S and Satoh, K and Smith, CH, (eds.) Discovery Science. (pp. 12 - 12). Springer

Sheeran, A; Sasse, MA; Rimmer, J; Wakeman, I; (2002) How Web Browsers Shape User's Understanding of Networks. The Electronic Library , 20 (1) pp. 35-42.

Slater, M; (2002) Constant Time Queries on Uniformly Distributed Points on a Hemisphere. Journal of Graphics Tools , 7 (1) pp. 33-44.

Slater, M; (2002) Do Avatars Dream of Digital Sheep? Virtual People and the Sense of Presence. Presented at: UNSPECIFIED.

Slater, M; Steed, A; Chrysanthou, Y; (2002) Computer graphics and virtual environments - from realism to real-time. Addison-Wesley

Sokolova, M; Marchand, M; Japkowicz, N; Shawe-Taylor, J; (2002) The Decision List Machine. In: Becker, S and Thrun, S and Obermayer, K, (eds.) Advances in Neural Information Processing Systems 15 [Neural Information Processing Systems, NIPS 2002, December 9-14, 2002, Vancouver, British Columbia, Canada]. (pp. 921-928). MIT Press

Steed, A; Benford, S; Dalton, N; Greenhalgh, C; MacColl, I; Randell, C; Schn delbach, H; (2002) Mixed-Reality Interfaces to Immersive Projection Systems. Presented at: Proceedings of Immersive Projection Technology Workshop. March.

Stelmaszewska, H; Blandford, A; (2002) Patterns of interactions: user behaviour in response to search results. Presented at: UNSPECIFIED. Green open access
file

Stumpf, S; McDonnell, JT; (2002) Talking About Team Framing: Using Argumentation to Analyse and Support Experiential Learning in Early Design Episode. Design Studies , 23 (1) pp. 5-23.

Stumpf, S; McDonnell, JT; (2002) Talking off the Blinkers and Creating Knowledge: Decision Support for Retail Security Specialist. Presented at: Proceedings of the 7th International Psychology and Crime Investigation Conference.University of Liverpool, June 12-14.

Stumpf, S; McDonnell, JT; (2002) Is there an argument for this audience? Presented at: Proceedings of the 5th Conference of the International Society for the Study of Argumentation (ISSA), University of Amsterdam, June 25-28.

T

Tanner, C; Schnabel, JA; Castellano-Smith, AD; Sonoda, LI; Hill, DL; Hawkes, DJ; Degenhard, A; (2002) Comparison of biomechanical breast models: a case study. Presented at: UNSPECIFIED.

Tanner, C; Schnabel, JA; Degenhard, A; Castellano-Smith, AD; Hayes, C; Leach, MO; Hose, DR; (2002) Validation of volume-preserving non-rigid registration: Application to contrast-Enhanced MR-mammography. Presented at: UNSPECIFIED.

Taylor, Z; Miller, K; (2002) Significance of strain rate-dependence in modelling of organic materials. Presented at: UNSPECIFIED.

Terveen, L; Wixon, D; Comstoc, E; Sasse, MA; (2002) Changing the World, Changing Ourselves. Presented at: Proceedings of CHI 2002, Conference on Human Factor in Computing Systems. Minneapolis, Minnesota, April 20-25.

Thimbleby, B; Blandford, A; Cairns, P; Curzon, P; Jones, M; (2002) User Interface Design as Systems Design. In: Faulkner, X and Finlay, J and D'Etienne, F, (eds.) Proceedings People and Computers XVI - Memorable yet Invisible. (pp. 281-301). Springer Green open access
file

Timmis, J; Bentley, PJ; (2002) UNSPECIFIED Presented at: , Editors. Proceedings of the 1st International Conference on Artificial Immune Sytems (ICARIS). University of Canterbury.

U

Ujjin, S; Bentley, PJ; (2002) Learning User Prefernces Using Evolution. Presented at: Proceedings of the 4th Asia-Pacific Conference on Simulated Evolutionary and Learning (SEAL '02). Singapore.

Ujjin, S; Bentley, PJ; (2002) Helping Computers Understand People. In: Cantú-Paz, E, (ed.) GECCO Late Breaking Papers. (pp. 450 - 457). AAAI

Ujjin, S; Bentley, PJ; (2002) Evolving Good Recommendations. Presented at: UNSPECIFIED.

V

Varakliotis, S; Hailes, S; Ostermann, J; (2002) Repair options for 3-D wireframe model animation sequences. Presented at: UNSPECIFIED.

Vinokourov, A; Shawe-Taylor, J; Cristianini, N; (2002) Inferring a Semantic Representation of Text via Cross-Language Correlation Analysis. In: Becker, S and Thrun, S and Obermayer, K, (eds.) Advances in Neural Information Processing Systems 15 [Neural Information Processing Systems, NIPS 2002, December 9-14, 2002, Vancouver, British Columbia, Canada]. (pp. 1473-1480). MIT Press

W

Wang, J; (2002) Detecting and tracking human faces in compressed domain for content based video indexing. Masters thesis, UNSPECIFIED.

Wang, J; Kankanhalli, M; M S, M; P, A; (2002) Face detection using DCT coefficients in MPEG video. Presented at: International Workshop on Advanced Imaging Technology.

Weiss-Lijn, M; McDonnell, JT; James, L; (2002) An Empirical Evaluation of the Interactive Visualization of Metadata to Support Document Use. Visual Interfaces to Digital Libraries

Weiss-Lijn, M; McDonnell, JT; James, L; (2002) Interactive Visualization of Paragraph-level Metadata Support Corporate Document Use. Visualising the Semantic Web

Wong, BLW; Blandford, AE; (2002) Analysing ambulance dispatcher decision making: trialing emergent themes analysis. Presented at: UNSPECIFIED. Green open access
file

X

Xiong, H; Curzon, P; Tahar, S; Blandford, A; (2002) Formally linking MDG and HOL based on a verified MDG system. In: (pp. pp. 205-224).

Xiong, H; Curzon, P; Tahar, S; Blandford, A; (2002) Formally linking MDG and HOL based on a verified MDG system. In: Goos, G and Hartmanis, J and van Leeuwen, J, (eds.) Integrated Formal Methods. (pp. 205-224). Springer Berlin: Heidelberg.

Y

Yang, H; O'Hearn, PW; (2002) A Semantic Basis for Local Reasoning. In: Nielsen, M and Engberg, U, (eds.) FoSSaCS. (pp. 402 - 416). Springer

Yasin, I; Plack, CJ; (2002) Suppression and compression on the basilar membrane. In: (pp. 258-).

Z

Zachariadis, S; Capra, L; Mascolo, C; Emmerich, W; (2002) XMIDDLE: information sharing middleware for a mobile environment. Presented at: UNSPECIFIED.

Zachariadis, S; Mascolo, C; Emmerich, W; (2002) Exploiting Logical Mobility in Mobile Computing Middleware. Presented at: UNSPECIFIED.

Zanolin, L; Mascolo, C; Emmerich, W; (2002) Model checking programmable router configurations. (Research Note 02/23 ). UCL CS Green open access
file

Zhang, X; Munro, M; Harman, M; Hu, L; (2002) Weakest precondition for general recursive programs formalized in coq. In: (pp. pp. 3-12).

Zhang, X; Munro, M; Harman, M; Hu, L; (2002) Weakest Precondition for General Recursive Programs Formalized in Coq. In: Carreño, V and Muñoz, CA and Tahar, S, (eds.) TPHOLs. (pp. 332 - 348). Springer

Zhaoping, L; (2002) Understand conjunction and double feature searches by a saliency map in primary visual cortex. Presented at: Second Annual Meeting of the Vision Science Society, Sarasota, Florida, USA.. Green open access
file

Zhou, S; Mondragon, RJ; (2002) Topological properties of the AS-level Internet. In:

Zhu, X; Ghahramani, Z; (2002) Learning from labeled and unlabeled data with label propagation. Center for Automated Learning and Discovery, CMU: Carnegie Mellon University, USA.

This list was generated on Sun Nov 27 05:16:35 2016 GMT.