Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

Advanced search options

Reset

to
51 - 75 out of 1,719Page size: 25
Sort by: Title

  1. A Weakest Precondition Semantics for Refinement of Object-Oriented Programs

    Cavalcanti, A. & Naumann, D. A., 2000

    Article in IEEE Trans. Software Eng.

  2. A Weakest Precondition Semantics for Z

    Cavalcanti, A. & Woodcock, J., 1998

    Article in Int. J. Hum.-Comput. Stud.

  3. A behavioural intervention improved cognitive function and depression in elderly people in residential homes

    Proctor, R., Stratton-Powell, H., Burns, A., Tarrier, N., Richardson, G., Davies, L., South, B. & Farragher, B., 2000

    Article in Evidence Based Nursing

  4. A binary neural decision table classifier

    Hodge, V. J., O'Keefe, S. & Austin, J., Oct 2006

    Article in Neurocomputing

  5. A bound for the Symmetric Travelling Salesman Problem through matroid formulation

    Cowling, P. & Maffioli, F., 1995

    Article in European Journal of Operational Research

  6. A class of asynchronous multisplitting two-stage iterations for large sparse block systems of weakly nonlinear equations

    Bai, Z. Z., Evans, D. J. & Calinescu, R. C., 30 Oct 1999

    Article in Journal of Computational and Applied Mathematics

  7. A commentary on short questionnaires for assessing usability

    Cairns, P., Jul 2013

    Article in Interacting With Computers

  8. A comparison of Cartesian coordinate-based representations for building three-dimensional models of faces

    Castelan, M. & Hancock, E. R., 2005

    Article in 2005 International Conference on Image Processing (ICIP), Vols 1-5

  9. A constraint language for specifying combinatorial problems

    Frisch, A., Harvey, W., Jefferson, C., Martínez-Hernández, B. & Miguel, I., Sep 2008

    Article in Journal of Constraints

  10. A coupled statistical model for face shape recovery

    Castelan, M., Smith, W. A. P. & Hancock, E. R., 2006

    Article in STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION, PROCEEDINGS

  11. A coupled statistical model for face shape recovery from brightness images

    Castelan, M., Smith, W. A. P. & Hancock, E. R., Apr 2007

    Article in IEEE Transactions on Image Processing

  12. A deadline-floor inheritance protocol for EDF scheduled embedded real-time systems with resource sharing

    Burns, A., Gutierrez, M., Aldea, M. & Harbour, M. G., 1 May 2015

    Article in IEEE Transactions on Computers

  13. A dependable distributed architecture for a safety critical hard real-time system

    Bate, I. J. & Burns, A., 1 Dec 1997

    Article in IEE Colloquium (Digest)

  14. A fast leading eigenvector approximation for segmentation and grouping

    Robles-Kelly, A., Sarkar, S. & Hancock, E. R., 2002

    Article in 16TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOL II, PROCEEDINGS

  15. A flexible decision support system for steel hot rolling mill scheduling

    Cowling, P., 2003

    Article in Computers Industrial Engineering

  16. A foundation for developing a methodology for social network sampling

    Franks, D. W., James, R., Noble, J. & Ruxton, G., May 2009

    Article in Behavioral Ecology and Sociobiology

  17. A framework for modelling trojans and computer virus infection

    Thimbleby, H., Anderson, S. & Cairns, P., 1998

    Article in The Computer Journal

  18. A framework for real-time utilities for Ada 2005

    Wellings, A. J. & Burns, A., 1 Mar 2008

    Article in Ada User Journal

  19. A generative model for graph matching and embedding

    Xiao, B., Hancock, E. R. & Wilson, R. C., 1 Jul 2009

    Article in Computer Vision and Image Understanding

  20. A graph-spectral approach to correspondence matching

    Robles-Kelly, A. & Hancock, E. R., 2002

    Article in 16TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITON, VOL IV, PROCEEDINGS

  21. A graph-spectral approach to surface segmentation

    Robles-Kelly, A. & Hancock, E. R., 2002

    Article in 16TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOL III, PROCEEDINGS

  22. A graph-spectral method for surface height recovery

    Robles-Kelly, A. & Hancock, E. R., 1 Aug 2005

    Article in Pattern recognition

  23. A graph-spectral method for surface height recovery from needle-maps

    Robles-Kelly, A. & Hancock, E. R., 2001

    Article in 2001 IEEE COMPUTER SOCIETY CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION, VOL 1, PROCEEDINGS

  24. A greedy classification algorithm based on association rule

    Thabtah, F. A. & Cowling, P. I., 2007

    Article in APPLIED SOFT COMPUTING

  25. A hierarchical framework for shape recognition using articulated shape mixtures

    Al Shaher, A. & Hancock, E. R., 2004

    Article in IMAGE ANALYSIS AND RECOGNITION, PT 1, PROCEEDINGS

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