Search research publications and outputs

  1. 1994
  2. NOISE MODELS FOR LINEAR FEATURE DETECTION IN SAR IMAGES

    EVANS, A. N., SHARP, N. G. & HANCOCK, E. R., 1994, ICIP-94 - PROCEEDINGS, VOL I. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 466-470 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Non-Interference Through Determinism

    Roscoe, A. W., Woodcock, J. & Wulf, L., 1994, Computer Security - ESORICS 94, Third European Symposium on Research in Computer Security, Brighton, UK, November 7-9, 1994, Proceedings. Gollmann, D. (ed.). SPRINGER, Vol. 875. p. 33-53 21 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. RELATIONAL MATCHING BY DISCRETE RELAXATION

    WILSON, R. C., EVANS, A. N. & HANCOCK, E. R., 1994, BMVC94 - PROCEEDINGS OF THE 5TH BRITISH MACHINE VISION CONFERENCE, VOLS 1 AND 2. YORK: BRITISH MACHINE VISION CONF, p. 43-53 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. The Formal Specification in Z of Defence Standard 00-56

    Woodcock, J., Gardiner, P. H. B. & Hulance, J. R., 1994, Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings. Bowen, J. P. & Hall, J. A. (eds.). Springer/BCS, p. 9-28 20 p. (Workshops in Computing).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. The design and evaluation of an auditory-enhanced scrollbar

    Brewster, S. A., Wright, P. C. & Edwards, A. D. N., 1994, HUMAN FACTORS IN COMPUTING SYSTEMS, CHI '94 CONFERENCE PROCEEDINGS - CELEBRATING INTERDEPENDENCE. Adelson, B., Dumais, S. & Olson, J. (eds.). NEW YORK: ASSOC COMPUTING MACHINERY, p. 173-179 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. 1993
  8. The end of the line for static cyclic scheduling?

    Audsley, N., Tindell, K. & Burns, A., 1 Dec 1993, Proceedings - 5th Euromicro Workshop on Real-Time Systems, ECRTS 1993. p. 36-41 6 p. 639042

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. Scheduling Slack Time in Fixed priority Pre-emptive Systems

    Davis, R. I., Tindell, K. W. & Burns, A., Dec 1993, IEEE Real-Time Systems Symposium. p. 222-231 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. A BAYESIAN INTERPRETATION FOR THE HOPFIELD NETWORK

    HANCOCK, E. R. & KITTLER, J., 1993, 1993 IEEE INTERNATIONAL CONFERENCE ON NEURAL NETWORKS, VOLS 1-3. NEW YORK: I E E E, COMPUTER SOC PRESS, p. 341-346 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. AN EVALUATION OF EARCONS FOR USE IN AUDITORY HUMAN-COMPUTER INTERFACES

    Brewster, S. A., Wright, P. C. & Edwards, A. D. N., 1993, HUMAN FACTORS IN COMPUTING SYSTEMS. Ashlund, S., Henderson, A., Hollnagel, E., Mullet, K. & White, T. (eds.). AMSTERDAM: I O S PRESS, p. 222-227 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  12. Bayes and pseudo-Bayes estimates of conditional probability and their reliability

    Cussens, J., 1993, Machine Learning: ECML-93. Brazdil, P. B. (ed.). Springer, Vol. 667. p. 136-152 17 p. (LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  13. Generating explicit orderings for non-monotonic logics

    Cussens, J., Hunter, A. & Srinivasan, A., 1993, Proc. of the Eleventh National Conference on Artificial Intelligence (AAAI-93). MIT Press, p. 420-425 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  14. HIERARCHICAL RELAXATION

    LAU, W. H., HANCOCK, E. R. & WILSON, R. C., 1993, PROCEEDINGS OF THE 5TH UNB ARTIFICIAL INTELLIGENCE SYMPOSIUM. FREDERICTON: UNIV NEW BRUNSWICK PRESS, p. 111-121 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  15. RESOLVING EDGE-LINE AMBIGUITIES USING PROBABILISTIC RELAXATION

    HANCOCK, E. R., 1993, 1993 IEEE COMPUTER SOCIETY CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION : PROCEEDINGS. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 300-306 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  16. The Olympus Attitude and Orbital Control System: A Case Study in Hard Real-Time System Design and Implementation

    Burns, A., Wellings, A. J., Bailey, C. M. & Fyfe, E., 1993, Ada-Europe '93: 12th Ada-Europe International Conference, Ada Sans Frontières, Paris, France, June 14-18, 1993. Gauthier, M. (ed.). Springer, Vol. 688. p. 19-35 17 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  17. Using maximum entropy in a defeasible logic with probabilistic semantics

    Cussens, J. & Hunter, A., 1993, IPMU'92 - Advanced Techniques in Artificial Intelligence. Bouchon-Meunier, B., Valverde, L. & Yager, R. R. (eds.). Lecture Notes in Computer Science 682, Springer-Verlag, p. 43-52 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  18. 1992
  19. Absolute and relative temporal constraints in hard real-time databases

    Audsley, N. C., Burns, A., Richardson, M. F. & Wellings, A. J., 1 Dec 1992, Proceedings - 4th Euromicro Workshop on Real-Time Systems, ECRTS 1992. p. 148-153 6 p. 637486

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  20. A HIERARCHICAL EVIDENCE COMBINING EDGE DETECTOR

    HANCOCK, E. R., HAINDL, M. & KITTLER, J., 1992, PROGRESS IN IMAGE ANALYSIS AND PROCESSING II. SINGAPORE: WORLD SCIENTIFIC PUBL CO PTE LTD, p. 494-501 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  21. A RELATIONAL PROGRAMMING SYSTEM WITH INFERRED REPRESENTATIONS

    Cattrall, D. & Runciman, C., 1992, PROGRAMMING LANGUAGE IMPLEMENTATION AND LOGIC PROGRAMMING. Bruynooghe, M. & Wirsing, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 475-476 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  22. MULTIRESOLUTION EDGE LABELING USING HIERARCHICAL-RELAXATION

    HANCOCK, E. R., HAINDL, M. & KITTLER, J., 1992, 11TH IAPR INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, PROCEEDINGS, VOL II. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 140-144 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  23. RELAXATIONAL REFINEMENT OF INTENSITY RIDGES

    HANCOCK, E. R. & KITTLER, J., 1992, 11TH IAPR INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, PROCEEDINGS, VOL III. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 459-463 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  24. THE STRUCTURE OF PERMISSIONS - A NORMATIVE FRAMEWORK FOR ACCESS RIGHTS

    Morris, P. & McDermid, J., 1992, DATABASE SECURITY, V. Landwehr, CE. & Jajodia, S. (eds.). AMSTERDAM: ELSEVIER SCIENCE PUBL B V, p. 77-97 21 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  25. 1991
  26. ADAPTIVE ESTIMATION OF HYSTERESIS THRESHOLDS

    HANCOCK, E. R. & KITTLER, J., 1991, 1991 IEEE COMPUTER SOCIETY CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 196-201 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  27. LINEARITY AND LAZINESS

    Wakeling, D. & Runciman, C., 1991, FUNCTIONAL PROGRAMMING LANGUAGES AND COMPUTER ARCHITECTURE. HUGHES, J. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, p. 215-240 26 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  28. Using defeasible logic for a window on a probabilistic database: some preliminary notes

    Cussens, J. & Hunter, A., 1991, Symbolic and Quantitative Approaches for Uncertainty. Kruse, R. & Seigel, P. (eds.). Springer, Vol. 548. p. 146-152 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  29. 1989
  30. USER MODELING BY CLASSIFICATION - A NEURAL-BASED APPROACH

    Beale, R., Finlay, J., Austin, J. & Harrison, M., 1989, NEW DEVELOPMENTS IN NEURAL COMPUTING. TAYLOR, JG. & MANNION, CLT. (eds.). BRISTOL: ADAM HILGER LTD, p. 103-110 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution