Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

Advanced search options

Reset

to
1 - 50 out of 1,719Page size: 50
Sort by: Title

  1. "Going back to our roots": second generation biocomputing

    Timmis, J., Amos, M., Banzhaf, W. & Tyrrell, A. M., 2005

    Article in CoRR

  2. 'Liveness' in human-machine interaction

    Newell, C., Edwards, A. D. N. & Cairns, P. A., 2011

    Article in International Journal of Performance Arts and Digital Media

  3. 3D Euclidean Reconstruction of Buildings from Uncalibrated Image Sequences

    Wu, C., Liu, Y., Pears, N. & Chen, Z., 2004

    Article in International Journal of Shape Modelling

  4. 3D integrated circuit layout visualization using VRML

    Indrusiak, L. S. & Reis, R. A. D., Mar 2001

    Article in Future generation computer systems

  5. 3D modelling of multiple object scenes from sets of images

    Grum, M. & Bors, A. G., Jan 2014

    Article in Pattern recognition

  6. 3D morphable face models revisited

    Patel, A. & Smith, W. A. P., 2009

    Article in Computer Vision and Pattern Recognition, IEEE Computer Society Conference on

  7. 3D triangular mesh parametrization using Locally Linear Embedding

    Sun, X. F. & Hancock, E. R., 2005

    Article in COMPUTER ANALYSIS OF IMAGES AND PATTERNS, PROCEEDINGS

  8. 6th International Conference on Autonomic and Autonomous Systems, ICAS 2010: Preface

    Bauer, M., Calinescu, R., Esmahi, L., Galis, A., Grottke, M., Liotta, A. & Truszkowski, W. F., 24 May 2010

    Article in 6th International Conference on Autonomic and Autonomous Systems, ICAS 2010

  9. A "Hardware Compiler" Semantics for Handel-C

    Butterfield, A. & Woodcock, J., 2006

    Article in Electr. Notes Theor. Comput. Sci.

  10. A BAYESIAN FRAMEWORK FOR HIERARCHICAL RELAXATION

    HANCOCK, E. R. & WILSON, R. C., 1994

    Article in PROCEEDINGS OF THE 12TH IAPR INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOL II - CONFERENCE B: PATTERN RECOGNITION AND NEURAL NETWORKS

  11. A Bayesian compatibility model for graph matching

    Wilson, R. C. & Hancock, E. R., 6 Mar 1996

    Article in Pattern Recognition Letters

  12. A Bayesian framework for 3D surface estimation

    Turner, M. & Hancock, ER., 1 Apr 2001

    Article in Pattern recognition

  13. A Bayesian framework for radar shape-from-shading

    Bors, A. G., Hancock, E. R. & Wilson, R. C., 2000

    Article in IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION, PROCEEDINGS, VOL I

  14. A Bayesian interpretation for the exponential correlation associative memory

    Hancock, E. R. & Pelillo, M., 1 Feb 1998

    Article in Pattern Recognition Letters

  15. A Bibliography on Hybrid Reasoning

    Frisch, A. M. & Scherl, R. B., 1991

    Article in AI Magazine

  16. A CSP model of Eiffel's SCOOP

    Brooke, P. J., Paige, R. F. & Jacob, J. L., Nov 2007

    Article in Formal Aspects of Computing

  17. A Case Study using Lightweight Formalism to Review an Information System Specification

    Polack, F., 10 Jul 2001

    Article in Software-Practice & experience

  18. A Chain Datatype in Z

    Freitas, L. & Woodcock, J., 2009

    Article in Int. J. Software and Informatics

  19. A Comparison between Fixed Priority and EDF Scheduling accounting for Cache Related Pre-emption Delays

    Lunniss, W., Altmeyer, S. & Davis, R. I., 2014

    Article in LITES: Leibniz Transactions on Embedded Systems

  20. A Demonstrably Correct Compiler

    Stepney, S., Whitely, D., Cooper, D. & Grant, C., 1991

    Article in Formal Asp. Comput.

  21. A Denotational Semantics for Circus

    Oliveira, M., Cavalcanti, A. & Woodcock, J., 2007

    Article in Electr. Notes Theor. Comput. Sci.

  22. A Disconnected Service Architecture for Unanticipated Runtime Evolution of Code

    Oriol, M. & Di Marzo Serugendo, G., 2004

    Article in IEE Proceedings - Software

  23. A Distributed In-Network Caching Scheme For P2P-Like Content Chunk Delivery

    Zhang, X., Wang, N., Vasilakis, V. & Howarth, M., 14 Nov 2015

    Article in Computer Networks

  24. A FRAMEWORK FOR BUILDING DEPENDABLE SYSTEMS

    Burns, A. & Lister, A. M., Apr 1991

    Article in Computer journal

  25. A Formal Specification of Fault Trees for SAM

    Liu, S. & McDermid, J. A., 1997

    Article in IPS Transactions on Information Processing

  26. A Framework for Flexible Scheduling in the RTSJ

    Zerzelidis, A. & Wellings, A., Aug 2010

    Article in ACM Transactions in Embedded Computing Systems

  27. A Fuzzy Binary Neural Network for Interpretable Classifications

    Meyer, R. & O'Keefe, S., 9 Dec 2013

    Article in Neurocomputing

  28. A Generic Goal-Based Certification Argument for the Justification of Formal Analysis

    Habli, I. & Kelly, T., 28 Sep 2009

    Article in Electr. Notes Theor. Comput. Sci.

  29. A Harmonised Model for Safety Assessment and Certification of Safety Critical Systems

    Papadopoulos, Y. & McDermid, J. A., 1998

    Article in RequirementsEngineering Journal

  30. A Java Bread-Board Simulator: Digital Circuit Simulation with an Open-Source Toolset

    Crispin-Bailey, C., 2010

    Article in IADIS INTERNATIONAL JOURNAL ON COMPUTER SCIENCE AND INFORMATION SYSTEMS

  31. A MODULA-2 IMPLEMENTATION OF A REAL-TIME PROCESS ABSTRACTION

    Burns, A., Davies, G. L. & Wellings, A. J., Oct 1988

    Article in Sigplan notices

  32. A Machine-Learning Approach to Keypoint Detection and Landmarking on 3D Meshes

    Creusot, C., Pears, N. & Austin, J., Mar 2012

    Article in International Journal of Computer Vision

  33. A Model for Causal Logic for Requirements Engineering

    Moffett, J. D., Hall, J. G., Coombes, A. & McDermid, J. A., 1996

    Article in Symposium on Requirements Engineering ¿

  34. A Model for a Causal Logic for Requirements Engineering

    Moffett, J. D., Hall, J. G., Coombes, A. & McDermid, J. A., 1996

    Article in Requir. Eng.

  35. A Mössbauer investigation of advanced magnetic recording media

    Walton, S. A., Dickson, D. P. E., O'Grady, K. & Mayo, P. I., 1998

    Article in Hyperfine Interactions

  36. A Novel Model and Method Based on Nash Equilibrium for Medical Image Segmentation

    Zhang, T. C., Zhang, J., Zhang, J. P., Smith, M. L. & Hancock, E. R., 1 Jun 2018

    Article in JOURNAL OF MEDICAL IMAGING AND HEALTH INFORMATICS

  37. A PERFORMANCE ANALYSIS OF TOROIDAL MESH NETWORKS

    MacHaria, G. M. & Austin, J., Aug 1990

    Article in Microprocessing and microprogramming

  38. A Perceptual and Affective Evaluation of an Affectively Driven Engine for Video Game Soundtracking

    Williams, D. A. H., Dec 2016

    Article in ACM Computers in Entertainment

  39. A Practical Language and Toolset for High-Integrity Tools

    Toyn, I., Cattrall, D. M., McDermid, J. A. & Jacob, J. L., 1998

    Article in Journal of Systems and Software

  40. A Review of Fixed Priority and EDF scheduling for hard real-time uniprocessor systems

    Davis, R. I., Feb 2014

    Article in ACM SIGBED Review

  41. A Riemannian approach to graph embedding

    Robles-Kelly, A. & Hancock, E. R., Mar 2007

    Article in Pattern recognition

  42. A Riemannian weighted filter for edge-sensitive image smoothing

    Zhang, F. & Hancock, E. R., 2006

    Article in 18th International Conference on Pattern Recognition, Vol 1, Proceedings

  43. A Rigorous Method for Inspection of Model-Based Formal Specifications

    Liu, S., McDermid, J. A. & Chen, Y., Dec 2010

    Article in IEEE Transactions on Reliability

  44. A SCHEMATIC ENTRY DRAWING CAPABILITY IN A LINEARIZED HYPERMEDIA SYSTEM

    Benest, I. D., Dec 1994

    Article in Computer graphics forum

  45. A Schematic Entry Drawing Capability in a Linearised Hypermedia System

    Benest, I. D., 1994

    Article in Comput. Graph. Forum

  46. A Semi-Partitioned Model for Mixed Criticality Systems

    Xu, H. & Burns, A., 1 Apr 2019

    Article in Journal of Systems and Software

  47. A Survey of Hard Real-Time Scheduling for Multiprocessor Systems

    Davis, R. & Burns, A., 1 Oct 2011

    Article in ACM Comput. Surv.

  48. A Tactic Calculus-Abridged Version

    Martin, A. P., Gardiner, P. H. B. & Woodcock, J., 1996

    Article in Formal Asp. Comput.

  49. A UTP semantics for Circus

    Oliveira, M., Cavalcanti, A. & Woodcock, J., 1 Feb 2009

    Article in Formal Aspects of Computing

  50. A Unification Algorithm for GP 2

    Hristakiev, I. & Plump, D., 2015

    Article in Electronic Communications of the EASST

Previous 1 2 3 4 5 6 7 8 ...35 Next