Search research publications and outputs

  1. 1997
  2. Measurement and Assurance

    McDermid, J. A., Redmill, F. (ed.) & Dale, C. (ed.), 1997, Life Cycle Management for Dependability. London: Springer-Verlag, p. 77-104 28 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  3. On programming atomic actions in Ada 95

    Romanovsky, A., Mitchell, S. E. & Wellings, A. J., 1997, RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE '97. Hardy, K. & Briggs, J. (eds.). BERLIN 33: SPRINGER-VERLAG BERLIN, p. 254-265 12 p.

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

  4. Part-of-Speech Tagging using Progol

    Cussens, J., 1997, Inductive Logic Programming: Proceedings of the 7th International Workshop (ILP-97). LNAI 1297. SPRINGER, p. 93-108 16 p.

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

  5. Progress in Sign Languages Recognition

    Edwards, A. D. N., 1997, Gesture and Sign Language in Human-Computer Interaction, International Gesture Workshop, Bielefeld, Germany, September 17-19, 1997, Proceedings. Wachsmuth, I. & Fröhlich, M. (eds.). Springer, Vol. 1371. p. 13-21 9 p. (Lecture Notes in Computer Science).

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

  6. Safety Case Construction and Reuse using Patterns

    Kelly, T. P. & McDermid, J. A., 1997, Safe Comp 97 : The 16th International Conference on Computer Safety, Reliability and Security. Springer, p. 55-69

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

  7. Schedulability Analysis of Fixed Priority Real-Time Systems with Offsets

    Bate, I. & Burns, A., 1997, Proceedings of 9th Euromicro Workshop on Real-Time Systems, Toledo, Spain. p. 153-160 8 p.

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

  8. Shape from shading using robust statistics

    Worthington, P. L. & Hancock, E. R., 1997, DSP 97: 1997 13TH INTERNATIONAL CONFERENCE ON DIGITAL SIGNAL PROCESSING PROCEEDINGS, VOLS 1 AND 2. NEW YORK: I E E E, COMPUTER SOC PRESS, p. 1145-1148 4 p.

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

  9. Slice interpolation using the distance transform and morphing

    Luo, B. & Hancock, E. R., 1997, DSP 97: 1997 13TH INTERNATIONAL CONFERENCE ON DIGITAL SIGNAL PROCESSING PROCEEDINGS, VOLS 1 AND 2. NEW YORK: I E E E, COMPUTER SOC PRESS, p. 1083-1086 4 p.

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

  10. Task termination in Ada 95

    Wellings, A. J., Burns, A. & Pazy, O., 1997, RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE '97. Hardy, K. & Briggs, J. (eds.). BERLIN 33: SPRINGER-VERLAG BERLIN, p. 149-160 12 p.

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

  11. Ten steps towards systematic requirements reuse

    Lam, W., McDermid, J. A. & Vickers, A. J., 1997, RE '97 - PROCEEDINGS OF THE THIRD IEEE INTERNATIONAL SYMPOSIUM ON REQUIREMENTS ENGINEERING. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 615 2 p.

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

  12. Two-pass heap profiling: A matter of life and death

    Runciman, C. & Rojemo, N., 1997, IMPLEMENTATION OF FUNCTIONAL LANGUAGES. Kluge, W. (ed.). BERLIN 33: SPRINGER-VERLAG BERLIN, p. 222-232 11 p.

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

  13. Using Inductive Logic Programming for Natural Language Processing

    Cussens, J., Page, D., Muggleton, S. & Srinivasan, A., 1997, ECML'97 -- Workshop Notes on Empirical Learning of Natural Language Tasks. Daelemans, W., Weijters, T. & Bosch, A. V. D. (eds.). Prague: University of Economics, Prague, p. 25-34 10 p.

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

  14. Using neural networks as part of a system to recognise formations of aircraft

    Zanelli, P. R. & Austin, J., 1997, FIFTH INTERNATIONAL CONFERENCE ON ARTIFICIAL NEURAL NETWORKS. EDISON: INST ELECTRICAL ENGINEERS INSPEC INC, p. 152-157 6 p.

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

  15. Guaranteeing timing constraints under shortest remaining processing time scheduling

    Davis, R. I., Burns, A. & Walker, W., Jul 1997, Euromicro Workshop on Real-Time Systems. p. 88-93 6 p.

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

  16. Sensitivity Analysis of Real-Time Task Sets

    Punnekkat, S., Davis, R. I. & Burns, A., Dec 1997, Advances in Computing Science Conference - Asian 97. p. 72-82

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

  17. 1998
  18. A case study for a WWW based CAD framework

    Indrusiak, L. S. & Reis, R. A. D., 1998, XI BRAZILIAN SYMPOSIUM ON INTEGRATED CIRCUIT DESIGN, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 116-119 4 p.

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

  19. A cellular system for pattern recognition using associative neural networks

    Orovas, C. & Austin, J., 1998, CNNA 98 - 1998 FIFTH IEEE INTERNATIONAL WORKSHOP ON CELLULAR NEURAL NETWORKS AND THEIR APPLICATIONS - PROCEEDINGS. Tavsanoglu, V. (ed.). NEW YORK: IEEE, p. 143-148 4 p.

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

  20. An Assessment of Technologies for Multimedia Data streaming

    Crispin-Bailey, C., Maierhofer, M. & Sotudeh, R., 1998, Technologies for the Information Society: Developments and Opportunities. Stanford-Smith, B., Kidd, P. & Roger, J-Y. (eds.). IOS Press, p. 514-519 5 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  21. An automated framework for structural test-data generation

    Tracey, N., Clark, J., Mander, K. & McDermid, J., 1998, 13TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 285-288 4 p.

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

  22. Asynchronous data sharing in multiprocessor real time systems using process consensus

    Chen, J. & Burns, A., 1998, 10TH EUROMICRO WORKSHOP ON REAL-TIME SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 29 8 p.

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

  23. Distributed fault-tolerant avionic systems - A real-time perspective

    Audsley, N. C. & Burke, M., 1998, 1998 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOL 4. NEW YORK: IEEE, p. 43-60 18 p.

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

  24. Edge location with electrostatic region attractors

    Wilson, R. C., Cross, A. D. J. & Hancock, E. R., 1998, 1998 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING - PROCEEDINGS, VOL 2. LOS ALAMITOS: IEEE COMPUTER SOC, p. 535-539 5 p.

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

  25. Estimating vanishing point from the angular correlation of spectral texture distribution

    Ribeiro, E. & Hancock, E. R., 1998, SIBGRAPI '98 - INTERNATIONAL SYMPOSIUM ON COMPUTER GRAPHICS, IMAGE PROCESSING, AND VISION, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 339-345 7 p.

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

  26. Extensible Protected Types

    Kiddle, O. P. & Wellings, A. J., 1998, SIGAda. p. 229-239 11 p.

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

  27. Incorporating input/output operations in LINDA

    Menezes, R. & Wood, A. M., 1998, PROCEEDINGS OF THE THIRTY-FIRST HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOL VII. ElRewini, H. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 216-225 10 p.

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

Previous 12 3 4 5 6 7 8 9 ...80 Next