Search research publications and outputs

  1. Chapter › Research
  2. 3D Face Recognition

    Mian, A. & Pears, N. E., 2012, 3D Imaging, Analysis and Applications. Springer, p. 311-366 55 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  3. 3D Shape Classification Using Commute Time

    Haseeb, M. & Hancock, E., 2012, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, SSPRSPR 2012, Hiroshima, Japan, November 7-9, 2012. Proceedings. Gimel'farb, G. L., Hancock, E. R., Imiya, A., Kuijper, A., Kudo, M., Omachi, S., Windeatt, T. & Yamada, K. (eds.). Springer Berlin/Heidelberg, Vol. 7626. p. 208-215 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  4. A Jensen-Shannon Kernel for Hypergraphs

    Bai, L., Hancock, E. & Ren, P., 2012, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, SSPRSPR 2012, Hiroshima, Japan, November 7-9, 2012. Proceedings. Gimel'farb, G. L., Hancock, E. R., Imiya, A., Kuijper, A., Kudo, M., Omachi, S., Windeatt, T. & Yamada, K. (eds.). Springer Berlin/Heidelberg, Vol. 7626. p. 181-189 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  5. A Multi-layered Immune Inspired Machine Learning Algorithm

    Knight, T. & Timmis, J., 2003, Applications and Science in Soft Computing. Springer, p. 195-202 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  6. A Search-Based Automated Test-Data Generation Framework for Safety-Critical Systems

    Tracey, N. J., Clark, J. A., McDermid, J. A., Mander, K. C. & Henderson, P. (ed.), 2002, Systems Engineering for Business Process Change: New Directions - Collected Papers from the EPSRC Research Programme. Springer-verlag, p. 174-213 40 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  7. A Statistical Operator for Detecting Weak Edges in Low Contrast Images

    Mittal, A., Sofat, S., Hancock, E. R. & Mousset, S., 2012, Image Analysis and Recognition - 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings, Part I. Campilho, A. J. C. & Kamel, M. S. (eds.). PART 1 ed. Springer Berlin/Heidelberg, Vol. 7324. p. 89-96 8 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  8. An Argument-Based Approach to the Integration of Safety and Design

    Attwood, K. C., Kelly, T. & Wilkinson, P., 2009, Journal of the Safety and Reliability Society. 4 ed. Vol. 29. p. 5-16 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  9. An Artificial Immune System for Robot Organisms

    Timmis, J., Tyrrell, A., Mokhtar, M., Ismail, A., Owens, N. & Bi, R., Jun 2010, Symbiotic Multi-Robot Organisms: Reliability, Adaptability and Evolution. Levi & Kernback (eds.). Springer, p. 268-288 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  10. 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

  11. An Efficient Scheme for Color Edge Detection in Uniform Color Space

    Mittal, A., Sofat, S. & Hancock, E. R., 2012, Autonomous and Intelligent Systems - Third International Conference, AIS 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings. Kamel, M., Karray, F. & Hagras, H. (eds.). Springer, Vol. 7326. p. 260-267 8 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  12. An Efficient VLSI Architecture for an Enhanced TSS Algorithm for Video Coding Applications

    Xu, D., Crispin-Bailey, C. & Sotudeh, R., Oct 1998, Recent Advances in Information Science and Technology. World Scientific Publishing, p. 82-86 5 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  13. An Introduction to Inductive Logic Programming and Learning Language in Logic

    Dzeroski, S., Cussens, J. & Manandhar, S., 1999, Learning Language in Logic : Lecture Notes in Artificial Intelligence 1925. Springer, Vol. 1925/2000. p. 3-36 (Lecture Notes in Computer Science/ Lecture Notes in Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  14. An overview of artificial immune systems

    Timmis, J., Knight, T., Castro, L. N. D. & Hart, E., 2004, Computation in Cells and Tissues: Perspectives and Tools for Thought. Springer, p. 51-86 36 p. (Natural Computation).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  15. Approximate Axial Symmetries from Continuous Time Quantum Walks

    Rossi, L., Torsello, A. & Hancock, E., 2012, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, SSPRSPR 2012, Hiroshima, Japan, November 7-9, 2012. Proceedings. Gimel'farb, G. L., Hancock, E. R., Imiya, A., Kuijper, A., Kudo, M., Omachi, S., Windeatt, T. & Yamada, K. (eds.). Springer Berlin/Heidelberg, Vol. 7626. p. 144-152 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  16. Artificial Immune Systems: A Novel Approach to Pattern Recognition

    Castro, L. N. D. & Timmis, J., 2002, Artificial Neural Networks in Pattern Recognition. University of Paisley, p. 67-84 18 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  17. Artificial immune systems: Using the immune system as inspiration for data mining

    Timmis, J. & Knight, T., 2001, Data Mining: A Heuristic Approach. Idea Group, p. 209-230 22 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  18. Assessing Software Interference Management When Modifying Safety-Related Software: Computer Safety, Reliability, and Security

    Graydon, P. J. & Kelly, T., 2012, Computer Safety, Reliability, and Security. Ortmeier, F. & Daniel, P. (eds.). Springer Berlin / Heidelberg, Vol. 7613. p. 132-145 14 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  19. Assurance

    McDermid, J. A. & Anderson, T. (ed.), 1987, Safe and Secure Computing Systems. Blackwell Scientific, p. 163-188 26 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  20. Assurance cases for block-configurable software

    Hawkins, R., Miyazawa, A., Cavalcanti, A., Kelly, T. & Rowlands, J., 2014, Computer Safety, Reliability, and Security: 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings. Bondavalli, A. & Di Giandomenico, F. (eds.). Cham: Springer-Verlag, Vol. 8666 LNCS. p. 155-169 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8666 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  21. Auditory Display in Assistive Technology

    Edwards, A. D. N., 2011, The Sonification Handbook. Hermann, T., Hunt, A. & Neuhoff, J. (eds.). Berlin: Logos Verlag Berlin

    Research output: Chapter in Book/Report/Conference proceedingChapter

  22. CADiZ - Computer Aided Design in Z

    Jordan, D. T., McDermid, J. A., Toyn, I. & Nicholls, J. E. (ed.), 1991, Z User Workshop, Oxford 1990. Springer-Verlag, p. 93-104 12 p. (Workshops in Computing).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  23. CLP(BN ): constraint logic programming for probabilistic knowledge

    Santos Costa, V., Page, D. & Cussens, J., 2008, Probabilistic Inductive Logic Programming: Theory and Applications. De Raedt, L., Frasconi, P., Kersting, K. & Muggleton, S. (eds.). Berlin: Springer, p. 156-188 32 p. (Lecture Notes in Artificial Intelligence; vol. 4911).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  24. CONVERSE: A Family Oriented Software Development Process for Engine Controllers

    Buttle, D. L., Clark, J. A., McDermid, J. A., Stephenson, Z. R. & Henderson, P. (ed.), 2002, Systems Engineering for Business Process Change. Springer-verlag, p. 38-73 36 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  25. Chemometrics Applied to NMR Analysis

    Wilson, J. C., Rusilowicz, M. J., O'Keefe, S. & Charlton, A., 2013, Encyclopedia of Analytical Chemistry. John Wiley & Sons;, 32 p. (Encyclopedia of Analytical Chemistry).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  26. Computing gender difference using Fisher-Rao metric from facial surface normals

    Ceolin, S. & Hancock, E. R., 1 Aug 2012, SIBGRAPI 2012 (XXV Conference on Graphics, Patterns and Images). C. Freitas L. Silva, R. S. & Sarkar, S. (eds.). p. 336-343 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  27. Connectionist propositional logic a simple correlation matrix memory based reasoning system

    Kustrin, D. & Austin, J., 2001, EMERGENT NEURAL COMPUTATIONAL ARCHITECTURES BASED ON NEUROSCIENCE: TOWARDS NEUROSCIENCE-INSPIRED COMPUTING. BERLIN: SPRINGER-VERLAG BERLIN, p. 534-546 13 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  28. Contracting for Assurance of Military Aviation Software Systems

    Reinhardt, D. W. & McDermid, J. A., 2012, Proceedings of the Australian System Safety Conference 2012.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  29. Defence Standard 00-56 Issue 4: Towards Evidence-Based Safety Standards

    Menon, C., Hawkins, R. & McDermid, J., 2009, Safety-Critical Systems: Problems, Process and Practice: Proceedings of the Seventeenth Safety-Critical Systems Symposium Brighton, UK, 3 - 5 February 2009 . Dale, C. & Anderson, T. (eds.). SPRINGER, p. 223-243 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  30. Designing resource-constrained embedded heterogeneous systems to cope with variability

    Gray, I., Acquaviva, A. & Audsley, N., 30 Jun 2014, Handbook of Research on Embedded Systems Design. IGI Global, p. 75-101 27 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  31. Detection of Edges in Color Images: A Review and Evaluative Comparison of State-of-the-Art Techniques

    Mittal, A., Sofat, S. & Hancock, E. R., 2012, Autonomous and Intelligent Systems - Third International Conference, AIS 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings. Kamel, M., Karray, F. & Hagras, H. (eds.). Springer, Vol. 7326. p. 250-259 10 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  32. Effective High Level SysML/MARTE Methodology for Real-Time and Embedded Avionics Systems

    Gray, I., Bagnato, A., Brosse, E., Quadri, I. R., Sadovykh, A., Soares Indrusiak, L., Paige, R. F., Rossi, M., Crippa, M. C., Genolini, S., Hansen, S., Meisel-Blohm, G., Audsley, N. C., Kolovos, D., Matragkas, N. & Baresi, L., 2014, Handbook of Research on Embedded Systems Design. IGI Global, p. 181-208

    Research output: Chapter in Book/Report/Conference proceedingChapter

  33. Embodiment

    Stepney, S., Flower, D. (ed.) & Timmis, J. (ed.), 2007, In Silico Immunology. Springer, p. 265-288 24 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  34. Energy and Environment

    Emberson, L., Rockström, J., He, K., Amann, M., Barron, J., Feresu, S., Hicks, K., Johanson, F. X., Karlqvist, A., Klimont, Z., Mylvakanam, I., Offutt, M., Song, W. W., Vallack, H. & Zhang, Q., 2012, The Global Energy Assessment: Toward a Sustainable Future : key findings summary for policymakers technical summary. IIASA, Laxenburg, Austria and Cambridge University Press, UK, p. 191-254

    Research output: Chapter in Book/Report/Conference proceedingChapter

  35. Engagement with an interactive museum exhibit

    Haywood, N., Cairns, P., McEwan, T. (ed.), Gulliksen, J. (ed.) & Benyon, D. (ed.), Dec 2007, People and Computers XIX — The Bigger Picture. London: Springer, p. 113-129 16 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  36. Engineering Safety Critical Systems

    McDermid, J. A., 1996, Computing Tomorrow : Future Research Directions in Computer Science. Wand, I. & Milner, R. (eds.). Cambridge: CUP, p. 217-245

    Research output: Chapter in Book/Report/Conference proceedingChapter

  37. Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control

    Kurd, Z., Kelly, T., McDermid, J., Calinescu, R. & Kwiatkowska, M., 2009, Computer Safety, Reliability, and Security: 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings . Buth, B., Rabe, G. & Seyfarth, T. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5775. p. 326-341 16 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  38. Estimating Surface Characteristics and Extracting Features from Polarisation

    Zhang, L. & Hancock, E., 2012, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, SSPRSPR 2012, Hiroshima, Japan, November 7-9, 2012. Proceedings. Gimel'farb, G. L., Hancock, E. R., Imiya, A., Kuijper, A., Kudo, M., Omachi, S., Windeatt, T. & Yamada, K. (eds.). Springer Berlin/Heidelberg, Vol. 7626. p. 400-408 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  39. Exploring enterprise information systems

    Tabatabaie, M., Paige, R. & Kimble, C., 1 Dec 2009, Social, Managerial, and Organizational Dimensions of Enterprise Information Systems. IGI Global, p. 415-432 18 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  40. Family diversity and poverty and the mental wellbeing of young people

    Clarke, L., Bradshaw, J. & Williams, J., 2000, Changing Families, Changing Communities: Researching Health and Wellbeing Among Children and Young People, Proceedings of a joint conference held by the HEA Research Directorate and Young People's Health Network. Ryan, H. & Bull, J. (eds.). London: Health Development Agency, p. pp. 39-58 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  41. Fine-Grained Timing Using Genetic Programming

    White, D. R., Tapiador, J. E., Castro, J. C. H., Clark, J. A., Esparcia-Alcázar, A. I. (ed.), Ekárt, A. (ed.), Silva, S. (ed.), Dignum, S. (ed.) & Etaner-Uyar, A. S. (ed.), 2010, Genetic Programming, 13th European Conference, EuroGP 2010, Istanbul, Turkey, April 7-9, 2010. Proceedings. Springer, Vol. 6021. p. 325-336 12 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  42. Formal Methods for Real-Time Systems

    Barroca, L. M., McDermid, J. A., Halang, W. A. (ed.) & Stoyenko, A. D. (ed.), 1994, Real-Time Computing. Berlin: Springer-verlag

    Research output: Chapter in Book/Report/Conference proceedingChapter

  43. Formal Methods for the Development and Verification of Autonomic IT Systems

    Calinescu, R., Kikuchi, S. & Kwiatkowska, M., 2012, Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification. Cong-Vinh, P. (ed.). IGI Global, p. 1-37

    Research output: Chapter in Book/Report/Conference proceedingChapter

  44. Formal Methods: Use and Relevance for the Development of Safety Critical Systems

    McDermid, J. A. & Bennett, P. A. (ed.), 1993, Safety Aspects of Computer Control. Oxford: Butterworth Heinemann, p. 96-153 58 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  45. Formal Specification of an Aerospace System: the Attitude Monitor

    Barroca, LM., Coombes, A. C., Fitzgerald, J. C., McDermid, J. A., Saeed, A., Spencer, L., Hinchey, M. (ed.) & Bowen, J. (ed.), 1995, Applications of Formal Methods. Prentice Hall, p. 307-332 26 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  46. Fostering character education with games and interactive story generation

    Hodhod, R., Cairns, P. & Kudenko, D., 2010, Designing Games for Ethics: Models, Techniques and Frameworks. IGI Global, p. 208-233 26 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  47. From immersion to addiction in videogames

    Seah, M. & Cairns, P., 2008, Proceedings of the 22nd British HCI Group Annual. British Computer Society Swinton, UK, UK, Vol. 1. p. 55-63

    Research output: Chapter in Book/Report/Conference proceedingChapter

  48. General-purpose autonomic computing

    Calinescu, R., 1 Dec 2009, Autonomic Computing and Networking. Springer US, p. 3-30 28 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  49. Graph Complexity from the Jensen-Shannon Divergence

    Bai, L. & Hancock, E., 2012, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, SSPRSPR 2012, Hiroshima, Japan, November 7-9, 2012. Proceedings. Gimel'farb, G. L., Hancock, E. R., Imiya, A., Kuijper, A., Kudo, M., Omachi, S., Windeatt, T. & Yamada, K. (eds.). Springer Berlin/Heidelberg, Vol. 7626. p. 79-88 10 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  50. Graph heat kernel based image smoothing

    Fan, Z., Hancock, E. R. & Shang, L., 1 Dec 2012, Graph-Based Methods in Computer Vision: Developments and Applications. IGI Global, p. 302-330 29 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  51. HOOD

    Buxton, J. N., McDermid, J. A., Thayer, K. (ed.) & McGettrick, A. D. (ed.), 1993, Software Engineering: A European Perspective. IEEE Computer Society Press

    Research output: Chapter in Book/Report/Conference proceedingChapter

  52. Heat Flow-Thermodynamic Depth Complexity in Directed Networks

    Escolano, F., Bonev, B. & Hancock, E., 2012, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, SSPRSPR 2012, Hiroshima, Japan, November 7-9, 2012. Proceedings. Gimel'farb, G. L., Hancock, E. R., Imiya, A., Kuijper, A., Kudo, M., Omachi, S., Windeatt, T. & Yamada, K. (eds.). Springer Berlin/Heidelberg, Vol. 7626. p. 190-198 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  53. Higher Level Operations using Processor Arrays

    Wood, A. M., Uhr, L. (ed.), Preston~Jr., K. (ed.), Levialdi, S. (ed.) & Duff, M. (ed.), 1986, Evaluation of Multicomputers for Image Processing. academic press, p. 91-105 15 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  54. Hypergraph Spectra for Semi-supervised Feature Selection

    Zhang, Z., Hancock, E. & Bai, X., 2012, Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2012, Bristol, UK, September 24-28, 2012. Proceedings, Part I. Flach, P. A., Bie, T. D. & Cristianini, N. (eds.). PART 1 ed. Springer Berlin/Heidelberg, Vol. 7523. p. 207-222 16 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  55. Hypergraph Spectra for Unsupervised Feature Selection

    Zhang, Z. & Hancock, E., 2012, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, SSPRSPR 2012, Hiroshima, Japan, November 7-9, 2012. Proceedings. Gimel'farb, G. L., Hancock, E. R., Imiya, A., Kuijper, A., Kudo, M., Omachi, S., Windeatt, T. & Yamada, K. (eds.). Springer Berlin/Heidelberg, Vol. 7626. p. 620-628 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  56. Improving certification capability through automatic code generation

    Audsley, N. C., Bate, I., Crook-Dawkins, S. & McDermid, J., 2004, Building the Information Society: IFIP 18th World Computer Congress Topical Sessions. Springer Boston, Vol. IFIP Congress Topical Sessions. (IFIP International Federation for Information Processing).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  57. Information Theoretic Prototype Selection for Unattributed Graphs

    Han, L., Rossi, L., Torsello, A., Wilson, R. & Hancock, E., 2012, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, SSPRSPR 2012, Hiroshima, Japan, November 7-9, 2012. Proceedings. Gimel'farb, G. L., Hancock, E. R., Imiya, A., Kuijper, A., Kudo, M., Omachi, S., Windeatt, T. & Yamada, K. (eds.). Springer Berlin/Heidelberg, Vol. 7626. p. 33-41 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  58. Integrated Project Support Environments: General Principles and Issues in the Development of High Integrity Systems

    McDermid, J. A. & Kitchenham, B. A. (ed.), 1990, Software engineering for large software systems. Elsevier Science, 57 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  59. Integrated Project Support Environments and Software Engineering Toolsets

    McDermid, J. A., Jenkins, D. G. (ed.) & Welland, R. C. (ed.), 1990, Software engineering for electronic systems designers. I E E E, (IEE Computing Series; vol. 18).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  60. Integrating Unbounded Software Components into Hard Real-Time Systems

    Audsley, N. C., Burns, A., Davis, R. I. & Wellings, A. J., Jun 1995, Imprecise and Approximate Computation. Natarajan, S. (ed.). p. 63-86 (The Springer International Series in Engineering and Computer Science,; vol. 318).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  61. Interfacing java to hardware coprocessors and FPGAs

    Whitham, J. & Audsley, N., 1 Nov 2012, Distributed, Embedded and Real-time Java Systems. Springer US, Vol. 9781441981585. p. 177-197 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  62. Intermediate-level Vision, Relations and Processor Arrays: An Application of sc \Clip4 to Image Sequence Analysis

    Wood, A. M. & Page, I. (ed.), 1988, Parallel Architectures and Computer Vision. Oxford University Press, p. 157-170 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  63. Introduction [to 3D Imaging, Analysis and Applications]

    Koch, R., Pears, N. E. & Liu, Y., 2012, 3D Imaging, Analysis and Applications. London: Springer, p. 1-31 31 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  64. Issues in learning language in logic

    Cussens, J., 2002, COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT II. BERLIN: SPRINGER-VERLAG BERLIN, p. 491-505 15 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  65. Issues in the Development of Safety Critical Systems

    McDermid, J. A., Redmill, F. (ed.) & Anderson, T. (ed.), 1993, Safety Critical Systems. London: Chapman and Hall, p. 16-42 27 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  66. Jisys: Development of an artificial immune system for real world applications

    Hunt, J., Timmis, J., Cooke, D., Neal, M. & King, C., 1998, Artificial Immune Systems and their Applications. Springer, p. 157-186 30 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  67. Localized graph-based feature selection for clustering

    Zhang, Z. & Hancock, E., 2012, Image Analysis and Recognition - 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings, Part I. Campilho, A. J. C. & Kamel, M. S. (eds.). PART 1 ed. Springer Berlin/Heidelberg, Vol. 7324. p. 1-10 10 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  68. MADES FP7 EU project: Effective high level SysML/MARTE methodology for real-time and embedded avionics systems

    Bagnato, A., Quadri, I., Brosse, E., Sadovykh, A., Indrusiak, L. S., Paige, R., Audsley, N., Gray, I., Kolovos, D. S., Matragkas, N., Rossi, M., Baresi, L., Crippa, M. C., Genolini, S., Hansen, S. & Meisel-Blohm, G., 30 Jun 2014, Handbook of Research on Embedded Systems Design. IGI Global, p. 181-208 28 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  69. 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

  70. Metaheuristic traceability attack against SLMAP, an RFID lightweight authentication protocol

    Hernandez-Castro, J. C., Tapiador, J. E., Peris-Lopez, P., Clark, J. A. & Talbi, E-G., 2009, 23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009. IEEE, p. 1-5 5 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  71. Model-based Failure Analysis of Business Process

    Ge, X., Paige, R. F. & McDermid, J. A., 2011, ICEIS 2011 - Proceedings of the 13th International Conference on Enterprise Information Systems, Volume 3, Beijing, China. 8-11 June, 2011. SciTePress, Vol. 3 ISAS. p. 388-391 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  72. Model-driven engineering and model transformation: For fun and profit

    Paige, R. F. & Kolovos, D. S., 19 Jun 2013, Engineering Dependable Software Systems. IOS Press;, Vol. 34. p. 275-311 37 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  73. Motion Analysis

    Wood, A. M., Duff, M. J. B. (ed.) & Fountain, T. J. (ed.), 1986, Cellular Logic Image Processing. academic press, p. 174-207 34 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  74. Motion History Histograms for Human Action Recognition

    Meng, H., Pears, N., Freeman, M., Bailey, C., Kisacanin, B. (ed.), Bhattacharyya, S. S. (ed.) & Chai, S. (ed.), 2009, Embedded Computer Vision. SPRINGER-VERLAG LONDON LTD, p. 139-162 24 p. (Advances in Pattern Recognition).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  75. Navigational Consistency in Websites: What Does it Mean to Users?

    Petrie, H., Papadofragkakis, G., Power, C. & Swallow, D., 2009, HUMAN-COMPUTER INTERACTION - INTERACT 2009, PT I. Gross, T., Gulliksen, J., Kotze, P., Oestreicher, L., Palanque, P. & Prates, RO. (eds.). PART 1 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5726. p. 423-427 5 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  76. Non resident fathers in Britain

    Bradshaw, J., Stimson, C., Skinner, C. & Williams, J., 1999, Changing Britain: families and households in the 1990s. McRae, S. (ed.). Oxford: Oxford University Press, p. pp. 404-426 23 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  77. Nonclassical Computation: a dynamical systems perspective

    Stepney, S., 2012, Handbook of Natural Computing. Rozenberg, G., Bäck, T. & Kok, J. N. (eds.). Springer, Vol. 2. p. 1979-2025

    Research output: Chapter in Book/Report/Conference proceedingChapter

  78. Once More Unto the Breach: Towards Artificial Homeostasis?

    Neal, M. & Timmis, J., 2005, Recent Developments in Biologically Inspired Computing. Idea Group, p. 340-365 26 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  79. Passive 3D Imaging

    Se, S. & Pears, N. E., 2012, 3D Imaging, Analysis and Applications. Springer, p. 35-94 60 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  80. Power-Aware Intrusion Detection in Mobile Ad Hoc Networks

    Sen, S., Clark, J. A., Tapiador, J. E., Zheng, J. (ed.), Mao, S. (ed.), Midkiff, S. F. (ed.) & Zhu, H. (ed.), 2009, Ad Hoc Networks, First International Conference, ADHOCNETS 2009, Niagara Falls, Ontario, Canada, September 22-25, 2009. Revised Selected Papers. Springer, Vol. 28. p. 224-239 16 p. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  81. Preface

    Higuera-Toledano, M. T. & Wellings, A. J., 1 Nov 2012, Distributed, Embedded and Real-time Java Systems. Higuera-Toledano, M. T. & Wellings, A. J. (eds.). p. v-viii

    Research output: Chapter in Book/Report/Conference proceedingChapter

  82. Programming embedded systems: Interacting with the embedded platform

    Dibble, P., Hunt, J. J. & Wellings, A. J., 1 Nov 2012, Distributed, Embedded and Real-time Java Systems. Springer US, Vol. 9781441981585. p. 129-158 30 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  83. Protection of Color Images by Selective Encryption

    Puech, W., Bors, A. G. & Rodrigues, J. M., 2013, Advanced Color Image Processing and Analysis. Fernandex-Maliogne, C. (ed.). New York: Springer, p. 397-421

    Research output: Chapter in Book/Report/Conference proceedingChapter

  84. Quantifying Uncertainty in Safety Cases Using Evidential Reasoning

    Nair, S., Walkinshaw, N. & Kelly, T., 2014, Computer Safety, Reliability, and Security: SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings. Bondavalli, A., Ceccarelli, A. & Ortmeier, F. (eds.). Cham: Springer International Publishing, p. 413-418 6 p. (Lecture Notes in Computer Science; vol. 8696).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  85. RT-OSGi: Integrating the OSGi framework with the real-time specification for Java

    Richardson, T. & Wellings, A. J., 2012, Distributed, Embedded and Real-time Java Systems. Higuera-Toledano, T. M. & Wellings, A. J. (eds.). Springer US, Vol. 9781441981585. p. 293-322 30 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  86. Real-Time System Scheduling

    Audsley, N. C., Burns, A., Davis, R., Tindell, K. W. & Wellings, A., Jun 1995, Predictably Dependable Computing Systems.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  87. Relaxation labelling using distributed neural networks

    Austin, J., 2009, Biologically-Inspired Optimisation Methods: Parallel Algorithms, Systems and Applications. Lewis, A., Mostaghim, S. & Randall, M. (eds.). Berlin: Springer, p. 111-138 28 p. (Studies in Computational Intelligence; vol. 210).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  88. Rethinking of Strategy for Safety Argument Development

    Sun, L., Silva, N. & Kelly, T., 2014, Computer Safety, Reliability, and Security: SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings. Bondavalli, A., Ceccarelli, A. & Ortmeier, F. (eds.). Cham: Springer International Publishing, p. 384-395 12 p. (Lecture Notes in Computer Science; vol. 8696).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  89. Risk Management

    Hood, G. C. & McDermid, J. A., 1993, Risk: Analysis, Perception and Management. Royal Society, Vol. London. p. 135-182 48 p. (Report of a Royal Society Study Group ).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  90. Safety Arguments, Software and System Reliability

    McDermid, J. A. & Pham, H. (ed.), 1995, Software Reliability and Testing. New York: IEEE Computer Society Press, p. 82-89 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  91. Scalability in Linda-like Coordination Systems

    Menezes, R., Tolksdorf, R., Wood, A. M., Omicini, A. (ed.), Zambonelli, F. (ed.), Klusch, M. (ed.) & Baldwin, R. T. (ed.), 2001, Coordination of Internet Agents: Models, Technologies and Applications. Springer, p. 299-319 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  92. Security Policies for Integrated Project Support Environments

    Hocking, E. S., McDermid, J. A., Landwehr, C. E. (ed.) & Spooner, D. (ed.), 1990, Database Security III: Status and Prospects. III ed. Monterey: IFIP/North Holland, p. 41-74 34 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  93. Shape Analysis Using the Edge-Based Laplacian

    Aziz, F., Wilson, R. & Hancock, E., 2012, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, SSPRSPR 2012, Hiroshima, Japan, November 7-9, 2012. Proceedings. Gimel'farb, G. L., Hancock, E. R., Imiya, A., Kuijper, A., Kudo, M., Omachi, S., Windeatt, T. & Yamada, K. (eds.). Springer Berlin/Heidelberg, Vol. 7626. p. 382-390 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  94. Software Development Process Models

    McDermid, J. A., Rook, P. & McDermid, J. A. (ed.), 1991, Software Engineers' Reference Book. Oxford: Butterworth Heinemann

    Research output: Chapter in Book/Report/Conference proceedingChapter

  95. Software for sc \Clip4

    Wood, A. M., Reynolds, D. E., Duff, M. J. B. (ed.) & Fountain, T. J. (ed.), 1986, Cellular Logic Image Processing. academic press, p. 69-94 26 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  96. Specifying Security Properties

    Jacob, J. L. & Hoare, C. A. R. (ed.), 1990, Developments in Concurrency and Communication. Reading, Mass, U. S. A.: http://www.aw.com/Addison Wesley, p. 221-237 17 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  97. Supporting Multiprocessors in the Real-Time Specification for Java Version 1.1

    Wellings, A. J., Dibble, P. & Holmes, D., 1 Nov 2012, Distributed, Embedded and Real-time Java Systems. Higuera-Toledano, M. T. & Wellings, A. J. (eds.). Springer US, Vol. 9781441981585. 23 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  98. The Game of Life Rules on Penrose Tilings: still life and oscillators

    Owens, N. & Stepney, S., 2010, Game of Life Cellular Automata. Springer, p. 331-378 48 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  99. The Interaction between Hardware, Software, and Algorithms

    Wood, A. M., Duff, M. J. B. (ed.) & Levialdi, S. (ed.), 1981, Languages and Architectures for Image Processing. Academic Press, p. 1-11 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  100. The Structure of Permissions: A Normative Framework for Access Rights

    Morris, P., McDermid, J. A., Landwehr, C. (ed.) & Jajodia, S. (ed.), 1992, Database Security V: Status and Prospects. North Holland, p. 77-98 22 p. (IFIP Transactions A: Computer Science and Technology).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  101. The cost-effectiveness of therapeutics for Alzheimer's disease

    Manca, A., Davies, L. M. & Burns, A., 2001, Neuropsychopharmacology: The fifth Generation of Progress. Lippincott Williams & Wilkins

    Research output: Chapter in Book/Report/Conference proceedingChapter

  102. The structure of partial isometries

    Hines, P. M. & Braunstein, S., Nov 2009, Semantic Techniques in Quantum Computation. Gay, S. & Mackie, I. (eds.). Cambridge: Cambridge University Press, p. 361-388 28 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  103. Thermodynamic Depth in Undirected and Directed Networks

    Hancock, E. R. & Escolano, F., 2013, Advances in Network Complexity. Dehmer, M., Mowshowitz, A. & Emmert-Streib, F. (eds.). John Wiley & Sons, p. 229-247

    Research output: Chapter in Book/Report/Conference proceedingChapter

  104. Time perception, immersion and music in videogames

    Sanders, T. & Cairns, P., 2010, Proceedings of the 24th BCS Conference on Human Computer Interaction HCI2010. p. 7 1 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  105. Towards Operational Measures for Computer Security: Concepts

    Brocklehurst, S., Dobson, J. E., Fenton, N., Gollman, D., Littlewood, B., McDermid, J. A., Mellor, P., Page, S., Wright, D., Randell, B. (ed.), Laprie, J-C. (ed.), Kopetz, H. (ed.) & Littlewood, B. (ed.), 1995, Predictably Dependable Computing Systems. Springer-verlag, p. 537-553 17 p. (ESPRIT Basic Research Series).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  106. Towards Operational Measures of Computer Security: Concepts

    Brocklehurst, S., Dobson, J. E., Fenton, N., Gollman, D., Littlewood, B., McDermid, J. A., Mellor, P., Page, S., Wright, D., Randell, B. (ed.), Laprie, J-C. (ed.), Kopetz, H. (ed.) & Littlewood, B. (ed.), 1995, Predictably Dependable Computing Systems. Springer-verlag, p. 537-553 17 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  107. Towards a danger theory inspired artificial immune system for web mining

    Secker, A., Freitas, A. & Timmis, J., 2005, Web Mining: applications and techniques. Idea Group, p. 145-168 24 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  108. Towards establishing a self-management architecture for dynamic risk management in 'intelligent' aero-engine control

    Kurd, Z., Kelly, T., McDermid, J. A., Calinescu, R. & Kwiatkowska, M. Z., Jan 2009, IET System Safety 2009. 555 CP ed. London: IET and SaRS, Vol. 2009. p. 33-40

    Research output: Chapter in Book/Report/Conference proceedingChapter

  109. Towards novel neuroscience-inspired computing

    Wermter, S., Austin, J., Willshaw, D. & Elshaw, M., 2001, EMERGENT NEURAL COMPUTATIONAL ARCHITECTURES BASED ON NEUROSCIENCE: TOWARDS NEUROSCIENCE-INSPIRED COMPUTING. BERLIN: SPRINGER-VERLAG BERLIN, p. 119 19 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  110. UML + Z: UML augmented with Z

    Amálio, N., Polack, F. & Stepney, S., 2006, Software Specification Methods : an Overview Using a Case Study. Hermes Science Publishing

    Research output: Chapter in Book/Report/Conference proceedingChapter

  111. Unentangling nuclear magnetic resonance computing

    Bechmann, M. W., Clark, J. A., Sebald, A. A-M. & Stepney, S., 2007, Unconventional Computing 2007. Bristol, U.K.: Luniver Press, p. 1-18

    Research output: Chapter in Book/Report/Conference proceedingChapter

  112. Unsupervised Clustering of Human Pose Using Spectral Embedding

    Haseeb, M. & Hancock, E., 2012, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, SSPRSPR 2012, Hiroshima, Japan, November 7-9, 2012. Proceedings. Gimel'farb, G. L., Hancock, E. R., Imiya, A., Kuijper, A., Kudo, M., Omachi, S., Windeatt, T. & Yamada, K. (eds.). Springer Berlin/Heidelberg, Vol. 7626. p. 467-473 7 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  113. Using automated search to generate test data for matlab

    Rhys, S. L., Poulding, S. M., Clark, J. A. & Rothlauf, F. (ed.), 2009, Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009. ACM, p. 1697-1704 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  114. What is the Right Specification, Design and Implementation Paradigm for Real-Time Applications?

    McDermid, J. A., Halang, W. A. (ed.) & Stoyenko, A. D. (ed.), 1994, Real-Time Computing. Springer-verlag

    Research output: Chapter in Book/Report/Conference proceedingChapter

  115. Z/eyes and the Mondex Electronic Purse

    Woodcock, J. & Reitas, L., 2006, THEORETICAL ASPECTS OF COMPUTING - ICTAC 2006. BERLIN: SPRINGER-VERLAG BERLIN, p. 15-34 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  116. sc \Linda Implementation Revisited

    Rowstron, A., Douglas, A. & Wood, A., 1995, Transputer and occam Developments. IOS Press, p. 125-138 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  117. Entry for encyclopedia/dictionary › Research
  118. Addressing Quality Requirements in GIS Architectures

    Habli, I. & Kelly, T., 2005, 8th International Conference of Global Spatial Data Infrastructure.

    Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia/dictionary

  119. Artificial Immune Systems

    Timmis, J., Sammut, C. (ed.) & Webb, G. I. (ed.), 2010, Encyclopedia of Machine Learning. Springer, p. 40-44 5 p.

    Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia/dictionary

  120. Immunecomputing

    Timmis, J. & Meyers, R. A. (ed.), 2009, Encyclopedia of Complexity and Systems Science. Springer, p. 4776-4788 13 p.

    Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia/dictionary

  121. Programming Phase: Formal Methods

    Paige, R. F., Woodcock, J., Brooke, P. J. & Cavalcanti, A., 2010, Encyclopedia of Software Engineering. Taylor and Francis, p. 772-785 14 p.

    Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia/dictionary

  122. Safety Critical Software

    McDermid, J. A., 2012, Encyclopedia of Aerospace Engineering. Blockley, R. & Shyy, W. (eds.). John Wiley & Sons

    Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia/dictionary

  123. Conference contribution › Research
  124. "Devices are people too" - Using process patterns to elicit security requirements in novel domains: A ubiquitous healthcare example

    Liu, Y., Clark, J. A. & Stepney, S., 2005, SECURITY IN PERVASIVE COMPUTING, PROCEEDINGS. Hutter, D. & Ullmann, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 31-45 15 p.

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

  125. (True) polymorphism in SPARK2000

    Lin, T. M. & McDermid, J. A., 2000, RELIABLE SOFTWARE TECHNOLOGIES ADA-EUROPE 2000. Keller, HB. & Plodereder, E. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 252-265 14 p.

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

  126. 09381 Extended Abstracts Collection - Refinement Based Methods for the Construction of Dependable Systems

    Abrial, J-R., Butler, M. J., Joshi, R., Troubitsyna, E. & Woodcock, J. C. P., 2009, Refinement Based Methods for the Construction of Dependable Systems, 13.09. - 18.09.2009. Abrial, J-R., Butler, M. J., Joshi, R., Troubitsyna, E. & Woodcock, J. C. P. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, Vol. 09381. (Dagstuhl Seminar Proceedings).

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

  127. 1st international workshop on assurance cases for software-intensive systems (ASSURE 2013)

    Denney, E., Pai, G., Habli, I., Kelly, T. & Knight, J. C., 2013, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. p. 1505-1506 2 p.

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

  128. 1st international workshop on combining modelling and search-based software engineering (CMSBSE 2013)

    Harman, M., Paige, R. F. & Williams, J. R., 2013, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. p. 1513-1514 2 p.

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

  129. 3-D terrain from synthetic aperture radar images

    Bors, A. G., Hancock, E. R. & Wilson, R. C., 2000, IEEE WORKSHOP ON COMPUTER VISION BEYOND THE VISIBLE SPECTRUM: METHODS AND APPLICATIONS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 63-72 10 p.

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

  130. 3D Facial Landmark Localisation by Matching Simple Descriptors

    Romero-Huertas, M. & Pears, N., 2008, 2008 IEEE SECOND INTERNATIONAL CONFERENCE ON BIOMETRICS: THEORY, APPLICATIONS AND SYSTEMS (BTAS). NEW YORK: IEEE, p. 346-351 6 p.

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

  131. 3D Landmark Model Discovery from a Registered Set of Organic Shapes

    Creusot, C., Pears, N. & Austin, J., 16 Jun 2012, 2012 IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops (CVPRW) . p. 57-64 8 p.

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

  132. 3D Morphable Face Models Revisited

    Patel, A. & Smith, W. A. P., 2009, CVPR: 2009 IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION, VOLS 1-4. NEW YORK: IEEE, p. 1327-1334 8 p.

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

  133. 3D Object Recognition Using Hyper-Graphs and Ranked Local Invariant Features

    Xia, S. & Hancock, E. R., 2008, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION. DaVitoria Lobo, N., Kasparis, T., Roli, F., Kwok, JT., Georgiopoulos, M., Anagnostopoulos, GC. & Loog, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5342 LNCS. p. 117-126 10 p.

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

  134. 3D scene correction using disparities with its projections

    Grum, M. & Bors, A. G., Jun 2013, Proc. IEEE Workshop on Image, Video and Multidimensional Signal Processing, Seoul, Korea, . IEEE, p. 1-4 4 p.

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

  135. 5th international workshop on modeling in software engineering (MiSE 2013)

    Atlee, J. M., Baillargeon, R., Chechik, M., France, R. B., Gray, J., Paige, R. F. & Rumpe, B., 2013, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. p. 1531-1532 2 p.

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

  136. 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

  137. A Bayesian Analysis of Algorithms for Learning Finite Functions

    Cussens, J., 1995, Machine Learning: Proceedings of the Twelfth International Conference (ML95). Prieditis, A. & Russell, S. (eds.). San Francisco, CA: Morgan Kaufmann Publishers, p. 142-149 8 p.

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

  138. A Bayesian approach to 3D surface fitting and refinement.

    Turner, M. & Hancock, E. R., 1995, PROCEEDINGS OF THE 6TH BRITISH MACHINE VISION CONFERENCE 1995, VOLS 1 AND 2. Pycock, D. (ed.). GUILDFORD: B M V A PRESS, p. 67-76 10 p.

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

  139. A Candid Industrial Evaluation of Formal Software Verification using Model Checking

    Bennion, M. & Habli, I., 2014, ICSE Companion 2014: Companion Proceedings of the 36th International Conference on Software Engineering. ACM, p. 175-184 10 p.

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

  140. A Characterisation of the Workload on an Engineering Design Grid

    Burkimsher, A., Bate, I. J. & Indrusiak, L. S., 2014, Proceedings of the 22nd High Performance Computing Symposium (HPC). San Diego: Society for Computer Simulation International, p. 639-646 8 p. 8

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

  141. A Circus semantics for Ravenscar protected objects

    Atiya, D. A., King, S. & Woodcock, J. C. P., 2003, FME 2003: FORMAL METHODS, PROCEEDINGS. Araki, K., Gnesi, S. & Mandrioli, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 617-635 19 p.

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

  142. A Comparison of Model Migration Tools

    Rose, L., Herrmannsdoerfer, M., Williams, J., Kolovos, D., Garces, K., Paige, R., Polack, F., Petriu, D. (ed.), Rouquette, N. (ed.) & Haugen, Ã. (ed.), 2010, Model Driven Engineering Languages and Systems. PART 1 ed. Springer Berlin / Heidelberg, Vol. 6394. p. 61-75 15 p. (Lecture Notes in Computer Science).

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

  143. A Contract-based Approach to Designing Safe Systems

    Bate, I., Hawkins, R., McDermid, J., Lindsay, P. A. & Cant, A., 2003, Proceedings of the 8th Australian Workshop on Safety Critical Systems and Software. p. 25-36 12 p.

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

  144. A Control Theoretic Approach for Workflow Management

    Ghazzawi, H. A., Bate, I. & Indrusiak, L. S., 1 Jul 2012, In Proceedings of 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems. p. 280-289 10 p.

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

  145. A DETAILED INVESTIGATION INTO THE EFFECTIVENESS OF EARCONS

    Brewster, S. A., Wright, P. C. & Edwards, A. D. N., 1994, AUDITORY DISPLAY. Kramer, G. (ed.). READING: ADDISON-WESLEY PUBL CO, p. 471-498 28 p.

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

  146. A DEVELOPMENT OF HAZARD ANALYSIS TO AID SOFTWARE-DESIGN

    McDermid, J. A. & Pumfrey, D. J., 1994, COMPASS '94 - PROCEEDINGS OF THE NINTH ANNUAL CONFERENCE ON COMPUTER ASSURANCE. NEW YORK: I E E E, p. 17-25 9 p.

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

  147. A Deployment Value Model for Intrusion Detection Sensors

    Shaikh, S. A., Chivers, H., Nobles, P., Clark, J. A. & Chen, H., 2009, Advances in Information Security and Assurance, Third International Conference and Workshops, ISA 2009, Seoul, Korea, June 25-27, 200. Vol. 5576 LNCS. p. 250-259 10 p.

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

  148. A Formal Model for Natural-Language Timed Requirements of Reactive Systems

    Carvalho, G., Carvalho, A., Rocha, E., Cavalcanti, A. L. C. & Sampaio, A. C. A., 2014, Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings. Merz, S. & Pang, J. (eds.). SPRINGER, p. 43-58 16 p. (Lecture Notes in Computer Science; vol. 8829).

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

  149. A Framework for Remote User Evaluation of Accessibility and Usability of Websites

    Power, C., Petrie, H. & Mitchell, R., 2009, UNIVERSAL ACCESS IN HUMAN-COMPUTER INTERACTION: ADDRESSING DIVERSITY, PT I, PROCEEDINGS. Stephanidis, C. (ed.). PART 1 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5614 LNCS. p. 594-601 8 p.

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

  150. A Framework for Scheduling in Safety-Critical Embedded Control Systems

    Bate, I. & Burns, A., 1999, 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 13-16 December 1999, Hong Kong, China. IEEE Computer Society, p. 46-53 8 p.

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

  151. A Framework to Benchmark NoSQL Data Stores for Large-Scale Model Persistence

    Shah, S. M. A., Wei, R., Kolovos, D., Rose, L. M., Paige, R. F. & Barmpis, K., 2014, Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings. SPRINGER, p. 586-601 16 p. (LNCS).

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

  152. A Functional-Logic Library for Wired

    Naylor, M., Axelsson, E. & Runciman, C., 2007, HASKELL'07: PROCEEDINGS OF THE ACM SIGPLAN 2007 HASKELL WORKSHOP. NEW YORK: ASSOC COMPUTING MACHINERY, p. 37-48 12 p.

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

  153. A Graph-Based Approach to Feature Selection

    Zhang, Z. & Hancock, E. R., 2011, GRAPH-BASED REPRESENTATIONS IN PATTERN RECOGNITION. Jiang, X., Ferrer, M. & Torsello, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 205-214 10 p.

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

  154. 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

  155. A Hoare Calculus for Graph Programs

    Poskitt, C. M. & Plump, D., 2010, Proceedings 5th International Conference on Graph Transformation (ICGT 2010). Ehrig, H., Rensink, A., Rozenberg, G. & Schürr, A. (eds.). Springer, Vol. 6372 . p. 139-154 (Lecture Notes in Computer Science; vol. 6372).

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

  156. A Hypergraph Kernel from Isomorphism Tests

    Bai, L., Ren, P. & Hancock, E. R., 2014, (Accepted/In press) Proceedings of the 22nd International Conference on Pattern Recognition. IEEE Computer Society Press, 6 p.

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

  157. A Hypergraph-Based Approach to Feature Selection

    Zhang, Z. & Hancock, E. R., 2011, Computer Analysis of Images and Patterns - 14th International Conference, CAIP 2011, Seville, Spain, August 29-31, 2011, Proceedings, Part I. Real, P., Díaz-Pernil, D., Molina-Abril, H., Berciano, A. & Kropatsch, W. G. (eds.). PART 1 ed. BERLIN: Springer, Vol. 6854. p. 228-235 8 p. (Lecture Notes in Computer Science).

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

  158. A Lightweight Approach for Managing XML Documents with MDE Languages

    Kolovos, D., Rose, L. M., Williams, J. R., Matragkas, N. & Paige, R. F., 2012, Modelling Foundations and Applications: 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings. Springer, Vol. 7349 LNCS. p. 118-132 15 p. (Lecture Notes in Computer Science; vol. 7349).

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

  159. A Linear Approach of 3D Face Shape and Texture Recovery using a 3D Morphable Model

    Aldrian, O. & Smith, W. A. P., 2010, Proceedings of the British Machine Vision Conference.

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

  160. A Low-cost Real-time Tracking Infrastructure for Ground-based Robot Swarms

    Millard, A. G., Hilder, J. A., Winfield, A. F. T. & Timmis, J., 2014, Swarm Intelligence: 9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014. Proceedings. Dorigo, M., Birattari, M., Garnier, S., Hamann, H., Montes de Oca, M., Solnon, C. & Stützle, T. (eds.). Springer, p. 278-289 2 p. (Lecture Notes in Computer Science; vol. 8667).

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

  161. A MARTE subset to enable application-platform co-simulation and schedulability analysis of NoC-based embedded systems

    Indrusiak, L. S., Quadri, I., Gray, I., Audsley, N. & Sadovykh, A., 2012, 2012 7th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC). Indrusiak, LS., Gogniat, G. & Voros, N. (eds.). NEW YORK: IEEE, 6322898

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

  162. A Markov chain model of the B-cell algorithm

    Clark, E., Hone, A. & Timmis, J., 2005, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Jacob, C., Pilat, ML., Bentley, PJ. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 318-330 13 p.

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

  163. A Model-Driven Approach to Assuring Process Reliability

    Habli, I. & Kelly, T., 1 Nov 2008, 19th International Symposium on Software Reliability Engineering, 2008. . p. 7 -16

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

  164. A Multi-objective Optimisation Approach to IDS Sensor Placement

    Chen, H., Clark, J. A., Tapiador, J. E., Shaikh, S. A., Chivers, H. & Nobles, P., 2009, COMPUTATIONAL INTELLIGENCE IN SECURITY FOR INFORMATION SYSTEMS. Herrero, A., Gastaldo, P., Zunino, R. & Corchado, E. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 63 AISC. p. 101-108 8 p.

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

  165. A Mumford-Shah Diffusion Process for Shape-from-Shading

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

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

  166. A Neural-Endocrine Architecture for Foraging in Swarm Robotic Systems

    Timmis, J., Murray, L. & Neal, M., 2010, NICSO 2010: NATURE INSPIRED COOPERATIVE STRATEGIES FOR OPTIMIZATION. Gonzalez, JR., Pelta, DA., Cruz, C., Terrazas, G. & Krasnogor, N. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 284. p. 319-330 12 p.

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

  167. A Neuro-Immune inspired robust real time visual tracking system

    Liu, Y., Timmis, J. & Clarke, T., 2008, Artificial Immune Systems : 7th International Conference, ICARIS 2008, Phuket, Thailand, August 10-13, 2008. Proceedings. Springer, p. 188-199 12 p. (Lecture Notes in Computer Science ; vol. 5132).

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

  168. A New Approach to Creating Clear Safety Arguments

    Hawkins, R. D., Graydon, P. J., Knight, J. & Kelly, T., 2011, Advances in Systems Safety. SPRINGER-VERLAG LONDON LTD, p. 3-23 21 p.

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

  169. A PCI bus based correlation matrix memory and its application to k-NN classification

    Zhou, P. & Austin, J., 1999, PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON MICROELECTRONICS FOR NEURAL, FUZZY AND BIO-INSPIRED SYSTEMS, MICORNEURO'99. LOS ALAMITOS: IEEE COMPUTER SOC, p. 196-204 9 p.

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

  170. A Plug-in Based Approach for UML Model Simulation

    Radjenovic, A., Paige, R. F., Rose, L. M., Woodcock, J. & King, S., 2012, Modelling Foundations and Applications : 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings. Vallecillo, A., Tolvanen, J-P., Kindler, E., Störrle, H. & Kolovos, D. (eds.). SPRINGER, Vol. 7349. p. 328-339 12 p. (Lecture Notes in Computer Science).

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

  171. A Probabilistic approach to sparse multi scale phase based stereo

    Ulusoy, K., Halici, U. U. & Hancock, E. R., 2004, PROCEEDINGS OF THE IEEE 12TH SIGNAL PROCESSING AND COMMUNICATIONS APPLICATIONS CONFERENCE. NEW YORK: IEEE, p. 249-252 4 p.

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

  172. A Profile for High-Integrity Real-Time Java Programs

    Puschner, P. P. & Wellings, A. J., 2001, 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2-4 May 2001, Magdeburg, Germany. IEEE Computer Society, p. 15-22 8 p.

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

  173. 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

  174. A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes.

    Antonino, P., Sampaio, A. & Woodcock, J., 2014, FM 2014: Formal Methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Jones, C., Pihlajasaari, P. & Sun, J. (eds.). SPRINGER, Vol. 8442. p. 62-77 (Lecture Notes in Computer Science; vol. 8442).

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

  175. A Riemannian Self-Organizing Map

    Yu, D., Hancock, E. R. & Smith, W. A. P., 2009, IMAGE ANALYSIS AND PROCESSING - ICIAP 2009, PROCEEDINGS. Foggia, P., Sansone, C. & Vento, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5716 LNCS. p. 229-238 10 p.

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

  176. A Rigorous Evaluation of Crossover and Mutation in Genetic Programming

    White, D. R. & Poulding, S., 2009, GENETIC PROGRAMMING. Vanneschi, L., Gustafson, S., Moraglio, A., DeFalco, I. & Ebner, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5481 LNCS. p. 220-231 12 p.

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

  177. A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines

    Habli, I. & Kelly, T., 2010, ARCHITECTING CRITICAL SYSTEMS, PROCEEDINGS. Giese, H. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6150 LNCS. p. 142-160 19 p.

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

  178. A Schedulability Compatible Multiprocessor Resource Sharing Protocol - MrsP

    Burns, A. & Wellings, A. J., 15 Oct 2013, Proceedings - Euromicro Conference on Real-Time Systems. p. 282-291 10 p. 6602108

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

  179. A Simple Coupled Statistical Model for 3D Face Shape Recovery

    Castelan, M. & Hancock, E. R., 2006, ICPR 2006. p. 231-234 4 p.

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

  180. A Simplified Executable Model to Evaluate Latency and Throughput of Networks-on-Chip

    Ost, L., Moraes, F. G., Moller, L., Indrusiak, L. S., Glesner, M., Maatta, S. & Nurmi, J., 2008, Proc 21st Symposium on Integrated Circuits and Systems Design (SBCCI). New York: Association for Computing Machinery (ACM), p. 170-175 6 p.

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

  181. A Static Timing Analysis Environment Using Java Architecture for Safety Critical Real-Time Systems

    Hu, E. Y-S., Bernat, G. & Wellings, A. J., 2002, 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 7-9 January 2002, San Diego, CA, USA. IEEE Computer Society, p. 77-84 8 p.

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

  182. A Statistical Model for Daylight Spectra

    Williams, M. & Smith, W. A. P., 2009, Advances in Visual Computing: 5th International Symposium, ISVC 2009, Las Vegas, NV, USA, November 30 - December 2, 2009, Proceedings, Part I. PART 1 ed. Springer, Vol. 5875 LNCS. p. 632-643 12 p. (Lecture Notes in Computer Science; vol. 5875).

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

  183. A Statistical Response-Time Analysis of Real-Time Embedded Systems

    Lu, Y., Nolte, T., Bate, I. & Cucu-Grosjean, L., 2012, Proceedings of the 33rd Real-Time Systems Symposium. p. 351-362 12 p.

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

  184. A Supercompiler for Core Haskell

    Mitchell, N. & Runciman, C., 2008, Implementation and Application of Functional Languages: 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers. Springer, Vol. 5083. p. 147-164 (Lecture Notes in Computer Science; vol. 5083).

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

  185. A Systematic Analysis of the Wenzhou High Speed Train Accident Using STAMP

    Niu, R., Ge, X., McDermid, J. A. & Tang, T., Aug 2012, 30th International System Safety Conference : ISSC. The International System Safety Society

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

  186. A Systematic Review of Cloud Lock-In Solutions

    Costa Silva, G., Rose, L. M. & Calinescu, R. C., 2013, Cloud Computing Technology and Science (CloudCom), 2013 IEEE 5th International Conference on. IEEE, Vol. 2. p. 363-368

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

  187. A Tool Architecture for Application of Portable Code to Future Avionic Systems

    Grigg, A., Audsley, N. C., Bate, I. J., Fletcher, M. A. & Wake, A. S., 2001, Proceedings of ERA Avionics Conference. ERA TECHNOLOGY LTD

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

  188. A Tool Chain for the Automatic Generation of Circus Specifications of Simulink Diagrams.

    Marriott, C., Zeyda, F. & Cavalcanti, A. L. C., 2012, Abstract State Machines, Alloy, B, VDM, and Z. Vol. 7316. p. 294-307

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

  189. A Traceability-Driven Approach to Model Transformation Testing

    Matragkas, N. D., Kolovos, D. S., Paige, R. F. & Zolotas, A., 2013, Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013), Miami, FL, USA, September 29, 2013.

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

  190. A Unification Algorithm for GP

    Plump, D. & Hristakiev, I., 2014, Proceedings 5th International Workshop Graph Computation Models (GCM 2014). Echahed, R., Habel, A. & Mosbah, M. (eds.). GCM, p. 60-75 16 p.

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

  191. A Wormhole NoC Protocol for Mixed Criticality Systems

    Burns, A., Harbin, J. & Indrusiak, L. S., 1 Dec 2014, Real-Time Systems Symposium (RTSS), 2014 IEEE. IEEE, p. 184-195 12 p.

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

  192. A Worst-Case Behavior Analysis for Hard Real-Time Transactions

    Byun, J., Burns, A., Davis, R. & Wellings, A. J., 1997, Real-Time Database Systems. Vol. 396. p. 235-249

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

  193. A behavioural notion of subtyping for object-oriented programming in SPARK95.

    Lin, T. M. & McDermid, J. A., 2003, RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2003. Rosen, JP. & Strohmeier, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 309-321 13 p.

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

  194. 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

  195. 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

  196. A coevolutionary model for the virus game

    Cowling, P. I., Naveed, M. H. & Hossain, M. A., 2006, Computational Intelligence and Games, 2006 IEEE Symposium on. p. 45-51 7 p.

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

  197. A comparative study of real-valued negative selection to statistical anomaly detection techniques

    Stibor, T., Timmis, J. & Eckert, C., 2005, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Jacob, C., Pilat, ML., Bentley, PJ. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 262-275 14 p.

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

  198. A comparison of major issues for the development of forensics in cloud computing

    Jacob, J. L. & Aydin, M., Dec 2013, Proceedings 2013 8th International Conference for Internet Technology and Secured Transactions (ICITST). p. 77--82

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

  199. A comparison of rule inheritance in model-to-model transformation languages

    Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Schönböck, J., Schwinger, W., Kolovos, D., Paige, R., Lauder, M., Schürr, A. & Wagelaar, D., 18 Jul 2011, Theory and Practice of Model Transformations - 4th International Conference, ICMT 2011, Proceedings. p. 31-46 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6707 LNCS).

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

  200. A comparison of state-based modelling tools for model validation

    Aydal, E. G., Utting, M. & Woodcock, J., 2008, OBJECTS, COMPONENTS, MODELS AND PATTERNS. Paige, RF. & Meyer, B. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 278-296 19 p.

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

  201. A comparison of the asynchronous transfer of control features in Ada and the real-time specification for Java (TM)

    Brosgol, B. M. & Wellings, A., 2003, RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2003. Rosen, JP. & Strohmeier, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 113-128 16 p.

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

  202. A comparison of the business object notation and the unified modeling language

    Paige, R. F. & Ostroff, J. S., 1 Jan 1999, UML 1999 - The Unified Modeling Language: Beyond the Standard - 2nd International Conference, Proceedings. Rumpe, B. & France, R. (eds.). Springer-Verlag, p. 67-82 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1723).

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

  203. A comprehensive polarisation model for surface orientation recovery

    Zhang, L. & Hancock, E. R., 2012, Proceedings 21st International Conference on Pattern Recognition . IEEE Computer Society Press, p. 3791-3794

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

  204. A computational model of degeneracy in a lymph node

    Andrews, P. S. & Timmis, J., 2006, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Bersini, H. & Carneiro, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 164-177 14 p.

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

  205. A computer based system for space allocation optimisation

    Burke, EK., Cowling, P., Landa, JD., McCollum, B. & Varley, D., 2000, Proceedings of the 27th International Conference on Computers and Industrial Engineering.

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

  206. A contextualised curriculum for HCI

    Fincher, S., Cairns, P. & Blackwell, A., 2012, Conference on Human Factors in Computing Systems - Proceedings. p. 2707-2710 4 p.

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

  207. A correspondence measure for graph matching using the discrete quantum walk

    Emms, D., Hancock, E. R. & Wilson, R. C., 2007, Graph-Based Representations in Pattern Recognition, Proceedings. Escolano, F. & Vento, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 81-91 11 p.

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

  208. A coupled relaxation method for finding perceptual structures

    Wilson, R. C., 18 Aug 2004, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION, PROCEEDINGS. Fred, A., Caelli, T., Duin, RPW., Campilho, A. & DeRidder, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 224-232 9 p.

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

  209. A denotational semantics for Handel-C hardware compilation

    Perna, J. I. & Woodcock, J., 2007, FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS. Butler, M., Hinchey, MG. & LarrondoPetrie, MM. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 266-285 20 p.

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

  210. A deterministic implementation process for accurate and traceable system timing and space analysis

    Ward, M. & Audsley, N. C., 2007, 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 432-437 6 p.

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

  211. A deviation based Systems of Systems safety view for modelling Architectural Frameworks

    Despotou, G. & Kelly, T., 2009, Systems Safety 2009. Incorporating the SaRS Annual Conference, 4th IET International Conference on. 555 CP ed. Vol. 2009. p. 1-6 6 p.

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

  212. A distributed associative memory for symbolic reasoning

    Austin, J., 1997, CONNECTIONIST-SYMBOLIC INTEGRATION. Sun, R. & Alexandre, F. (eds.). MAHWAH: LAWRENCE ERLBAUM ASSOC PUBL, p. 265-278 14 p.

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

  213. A facial statistical model from complex numbers

    Castelan, M. & Hancock, E. R., 2006, 18th International Conference on Pattern Recognition, Vol 1, Proceedings. p. 235-238 4 p.

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

  214. A feature model for model-to-text transformation languages

    Rose, L. M., Matragkas, N., Kolovos, D. & Paige, R. F., 2012, Modeling in Software Engineering (MISE), 2012 ICSE Workshop on. IEEE, p. 57-63 7 p.

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

  215. A feedback-driven timing synchronisation protocol for cellular sensornets

    Tate, J. & Bate, I., 2010, Proceedings of the 7th IEEE International Conference on Mobile Ad-hoc and Sensor Systems. IEEE, p. 482-491 10 p.

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

  216. A formal template language enabling metaproof

    Amalio, N., Stepney, S. & Polack, F., 2006, FM 2006: FORMAL METHODS, PROCEEDINGS. Misra, J., Nipkow, T. & Sekerinski, E. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 252-267 16 p.

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

  217. A fuzzy classifier based on correlation matrix memories

    Aykin, E. & O'Keefe, S., 2009, Recent Advances in Fuzzy Systems: Proceedings of the 10th WSEAS international conference on Fuzzy systems . Mastorakis, N., Croitoru, A., Balas, V. E., Son, E. & Mladenov, V. (eds.). Stevens Point, Wisconsin: World Scientific and Engineering Academy and Society (WSEAS), p. 63-68

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

  218. A generic framework for population-based algorithms, implemented on multiple FPGAs

    Newborough, J. & Stepney, S., 2005, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Jacob, C., Pilat, ML., Bentley, PJ. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 43-55 13 p.

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

  219. A grammatical evolution approach to intrusion detection on mobile ad hoc networks

    en, S. & Clark, J. A., 2009, Proceedings of the second ACM conference on Wireless network security. New York, NY, USA: ACM, p. 95-102 8 p. (WiSec '09).

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

  220. A graph kernel from the depth-based representation

    Bai, L., Ren, P., Bai, X. & Hancock, E. R., 1 Jan 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Franti, P., Brown, G., Loog, M., Escolano, F. & Pelillo, M. (eds.). Springer-Verlag, Vol. 8621. p. 1-11 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8621 LNCS).

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

  221. A graph spectral approach to shape-from-shading

    Robles-Kelly, A. & Hancock, E. R., 2002, 2002 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOL II, PROCEEDINGS. NEW YORK: IEEE, p. 569-572 4 p.

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

  222. A grid based diagnostics and prognosis system for Rolls Royce Aero Engines: The DAME project.

    Austin, J., 2004, PROCEEDINGS OF THE SECOND INTERNATIONAL WORKSHOP ON CHALLENGES OF LARGE APPLICATIONS IN DISTRIBUTED ENVIRONMENTS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 22 1 p.

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

  223. A hardware IP-core for information retrieval

    Freeman, M. & Jayasooriya, T., 2006, DSD 2006: 9th EUROMICRO Conference on Digital System Design: Architectures, Methods and Tools, Proceedings. Muthukumar, V. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 115-122 8 p.

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

  224. A hardware-accelerated novel IR system

    Weeks, M., Hodge, V. J. & Austin, J., 2002, 10TH EUROMICRO WORKSHOP ON PARALLEL, DISTRIBUTED AND NETWORK-BASED PROCESSING, PROCEEDINGS. Vajda, F. & Podhorszki, N. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 283-289 7 p.

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

  225. A hierarchical framework for modal correspondence matching

    Carcassoni, M. & Hancock, E. R., 2001, 11TH INTERNATIONAL CONFERENCE ON IMAGE ANALYSIS AND PROCESSING, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 327-332 6 p.

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

  226. A high performance k-NN classifier using a binary correlation matrix memory

    Zhou, P., Austin, J. & Kennedy, J., 1999, ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 11. Kearns, MS., Solla, SA. & Cohn, DA. (eds.). CAMBRIDGE: M I T PRESS, p. 713-719 7 p.

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

  227. A human action recognition system for embedded computer vision application

    Meng, H., Pears, N. & Bailey, C., 2007, 2007 IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION, VOLS 1-8. NEW YORK: IEEE, p. 3213-3218 6 p.

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

  228. A hyperheuristic approach to scheduling a sales summit

    Cowling, P., Kendall, G. & Soubeiga, E., 2000, International Conference on the Practice and Theory of Automated Timetabling. p. 176-190 15 p.

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

  229. A learning adaptive Bollinger band system

    Butler, M. R. & Kazakov, D. L., 2012, 2012 IEEE Conference on Computational Intelligence for Financial Engineering and Economics (CIFEr 2012): New York City, New York, USA, 29-30 March 2012. New York: IEEE, p. 40-47 8 p.

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

  230. A linear generative model for graph structure

    Luo, B., Wilson, R. C. & Hancock, E. R., 2005, GRAPH-BASED REPRESENTATIONS IN PATTERN RECOGNITION, PROCEEDINGS. Brun, L. & Vento, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 54-62 9 p.

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

  231. A locality model for the real-time specification for Java

    Malik, A. H., Wellings, A. J. & Chang, Y., 2010, Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010. Kalibera, T. & Vitek, J. (eds.). ACM, p. 36-45 10 p. (ACM International Conference Proceeding Series).

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

  232. A maximum likelihood framework for iterative eigendecomposition

    Robles-Kelly, A. & Hancock, E. R., 2001, EIGHTH IEEE INTERNATIONAL CONFERENCE ON COMPUTER VISION, VOL I, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 654-661 8 p.

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

  233. A mechanism for implementing precise exceptions in pipelined processors

    Alli, S. & Bailey, C., 2004, PROCEEDINGS OF THE EUROMICRO SYSTEMS ON DIGITAL SYSTEM DESIGN. Selvaraj, H. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 598-602 5 p.

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

  234. A model for real time mobility based on the RTSJ

    AlRahmawy, M. & Wellings, A. J., 2007, Proceedings of the 5th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2007, Institute of Computer Engineering, Vienna University of Technology, 26-28 September 2007, Vienna, Austria. Bollella, G. (ed.). ACM, p. 155-164 10 p. (ACM International Conference Proceeding Series).

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

  235. A modular theory of object orientation in higher-order UTP

    Zeyda, F., Santos, T. L. V. L., Cavalcanti, A. L. C. & Sampaio, A. C. A., 2014, FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. SPRINGER, p. 627-642 16 p. (Lecture Notes in Computer Science; vol. 8442).

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

  236. A neural network architecture for trademark image retrieval

    Alwis, S. & Austin, J., 1999, ENGINEERING APPLICATIONS OF BIO-INSPIRED ARTIFICIAL NEURAL NETWORKS, VOL II. Mira, J. & SanchezAndres, JV. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 361-372 12 p.

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

  237. A neural relaxation technique for chemical graph matching

    Turner, M. & Austin, J., 1997, FIFTH INTERNATIONAL CONFERENCE ON ARTIFICIAL NEURAL NETWORKS. EDISON: INST ELECTRICAL ENGINEERS INSPEC INC, p. 187-192 6 p.

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

  238. A neural supergraph matching architecture

    Klinger, S. & Austin, J., 2005, Proceedings of the International Joint Conference on Neural Networks (IJCNN), Vols 1-5. NEW YORK: IEEE, p. 2453-2458 6 p.

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

  239. A note on traces refinement and the conf relation in the unifying theories of programming

    Cavalcanti, A. & Gaudel, M. C., 26 Aug 2010, Unifying Theories of Programming - Second International Symposium, UTP 2008, Revised Selected Papers. p. 42-61 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5713 LNCS).

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

  240. A novel approach to the detection of cheating in multiplayer online games

    Laurens, P., Paige, R. F., Brooke, P. J. & Chivers, H., 2007, 12TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 97-106 10 p.

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

  241. A parameter-free hyperheuristic for scheduling a sales summit

    Cowling, P., Kendall, G. & Soubeiga, E., 2001, Proceedings of the 4th metaheuristic international conference. Vol. 1101. p. 127-131 5 p.

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

  242. A pattern restore method for restoring missing patterns in server side clickstream data

    Ting, I-H., Kudenko, D. & Kimble, C., 2005, Web Technologies Research and Development - APWeb 2005. Zhang, Y., Tanaka, K., Yu, JX., Wang, S. & Li, M. (eds.). Berlin / Heidelberg: Springer, p. 501-512 11 p. (Lecture Notes in Computer Science; vol. 3399).

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

  243. A phylogenetic classification of the video-game industry’s business model ecosystem

    Goumagias, N., Cabras, I., Fernandes, K. J., Li, F., Nucciarelli, A., Cowling, P., Devlin, S. & Kudenko, D., 2014, Working Conference on Virtual Enterprises. Camarinha-Matos, L. M. & Afsarmanesh, H. (eds.). Springer Berlin / Heidelberg, p. 285-294 10 p.

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

  244. A pragmatic perspective on UML for system-on-chip design

    Indrusiak, L. S., 2005, Norchip 2005, Proceedings. NEW YORK: IEEE, p. 169-171 3 p.

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

  245. A principled design methodology for auditory interaction

    Mitsopoulos, E. N. & Edwards, A. D. N., 1999, HUMAN-COMPUTER INTERACTION - INTERACT '99. Sasse, MA. & Johnson, C. (eds.). AMSTERDAM: I O S PRESS, p. 263-271 5 p.

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

  246. A principled evaluation of the effect of directed mutation on search-based statistical testing

    Poulding, S., Clark, J. A. & Waeselynck, H., 2011, Software Testing, Verification and Validation Workshops (ICSTW), 2011 IEEE Fourth International Conference on. p. 184-193 10 p.

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

  247. A probabilistic framework for schedulability analysis

    Burns, A., Bernat, G. & Broster, I., 2003, EMBEDDED SOFTWARE, PROCEEDINGS. Alur, R. & Lee, I. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 115 15 p.

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

  248. A proposed mechanism for super-pipelined instruction-issue for ILP stack machines

    Bailey, C., 2004, Proceedings of Euromicro Symposium on Digital Systems. Selvaraj, H. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 121-129 8 p.

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

  249. A real-time RMI framework for the RTSF

    Borg, A. & Wellings, A., 2003, 15TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 238-246 9 p.

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

  250. A real-time isolate specification for Ravenscar-Java

    Cai, H. & Wellings, A., 2004, SEVENTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS. Gustafsson, J., Aoki, T. & Lee, I. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 325-328 4 p.

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

  251. A research roadmap towards achieving scalability in model driven engineering

    Kolovos, D., Rose, L. M., Matragkas, N., Paige, R. F., Guerra, E., Sánchez Cuadrado, J., de Lara, J., Ráth, I., Varró, D., Tisi, M. & Cabot, J., 17 Jun 2013, Proceedings of the Workshop on Scalability in Model Driven Engineering. ACM, 2. (ACM International Conference Proceeding Series).

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

  252. A review of existing interfaces of automated examination and lecture scheduling systems

    McCollum, B., Ahmadi, S., Burke, E., Barone, R., Cheng, P. & Cowling, P., 2002, PATAT. p. 262-264 3 p.

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

  253. A robust eigendecomposition framework for inexact graph-matching

    Luo, B. & Hancock, E. R., 2001, 11TH INTERNATIONAL CONFERENCE ON IMAGE ANALYSIS AND PROCESSING, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 465-470 6 p.

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

  254. A round robin scheduling policy for Ada

    Burns, A., Harbour, M. G. & Wellings, A. J., 2003, RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2003. Rosen, JP. & Strohmeier, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 334-343 10 p.

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

  255. A selection mechanism based upon the explicit expression of preference

    Audsley, N. C. & Baker, R. E., 2004, Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, WOSS 2004, Newport Beach, California, USA, October 31 - November 1, 2004. Garlan, D., Kramer, J. & Wolf, A. L. (eds.). ACM, p. 13-17 5 p.

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

  256. A selective encryption for heterogenous color JPEG images based on VLC and AES stream cipher

    Rodrigues, J. M., Puech, W. & Bors, A. G., Jun 2006, Proc. IS\&T European Conference on Color in Graphics, Imaging and Vision, Leeds, UK,. IS&T, p. 34-39 6 p.

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

  257. A simple abstraction for complex concurrent indexes

    Pinto, P. D. R., Dinsdale-Young, T., Dodds, M. D., Gardner, P. & Wheelhouse, M. J., 2011, OOPSLA '11: Proceedings of the 2011 ACM international conference on Object oriented programming systems language and applications . New York: ACM, p. 845-864 20 p.

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

  258. A spectral analysis of perceptual shape variation

    Hughes, A. & Wilson, R. C., 2003, 12TH INTERNATIONAL CONFERENCE ON IMAGE ANALYSIS AND PROCESSING, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 38-43 6 p.

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

  259. A spectral generative model for graph structure

    Xiao, B. & Hancock, E. R., 2006, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION, PROCEEDINGS. Yeung, DY., Kwok, JT., Fred, A., Roli, F. & DeRidder, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 173-181 9 p.

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

  260. A state-based approach to traceability maintenance

    Drivalos-Matragkas, N., Kolovos, D. S., Paige, R. F. & Fernandes, K. J., 2 Aug 2010, Proceedings of the 6th ECMFA Traceability Workshop, ECMFA-TW'10. p. 23-30 8 p.

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

  261. A statistical approach to simulation model validation in response-time analysis of complex real-time embedded systems

    Lu, Y., Kraft, J., Nolte, T. & Bate, I., 23 Jun 2011, 26th Annual ACM Symposium on Applied Computing, SAC 2011. p. 711-716 6 p.

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

  262. A statistical response-time analysis of complex real-time embedded systems by using timing traces

    Lu, Y., Nolte, T., Bate, I. & Cucu-Grosjean, L., 29 Aug 2011, SIES 2011 - 6th IEEE International Symposium on Industrial Embedded Systems, Conference Proceedings. p. 43-46 4 p. 5953676

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

  263. A study of concurrency in the Ant Colony System algorithm

    Ridge, E., Kudenko, D. & Kazakov, D., 2006, 2006 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-6. NEW YORK: IEEE, p. 1647-1654 8 p.

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

  264. A supercompiler for core Haskell

    Mitchell, N. & Runciman, C., 2008, Springer Lectures Notes in Computer Science: Implementation and Application of Functional Languages. Springer, Vol. 5083. p. 147-164 18 p.

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

  265. A survey and case study of practical examination timetabling problems

    Cowling, P., Kendall, G. & Hussin, N. M., 2002, PATAT. p. 258-261 4 p.

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

  266. A systematic approach to safety case maintenance

    Kelly, T. P. & McDermid, J. A., 1999, COMPUTER SAFETY, RELIABILITY AND SECURITY. Felici, M., Kanoun, K. & Pasquini, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 13-26 14 p.

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

  267. A systematic literature review for agile development processes and user centred design integration

    Salah, D., Paige, R. F. & Cairns, P. A., 2014, 18th International Conference on Evaluation and Assessment in Software Engineering, EASE '14, London, England, United Kingdom, May 13-14, 2014. p. 1-10

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

  268. A taxonomy of number entry error

    Wiseman, S., Cairns, P. & Cox, A., 2011, Proceedings of HCI 2011 - 25th BCS Conference on Human Computer Interaction. British Computer Society (BCS), p. 187-196 10 p.

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

  269. A technique for managing complexity of use cases for large complex embedded systems

    Nasr, E., McDermid, J. & Bernat, G., 2002, ISORC 2002: FIFTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS. Bacellar, L., Puschner, P. & Hong, S. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 225-232 4 p.

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

  270. A trace-based statistical worst-case execution time analysis of component-based real-time embedded systems

    Lu, Y., Nolte, T., Bate, I. & Cucu-Grosjean, L., 11 Nov 2011, Proceedings of 2011 IEEE 16th Conference on Emerging Technologies and Factory Automation, ETFA 2011. 6059190

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

  271. A tutorial introduction to CSP in unifying theories of programming

    Cavalcanti, A. & Woodcock, J., 2006, REFINEMENT TECHNIQUES IN SOFTWARE ENGINEERING. Cavalcanti, A., Sampaio, A. & Woodcock, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 220-268 49 p.

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

  272. A variational approach for color image segmentation

    Nasios, N. & Bors, A. G., 2004, PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOL 1. Kittler, J., Petrou, M. & Nixon, M. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 680-683 4 p.

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

  273. A virtual organisation deployed on a service orientated architecture for distributed data mining applications

    Jackson, T., Jessop, M., Fletcher, M. & Austin, J., 2007, Grid-Based Problem Solving Environments. Gaffney, PW. & Pool, JCT. (eds.). NEW YORK: SPRINGER, p. 155-170 16 p.

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

  274. A, framework for integrating the real-time specification for Java and Java's remote method invocation

    Wellings, A., Clark, R., Jensen, D. & Wells, D., 2002, ISORC 2002: FIFTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS. Bacellar, L., Puschner, P. & Hong, S. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 13-22 10 p.

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

  275. ABZ2008 VSR-Net Workshop

    Woodcock, J. & Boca, P., 2008, ABSTRACT STATE MACHINES, B AND Z, PROCEEDINGS. Borger, E., Butler, M., Bowen, JP. & Boca, P. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5238 LNCS. p. 378-379 2 p.

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

  276. 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

  277. AEINS: The role of interactive narrative in fostering character education

    Hodhod, R., Kudenko, D. & Cairns, P., 2010, Proceedings of the 3rd International Symposium on AI and Games - A Symposium at the AISB 2010 Convention. p. 47-53 7 p.

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

  278. AI for Herding Sheep.

    Cowling, P. I. & Gmeinwieser, C., 2010, AIIDE.

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

  279. 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

  280. ANISOTROPIC FLUID SOLVER FOR ROBUST OPTICAL FLOW SMOOTHING

    Doshi, A. & Bors, A. G., 2009, 2009 10TH INTERNATIONAL WORKSHOP ON IMAGE ANALYSIS FOR MULTIMEDIA INTERACTIVE SERVICES. NEW YORK: IEEE, p. 117-120 4 p.

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

  281. APD-A tool for identifying behavioural patterns automatically from clickstream data

    Ting, I-H., Clark, L., Kimble, C., Kudenko, D. & Wright, P., 2007, Knowledge-Based Intelligent Information and Engineering Systems: KES 2007 - WIRN 2007, Pt II, Proceedings. Apolloni, B., Howlett, RJ. & Jain, L. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 66-73 8 p.

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

  282. APPLICATION OF AN ASSOCIATIVE MEMORY TO THE ANALYSIS OF DOCUMENT FAX IMAGES

    Okeefe, S. E. M. & Austin, J., 1994, BMVC94 - PROCEEDINGS OF THE 5TH BRITISH MACHINE VISION CONFERENCE, VOLS 1 AND 2. Hancock, ER. (ed.). YORK: BRITISH MACHINE VISION CONF, p. 315-325 11 p.

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

  283. ARTOO: adaptive random testing for object-oriented software

    Ciupa, I., Leitner, A., Oriol, M. & Meyer, B., 2008, ICSE '08 : Proceedings of the 30th international conference on Software engineering . p. 71-80

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

  284. ASHiCS: Automating the Search for Hazards in Complex Systems

    Clegg, K. D. & Alexander, R., Aug 2011, Proceedings of the 1st SESAR Innovation Days.

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

  285. AUTOMATIC MULTILINGUAL LEXICON GENERATION USING WIKIPEDIA AS A RESOURCE

    Shahid, A. R. & Kazakov, D., 2009, ICAART 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE. Fred, A. (ed.). SETUBAL: INSTICC-INST SYST TECHNOLOGIES INFORMATION CONTROL & COMMUNICATION, p. 357-360 4 p.

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

  286. 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

  287. Accelerating Immunos 99

    Taylor, P. N., Polack, F. A. C. & Timmis, J., 2013, Proceedings of the European Conference on Artificial Life. MIT Press, p. 983-898

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

  288. Accessibility of Blended and E-Learning for Mature Age and Disabled Students and Staff: Introduction to the Special Thematic Session

    Petrie, H., Power, C., Veasco, C. A. & Boticario, J. G., 2010, COMPUTERS HELPING PEOPLE WITH SPECIAL NEEDS, PROCEEDINGS, PT 1. Miesenberger, K., Klaus, J., Zagler, W. & Karshmer, A. (eds.). PART 1 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6179 LNCS. p. 484-485 2 p.

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

  289. Accessibility of blended and E-learning for mature age and disabled students and staff: introduction to the special thematic session

    Petrie, H., Power, C. D., Velasco, C. A. & Boticario, J. G., 2010, International Conference on Computers Helping People with Special Needs. Springer, p. 484-485 2 p.

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

  290. Accounting for Cache Related Pre-emption Delays in Hierarchical Scheduling

    Lunniss, W. R. E., Altmeyer, S., Lipari, G. & Davis, R. I., 2014, Real-Time Networks and Systems (RTNS). New York: ACM, p. 183-192 10 p.

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

  291. Accounting for Cache Related Pre-emption Delays in Hierarchical Scheduling with Local EDF Scheduler

    Lunniss, W., Altmeyer, S. & Davis, R. I., Aug 2014, Junior Researcher Workshop on Real-Time Computing (JRWRTC). p. 13-16 4 p.

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

  292. Accurate capture of timing parameters in inductively-coupled on-chip interconnects

    Murgan, T., Schlachta, C., Petrov, M., Indrusiak, L., Garcia Ortiz, A., Glesner, M. & Reis, R., 2004, SBCCI2004:17TH SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, PROCEEDINGS. NEW YORK: ASSOC COMPUTING MACHINERY, p. 117-122 6 p.

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

  293. Achieving integrated process and product safety arguments

    Habli, I. & Kelly, T., 2007, Safety of Systems. Redmill, F. & Anderson, T. (eds.). GODALMING: SPRINGER-VERLAG LONDON LTD, p. 55-68 14 p.

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

  294. Achieving minimal and deterministic interrupt execution in stack-based processor architectures

    Bailey, C., 2000, PROCEEDINGS OF THE 26TH EUROMICRO CONFERENCE, VOLS I AND II. Vajda, F. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 368-375 8 p.

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

  295. Acquiring height maps of faces from a single image

    Castelan, M. & Hancock, E. R., 2004, 2ND INTERNATIONAL SYMPOSIUM ON 3D DATA PROCESSING, VISUALIZATION, AND TRANSMISSION, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 183-190 8 p.

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

  296. Ada 2012: Resource Sharing and Multiprocessors

    Lin, S. & Wellings, A. B. A. J., 1 Apr 2013, Proceeding of the 15th IRTAW. ACM Letters, Vol. XXXII. p. 32-44 13 p.

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

  297. Ada 95: An Effective Concurrent Programming Language

    Burns, A. & Wellings, A. J., 1996, Reliable Software Technologies - Ada-Europe '96, 1996 : Proceedings ofAda-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996. Strohmeier, A. (ed.). Springer, Vol. 1088. p. 58-77 20 p. (Lecture Notes in Computer Science).

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

  298. Adaptable Image Processing System based on FPGA Modular Multi Kernel Instantiations

    Ackermann, K. F., Mayer, F., Indrusiak, L. S. & Glesner, M., 2006, Proceedings of the 2nd International Workshop on Reconfigurable Communication-centric Systems-on-Chip, ReCoSoC 2006, Montpellier, France, July 2006. Sassatelli, G., Indrusiak, L. S., Glesner, M. & Torres, L. (eds.). Univ. Montpellier II, p. 183-188 6 p.

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

  299. Adaptable lymphocytes for artificial immune systems

    Andrews, P. S. & Timmis, J., 2008, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Bentley, PJ., Lee, D. & Jung, S. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5132 LNCS. p. 376-386 11 p.

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

  300. Adapting scale by minimising spectral defocusing for shape from texture

    Ribeiro, E. & Hancock, E. R., 2000, 2000 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOL III, PROCEEDINGS. NEW YORK: IEEE, p. 893-896 4 p.

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

  301. Adaptive Agents and Multi-Agent Systems II: Adaptation and Multi-Agent Learning

    Kudenko, D. & Kazakov, D., 2005, Adaptive Agents and Multi-Agent Systems II: Adaptation and Multi-Agent Learning.

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

  302. Adaptive Generation of Dilemma-based Interactive Narratives

    Barber, H., Kudenko, D., Jain, L. C. (ed.) & Handa, H. (ed.), 2007, Advanced Intelligent Paradigms in Computer Games. Springer, Vol. 71. p. 19-37 19 p. (Studies in Computational Intelligence).

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

  303. Adaptive Mixed Criticality Scheduling with Deferred Preemption

    Burns, A. & Davis, R. I., Dec 2014, Proceedings: 2014 IEEE Real-Time Systems Symposium (RTSS 2014). IEEE, p. 21-30 10 p.

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

  304. Adaptive Scheduling Using Reflection

    Mitchell, S. E., Burns, A. & Wellings, A. J., 1997, Object-Oriented Technology, ECOOP'97 Workshop Reader: ECOOP'97 Workshops, Jyväskylä, Finland, June 9-13, 1997. Bosch, J. & Mitchell, S. (eds.). Springer, Vol. 1357. p. 74-79 6 p. (Lecture Notes in Computer Science).

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

  305. Adaptive model learning for continual verification of non-functional properties

    Calinescu, R., Rafiq, Y., Johnson, K. & Bakir, M. E., 1 Jan 2014, ICPE 2014: Proceedings of the 5th ACM/SPEC International Conference on Performance Engineering. Association for Computing Machinery (ACM), p. 87-98 12 p.

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

  306. Adaptively parameterised hyperheuristics for sales summit scheduling

    Cowling, P., Kendall, G. & Soubeiga, E., 2001, Selected Papers from the 4th Metaheuristics International Conference.

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

  307. Adding Spreadsheets to the MDE Toolkit

    Francis, M., Kolovos, D. & Paige, R. F., 2013, Model-Driven Engineering Languages and Systems: 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings. Springer, Vol. 8107 LNCS. p. 35-51 17 p. (Lecture Notes in Computer Science; vol. 8107).

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

  308. Adding instruction cache effect to schedulability analysis of preemptive real-time systems

    Busquets-Mataix, J. V., Serrano, J. J., Ors, R., Gil, P. J. & Wellings, A. J., 1996, IEEE Real Time Technology and Applications Symposium. IEEE Computer Society, p. 204-

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

  309. Adding temporal annotations and associated verification to the Ravenscar Profile

    Burns, A. & Lin, T. M., 2003, RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2003. Rosen, JP. & Strohmeier, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 80-91 12 p.

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

  310. Addressing Challenges of Hazard Analysis in Systems of Systems

    Despotou, G., Alexander, R. & Kelly, T., 1 Mar 2009, 2009 IEEE INTERNATIONAL SYSTEMS CONFERENCE, PROCEEDINGS. NEW YORK: IEEE, p. 167-172 6 p.

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

  311. Addressing dynamic dispatching issues in WCET analysis for object-oriented hard real-time systems

    Hu, E. Y. S., Bernat, G. & Wellings, A., 2002, ISORC 2002: FIFTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS. Bacellar, L., Puschner, P. & Hong, S. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 109-116 6 p.

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

  312. Adjusting Analogy Software Effort Estimation Based on Fuzzy Logic.

    Azzeh, M., Neagu, D. & Cowling, P. I., 2008, ICSOFT (SE/MUSE/GSDCA). p. 127-132 6 p.

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

  313. Advanced structural representations for question classification and answer re-ranking

    Quarteroni, S., Moschitti, A., Manandhar, S. & Basili, R., 2007, Advances in Information Retrieval. Amati, G., Carpineto, C. & Romano, G. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 234-245 12 p.

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

  314. Advances in Bayesian Network Learning using Integer Programming

    Bartlett, M. & Cussens, J., 2013, Proceedings of the 29th Conference on Uncertainty in Artificial Intelligence (UAI 2013). AUAI Press, p. 182-191 10 p.

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

  315. Advantages of the Linz-Sprott weak nonlinearity on the FPGA implementation of chaotic systems: a comparative analysis

    Indrusiak, L. S., Dutra e Silva Junior, E. C. & Glesner, M., 2005, ISSCS 2005: International Symposium on Signals, Circuits and Systems, Proceedings. NEW YORK: IEEE, p. 753-756 4 p.

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

  316. Agile requirements traceability using domain-specific modelling languages

    Taromirad, M. & Paige, R. F., 1 Dec 2012, 2012 Extreme Modeling Workshop, XM 2012 - Post-Proceedings, Satellite Event of the IEEE/ACM 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012. p. 45-50 6 p.

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

  317. Agile security using an incremental security architecture

    Chivers, H., Paige, R. F. & Ge, X. C., 2005, EXTREME PROGRAMMING AND AGILE PROCESSES IN SOFTWARE ENGINEERING, PROCEEDINGS. Baumeister, H., Marchesi, M. & Holcombe, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 57-65 9 p.

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

  318. Algebraic Specifications of Computing as a Service with Applications to Cost Analysis

    Johnson, K. H. A. & Tucker, J. V., 2012, (Accepted/In press) Proceedings of the 5th IEEE/ACM International Conference on Utility and Cloud Computing. p. 143-150 8 p.

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

  319. Algorithms for distributed exploration

    Walker, T., Kudenko, D., Strens, M. J. A., López de Mántaras, R. (ed.) & Saitta, L. (ed.), 2004, ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS. LopezdeMantaras, R. & Saitta, L. (eds.). AMSTERDAM: IOS Press, p. 84-88 5 p.

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

  320. Almost Boolean functions: The design of Boolean functions by spectral inversion

    Clark, J. A., Jacob, J. L., Maitra, S. & Stanica, P., 2003, CEC: 2003 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-4, PROCEEDINGS. NEW YORK: IEEE, p. 2173-2180 8 p.

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

  321. An Actor-Oriented Model-Based Design Flow for Systems-on-Chip

    Indrusiak, L. S. & Glesner, M., 2006, Dagstuhl-Workshop MBEES: : Modellbasierte Entwicklung eingebetteter Systeme II, Schloss Dagstuhl, Germany, 9.-13. Januar 2006, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. Giese, H., Rumpe, B. & Schätz, B. (eds.). TU Braunschweig, Institut für Software Systems Engineering, Vol. 2006-1. p. 65-74 10 p. (Informatik-Bericht).

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

  322. An Adaptive Neuro-Endocrine System for Robotic Systems

    Timmis, J., Neal, M. & Thorniley, J., 2009, 2009 IEEE WORKSHOP ON ROBOTIC INTELLIGENCE IN INFORMATIONALLY STRUCTURED SPACE. NEW YORK: IEEE, p. 129-136 8 p.

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

  323. An Agglomerative Hierarchical Clustering Algorithm for Labelling Morphs

    Can, B. & Manandhar, S., 2013, Recent Advances in Natural Language Processing, RANLP 2013, 9-11 September, 2013, Hissar, Bulgaria. p. 129-135 7 p.

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

  324. An Analysable Bus-Guardian for Event-Triggered Communication

    Broster, I. & Burns, A., 2003, Proceedings of the 24th IEEE Real-Time Systems Symposium. p. 410-419 9 p.

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

  325. An Approach to Designing Safety Critical Systems using the Unified Modelling Language

    Bate, I., Hawkins, R. & Toyn, I., 2003, Proceedings of the Workshop on Critical Systems Development with UML. Technische Universtat Munchen, p. 3-17 15 p.

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

  326. An Approach to Maintaining Safety Case Evidence After A System Change

    Jaradat, O., Graydon, P. & Bate, I., 2014, Proceedings of the 10th European Dependable Computing Conference.

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

  327. An Approach to Task Attribute Assignment for Uniprocessor Systems

    Bate, I. & Burns, A., 1 Jun 1999, 11th Euromicro Workshop on Real-Time Systems. p. 46-53 8 p.

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

  328. An Approach to the Evaluation of Assistive Technology

    Stevens, R. D. & Edwards, A. D. N., 1996, International ACM Conference on Assistive Technologies. p. 64-71 8 p.

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

  329. An Artificial Lymph Node Architecture for Homeostasis in Collective Robotic Systems

    Mokhtar, M., Timmis, J., Tyrrell, A. M. & Bi, R., 2008, SASOW 2008: SECOND IEEE INTERNATIONAL CONFERENCE ON SELF-ADAPTIVE AND SELF-ORGANIZING SYSTEMS WORKSHOPS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 126-131 6 p.

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

  330. An Assessment Framework for Automatic Code Generator Tools

    Audsley, N., Bate, I. & O'Halloran, C., 2004, Proceedings of the 22nd International System Safety Conference. p. 665-674 10 p.

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

  331. An Attributed Graph Kernel from the Jensen-Shannon Divergence

    Bai, L., Bunke, H. & Hancock, E. R., 2014, Proceedings of the 22nd International Conference on Pattern Recognition. IEEE Computer Society Press, p. 88-93 6 p.

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

  332. An Automated Approach to Generating Efficient Constraint Solvers

    Balasubramaniam, D., Jefferson, C. A., Kotthoff, L., Miguel, I. J. & Nightingale, P., 2012, 2012 34th international conference on software engineering (ICSE 2012). IEEE, p. 661-671 11 p.

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

  333. An Automated Constraint Modelling and Solving Toolchain

    Akgun, O., Frisch, A. M., Gent, I. P., Hussain, B. S., Jefferson, C. A., Kotthoff, L., Miguel, I. J. & Nightingale, P. W., 2013, ARW 2013 - 20th Automated Reasoning Workshop.

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

  334. An EDF Run-Time Profile based on Ravenscar

    Burns, A., 2013, Proceeding of the 15th IRTAW. ACM Letters, Vol. XXXII. p. 24-31 8 p.

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

  335. An Evaluation Template for Expert Review of Maturity Models

    Salah, D., Paige, R. F. & Cairns, P. A., 2014, Product-Focused Software Process Improvement: 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014. Proceedings. Springer, p. 318-321 4 p. (Lecture Notes in Computer Science; vol. 8892).

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

  336. An Extended Fixed Priority Scheme for Mixed Criticality Systems

    Baruah, S., Burns, A. & Davis, R. I., Aug 2013, Workshop on Real-Time Mixed Criticality Systems (ReTiMics). George, L. & Lipari, G. (eds.). p. 18-24 7 p.

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

  337. An Immuno-engineering Approach for Anomaly Detection in Swarm Robotics

    Lau, H., Bate, I. & Timmis, J., 2009, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Andrews, PS., Timmis, J., Owens, NDL., Aickelin, U., Hart, E., Hone, A. & Tyrrell, AM. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5666 LNCS. p. 136-150 15 p.

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

  338. An Immuno-engineering Approach for Anomaly Detection in Swarm Robotics

    Lau, HK., Bate, I. & Timmis, J., 2009, Proceedings of the 8th International Conference on Artificial Immune Systems (ICARIS 2009). Andrews, P. S., Timmis, J., Owens, N. D. L., Aickelin, U., Hart, E., Hone, A. & Tyrrell, A. M. (eds.). Springer, p. 136-150 15 p. (LNCS 5666).

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

  339. An Improved Auditory Interface for the Exploration of Lists

    Pitt, I. J. & Edwards, A. D. N., 1997, ACM Multimedia. p. 51-61 11 p.

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

  340. An Improved Lightweight Synchronisation Primitive For Sensornets

    Tate, J. & Bate, I., 1 Dec 2009, IEEE 6th International Conference on Mobile Adhoc and Sensor Systems, MASS 2009, 12-15 October 2009, Macau (S.A.R.), China. Macau: IEEE Computer Society, Los Alamitos, CA, p. 448-457 10 p.

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

  341. An Improved Speaker Diarization System

    Fu, R. & Benest, I. D., 2007, INTERSPEECH 2007: 8TH ANNUAL CONFERENCE OF THE INTERNATIONAL SPEECH COMMUNICATION ASSOCIATION, VOLS 1-4. BAIXAS: ISCA-INST SPEECH COMMUNICATION ASSOC, p. 1253-1256 4 p.

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

  342. An Information Theoretic Approach to Learning Generative Graph Prototypes

    Han, L., Hancock, E. R. & Wilson, R. C., 2011, SIMILARITY-BASED PATTERN RECOGNITION: FIRST INTERNATIONAL WORKSHOP, SIMBAD 2011. Pelillo, M. & Hancock, ER. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 7005 LNCS. p. 133-148 16 p.

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

  343. An Investigation into Server Parameter Selection for Hierarchical Fixed Priority Pre-emptive Systems

    Davis, R. I. & Burns, A., Oct 2008, International conference on Real-Time and Network Systems. p. 19-28

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

  344. An Iterative Approach for Development of Safety-Critical Software and Safety Arguments

    Ge, X., Paige, R. F. & McDermid, J. A., 2010, AGILE Conference, 2010. IEEE, p. 35-43 9 p.

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

  345. An Overview of the SoBP for Software in the Context of DS 00-56 Issue 4

    Menon, C., Hawkins, R. D., McDermid, J. A. & Kelly, T. P., 2010, Making Systems Safer. Dale, C. & Anderson, T. (eds.). London: SPRINGER-VERLAG LONDON LTD, p. 129-147 19 p.

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

  346. An RTSJ-based reconfigurable server component

    AlRahmawy, M. & Wellings, A. J., 2009, Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2009, Madrid, Spain, September 23-25, 2009. Higuera-Toledano, M. T. & Schoeberl, M. (eds.). ACM, p. 31-40 10 p. (ACM International Conference Proceeding Series).

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

  347. An adaptive length chromosome hyperheuristic genetic algorithm for a trainer scheduling problem

    Han, L., Kendall, G. & Cowling, P., 2002, Proceedings of the 4th Asia-Pacific conference on simulated evolution and learning (SEAL’02). p. 267-271 5 p.

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

  348. An agile and extensible code generation framework

    Kolovos, D. S., Paige, R. F. & Polack, F. A. C., 2005, EXTREME PROGRAMMING AND AGILE PROCESSES IN SOFTWARE ENGINEERING, PROCEEDINGS. Baumeister, H., Marchesi, M. & Holcombe, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 226-229 4 p.

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

  349. An analysis of problem difficulty for a class of optimisation heuristics

    Ridge, E. & Kudenko, D., 2007, Evolutionary Computation in Combinatorial Optimization, Proceedings. Cotta, C. & VanHemert, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 198-209 12 p.

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

  350. An approach for managing semantic heterogeneity in Systems of Systems Engineering

    Foster, S., Miyazawa, A., Woodcock, J. C. P., Cavalcanti, A. L. C., Fitzgerald, J. & Larsen, P. G., 2014, 9th International Conference on Systems of Systems Engineering (2014). Cook, S., Ireland, V., Gorod, A., Ferris, T. & Do, Q. (eds.). IEEE, p. 113-118 6 p. (IEEE Systems Journal).

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

  351. An approach to task attribute assignment for uniprocessor systems

    Bate, I. & Burns, A., 1999, PROCEEDINGS OF THE 11TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 46-53 8 p.

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

  352. An architecture for distributed search and data-mining in condition monitoring applications

    Jackson, T., Fletcher, M., Liang, B., Jessop, M. & Austin, J., 2007, 2007 IEEE AEROSPACE CONFERENCE, VOLS 1-9. NEW YORK: IEEE, p. 3871-3882 12 p.

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

  353. An architecture for modelling emergence in CA-like systems

    Polack, F., Stepney, S., Turner, H., Welch, P. & Barnes, F., 2005, ADVANCES IN ARTIFICAL LIFE, PROCEEDINGS. Capcarrere, MS., Freitas, AA., Bentley, PJ., Johnson, CG. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 433-442 10 p.

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

  354. An associative memory for association rule mining

    Baez-Monroy, V. O. & O'Keefe, S., 2007, 2007 IEEE INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS, VOLS 1-6. NEW YORK: IEEE, p. 2227-2232 6 p.

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

  355. An associative memory for association rule mining

    Baez-Monroy, V. O. & O'Keefe, S., 1 Dec 2007, IEEE International Conference on Neural Networks - Conference Proceedings. p. 2227-2232 6 p. 4371304

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

  356. An automated approach to specification-based program inspection

    Liu, S. Y., Nagoya, F., Chen, Y. T., Goya, M. & McDermid, J. A., 2005, FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS. Lau, KK. & Banach, R. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 421-434 14 p.

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

  357. 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

  358. An effective schedulability analysis for fault-tolerant hard real-time systems

    Lima, G. M. D. & Burns, A., 2001, 13TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 209-216 8 p.

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

  359. An efficient and practical local synchronous bandwidth allocation scheme for the timed-token MAC protocol

    Zhang, S. J., Burns, A. & Wellings, A., 1996, IEEE INFOCOM '96 - FIFTEENTH ANNUAL JOINT CONFERENCE OF THE IEEE COMPUTER AND COMMUNICATIONS SOCIETIES: NETWORKING THE NEXT GENERATION, PROCEEDINGS VOLS 1-3. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 920-927 8 p.

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

  360. An efficient and predictable implementation of asynchronous event handling in the RTSJ

    Kim, M. & Wellings, A. J., 2008, Proceedings of the 6th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2008, 24-26 September 2008, Santa Clara, California, USA. Bollella, G. & Locke, C. D. (eds.). ACM, Vol. 343. p. 48-57 10 p. (ACM International Conference Proceeding Series).

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

  361. An efficient experimental methodology for configuring search-based design algorithms

    Poulding, S., Emberson, P., Bate, I. & Clark, J. A., 2007, Proceedings of 10th IEEE High Assurance System Engineering Symposium (HASE 2007). USA: computer.org, p. 53-62 10 p.

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

  362. An efficient hardware implementation of a self-adaptable equalizer for WCDMA downlink UMTS standard

    Prudencio, R. B., Indrusiak, L. S. & Glesner, M., 2006, IEEE Computer Society Annual Symposium on VLSI, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 77-81 5 p.

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

  363. An efficient page lock/release OS mechanism for out-of-core embedded applications

    Patil, A. & Audsley, N., 2007, 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 81-88 8 p.

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

  364. An eigenvector method for shape-from-shading

    Robles-Kelly, A. & Hancock, E. R., 2003, 12TH INTERNATIONAL CONFERENCE ON IMAGE ANALYSIS AND PROCESSING, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 474-479 6 p.

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

  365. An incremental recovery cache supporting software fault tolerance

    Rogers, P. & Wellings, A. J., 1999, RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE' 99. Harbour, MG. & DelaPuente, JA. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 385-396 12 p.

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

  366. An integrated approach to domain analysis and reuse for engineering complex systems

    Lam, W., Whittle, B., McDermid, J. & Wilson, S., 1996, IEEE SYMPOSIUM AND WORKSHOP ON ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 102-109 8 p.

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

  367. An integrated framework for system/software requirements development aligning with business motivations

    Cui, X. & Paige, R., 25 Jul 2012, Proceedings - 2012 IEEE/ACIS 11th International Conference on Computer and Information Science, ICIS 2012. p. 547-552 6 p. 6211151

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

  368. An integrated framework for trademark image retrieval using gestalt features and CMM neural network

    Alwis, S. & Austin, J., 1999, SEVENTH INTERNATIONAL CONFERENCE ON IMAGE PROCESSING AND ITS APPLICATIONS. EDISON: INST ELECTRICAL ENGINEERS INSPEC INC, p. 290-295 6 p.

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

  369. An interactive approach to profiling parallel functional programs

    Charles, N. & Runciman, C., 1999, IMPLEMENTATION OF FUNCTIONAL LANGUAGES. Hammond, K., Davie, T. & Clack, C. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 20-37 18 p.

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

  370. An investigation into mutation operators for Particle Swarm Optimization

    Andrews, P. S., 2006, 2006 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-6. NEW YORK: IEEE, p. 1029-1036 8 p.

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

  371. An investigation of a hyperheuristic genetic algorithm applied to a trainer scheduling problem

    Cowling, P., Kendall, G. & Han, L., 2002, Evolutionary Computation, 2002. CEC'02. Proceedings of the 2002 Congress on. Vol. 2. p. 1185-1190 6 p.

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

  372. An object-oriented structuring for Z based on views

    Amalio, N., Polack, F. & Stepney, S., 2005, ZB 2005: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, PROCEEDINGS. Treharne, H., King, S., Henson, M. & Schneider, S. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 262-278 17 p.

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

  373. An operational semantics in UTP for a language of reactive designs

    Woodcock, J., 2006, UNIFYING THEORIES OF PROGRAMMING. Dunne, S. & Stoddart, B. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 84-84 1 p.

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

  374. An optimisation algorithm for minimising energy dissipation in NoC-based hard real-time embedded systems

    Mohd Sayuti, M. N. S., Soares Indrusiak, L. & Garcia Ortiz, A., 2013, Proceedings of the 21st International Conference on Real-Time Networks and Systems (RTNS). ACM, p. 3-12 10 p.

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

  375. An outline pattern language for Z: Five illustrations and two tables

    Stepney, S., Polack, F. & Toyn, I., 2003, ZB 2003: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B. Bert, D., Bowen, JP., King, S. & Walden, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 219 18 p.

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

  376. An upper bound for BDeu local scores

    Cussens, J., 2012, Proc. ECAI-2012 workshop on algorithmic issues for inference in graphical models (AIGM 2012).

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

  377. Analogue circuit control through gene expression

    Clegg, K. & Stepney, S., 2008, APPLICATIONS OF EVOLUTIONARY COMPUTING, PROCEEDINGS. Giacobini, M. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 4974 LNCS. p. 154-163 10 p.

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

  378. Analysing APEX applications

    Audsley, N. & Wellings, A., 1996, 17TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS. Sipple, RS. (ed.). LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 39-44 6 p.

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

  379. Analysing the 'biodiversity' of open source ecosystems: the GitHub case

    Matragkas, N. D., Williams, J. R., Kolovos, D. S. & Paige, R. F., 2014, MSR 2014: Proceedings of the 11th Working Conference on Mining Software Repositories. ACM, p. 356-359 4 p.

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

  380. Analysis of checkpointing for schedulability of real-time systems

    Punnekkat, S. & Burns, A., 1997, FOURTH INTERNATIONAL WORKSHOP ON REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 198-205 8 p.

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

  381. Analysis of hierarchical EDF pre-emptive scheduling

    Zhang, F. & Burns, A., 2007, RTSS 2007: 28TH IEEE INTERNATIONAL REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 423-434 12 p.

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

  382. Analysis of probabilistic cache related pre-emption delays for systems with random cache replacement policies

    Davis, R. I., Santinelli, L., Altmeyer, S., Maiza, C. & Cucu-Grosjean, L., Jul 2013, Euromicro Conference on Real-Time Systems. IEEE, p. 168-179

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

  383. Analyzing Heuristic Performance with Response Surface Models: Prediction, Optimization and Robustness

    Ridge, E. & Kudenko, D., 2007, GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2. NEW YORK: ASSOC COMPUTING MACHINERY, p. 150-157 8 p.

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

  384. Anomaly Detection Inspired by Immune Network Theory: A Proposal

    Lau, HK., [Unknown], J. T. & [Unknown], I. B., 1 May 2009, Proceedings of the 2009 IEEE Congress on Evolutionary Computation (CEC '09). IEEE, p. 3045-3051 7 p.

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

  385. Anomaly Detection Inspired by Immune Network Theory: A Proposal

    Lau, H., Timmis, J. & Bate, I., 2009, 2009 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-5. NEW YORK: IEEE, p. 3045-3051 7 p.

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

  386. Application areas of AIS: The past, the present and The Future

    Hart, E. & Timmis, J., 2005, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Jacob, C., Pilat, ML., Bentley, PJ. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 483-497 15 p.

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

  387. Application of HTK to the Polish language

    Zi'olko, B., Manandhar, S., Wilson, R. C., Zi'olko, M. & Galka, J., 2008, 2008 INTERNATIONAL CONFERENCE ON AUDIO, LANGUAGE AND IMAGE PROCESSING, VOLS 1 AND 2, PROCEEDINGS. Wan, WG., Luo, FL. & Yu, XQ. (eds.). NEW YORK: IEEE, p. 1759-1764 6 p.

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

  388. Application of correlation memory matrices in high frequency asset allocation

    Kustrin, D., Austin, J. & Sanders, A., 1997, FIFTH INTERNATIONAL CONFERENCE ON ARTIFICIAL NEURAL NETWORKS. EDISON: INST ELECTRICAL ENGINEERS INSPEC INC, p. 167-172 6 p.

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

  389. Application-Defined Virtualisation for Embedded Real-Time Software on Complex Architectures

    Gray, I. & Audsley, N. C., 2008, 2nd Junior Researcher Workshop on Real-Time Computing, in conjunction with RTNS.

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

  390. Applications of Model Reuse When Using Estimation of Distribution Algorithms to Test Concurrent Software

    Staunton, J. & Clark, J. A., 2011, Search Based Software Engineering - Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011. Proceedings. Cohen, M. B. & Cinnéide, M. Ó. (eds.). Springer, Vol. 6956. p. 97-111 15 p. (Lecture Notes in Computer Science).

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

  391. Applying Communication Patterns to Actor-Oriented Models

    Thuy, A., Indrusiak, L. S. & Glesner, M., 2006, Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings. ECSI, p. 407-409 3 p.

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

  392. Applying artificial immune systems to real-time embedded systems

    Lay, N. & Bate, I., 2007, Congress on Evolutionary Computation (CEC). NEW YORK: IEEE, p. 3743-3750 8 p.

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

  393. Applying fixed-priority preemptive scheduling with preemption threshold to asynchronous event handling in the RTSJ

    Kim, M. & Wellings, A. J., 2009, Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2009, Madrid, Spain, September 23-25, 2009. Higuera-Toledano, M. T. & Schoeberl, M. (eds.). ACM, p. 80-89 10 p. (ACM International Conference Proceeding Series).

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

  394. Applying web usage mining techniques to discover potential browsing problems of users

    Ting, I-H., Kimble, C. & Kudenko, D., 2007, 7th IEEE International Conference on Advanced Learning Technologies, Proceedings. Spector, JM., Sampson, DG., Okamoto, T., Kinshuk, X., Cerri, SA., Ueno, M. & Kashihara, A. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 929-930 2 p.

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

  395. Approaches to Modelling Security Scenarios with Domain-Specific Languages: 41-54

    Brooke, P. J., Paige, R. F. & Power, C. D., 2012, Security Protocols XX: 20th International Workshop, Cambridge, UK, April 12-13, 2012, Revised Selected Papers. Springer, Vol. 7622 LNCS. p. 41-54 14 p. (Lecture Notes in Computer Science; vol. 7622).

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

  396. Appropriate mechanisms for the support of optional processing in hard real-time systems

    Audsley, N. C., Davis, R. I., Burns, A. & Wellings, A. J., May 1994, IEEE Workshop on Real-Time Operating Systems and Software. p. 23-27

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

  397. Approximate Bayesian computation for the parameters of PRISM programs

    Cussens, J., 2011, Proceedings of the 20th International Conference on Inductive Logic Programming. Heidelberg: Springer, Vol. 6489. p. 38-46 9 p.

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

  398. Architectural Considerations in the Certification of Modular Systems

    Bate, I. & Kelly, T., 2002, Computer Safety, Reliability and Security - 21st International Conference, SAFECOMP 2002. Vol. LNCS 2434. p. 321-333 13 p.

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

  399. Architecture Trade-off Analysis and Codesign for Safety-Related Real-Time Embedded Systems

    Bate, I. & Audsley, N., 2002, Proceedings of 1st International Workshop on Embedded Systems Codesign. p. 8-15 8 p.

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

  400. Architecture Trade-off Analysis and the Influence on Component Design

    Bate, I. & Audsley, N., 2002, Proceedings of the Workshop on Component-based Software Engineering.

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

  401. Architecture-awareness for real-time big data systems

    Gray, I., Audsley, N. C., Chan, Y. & Wellings, A., 9 Sep 2014, ACM International Conference Proceeding Series. Association for Computing Machinery (ACM), p. 151-156 6 p.

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

  402. Artificial immune systems and the grand challenge for non-classical computation

    Stepney, S., Clark, J. A., Johnson, C. G., Partridge, D. & Smith, R. E., 2003, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Timmis, J., Bentley, P. & Hart, E. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 204-216 13 p.

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

  403. Assessing complex computer based systems using the goal structuring notation

    Wilson, S. P., McDermid, J. A., Pygott, C. H. & Tombs, D. J., 1996, SECOND IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 498-505 8 p.

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

  404. Assessing the safety of integrity level partitioning in software

    McDermid, J. A. & Pumfrey, D. J., 2000, LESSONS IN SYSTEM SAFETY. Redmill, F. & Anderson, T. (eds.). GODALMING: SPRINGER-VERLAG LONDON LTD, p. 134-152 19 p.

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

  405. Assessing trustworthiness of nodes to enhance performance in mobile ad hoc networks

    Bista, S. K., Dahal, K., Cowling, P. & Bouras, A., 2010, Privacy Security and Trust (PST), 2010 Eighth Annual International Conference on. p. 80-87 8 p.

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

  406. Assessment of Trace-Differences in Timing Analysis for Complex Real-Time Embedded Systems

    Lu, Y., Nolte, T., Bate, I., Kraft, J. & Norstrom, C., 2011, Proceedings of the 6th IEEE International Symposium on Industrial Embedded Systems (SIES'11).

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

  407. Assigning Semantics to Graphical Concrete Syntaxes

    Zolotas, A., Kolovos, D. S., Matragkas, N. D. & Paige, R. F., 2014, XM 2014: Proceedings of the 3rd Workshop on Extreme Modeling co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages Systems, XM@MoDELS 2014, Valencia, Spain, September 29, 2014.. Di Ruscio, D., de Lara, J. & Pierantonio, A. (eds.). CEUR Workshop Proceedings, p. 12-21 10 p. (CEUR Workshop Proceedings; vol. 1239).

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

  408. Associating Minutiae between Distorted Fingerprints Using Minimal Spanning Tree

    Zhu, E., Hancock, E., Ren, P., Yin, J. & Zhang, J., 2010, IMAGE ANALYSIS AND RECOGNITION, 2010, PT II, PROCEEDINGS. Campilho, A. & Kamel, M. (eds.). PART 2 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6112 LNCS. p. 235-245 11 p.

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

  409. Assurance of Automotive Safety – A Safety Case Approach

    Habli, I. & Palin, R. A., 2010, 29th International Conference on Computer Safety, Reliability and Security .

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

  410. Assuring Safety for Component Based Software Engineering

    Conmy, P. & Bate, I., 2014, Proceedings of the 15th International Symposium on High-Assurance Systems Engineering (HASE). p. 121-128 8 p.

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

  411. 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

  412. Asynchronous event handling and real-time threads in the Real-time Specification for Java

    Wellings, A. J. & Burns, A., 2002, EIGHTH IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 81-89 9 p.

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

  413. Asynchronous event handling and safety critical Java

    Wellings, A. J. & Kim, M., 2010, Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010. Kalibera, T. & Vitek, J. (eds.). ACM, p. 53-62 10 p. (ACM International Conference Proceeding Series).

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

  414. Asynchronous event handling in the real-time specification for Java

    Kim, M. & Wellings, A. J., 2007, Proceedings of the 5th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2007, Institute of Computer Engineering, Vienna University of Technology, 26-28 September 2007, Vienna, Austria. Bollella, G. (ed.). ACM, p. 3-12 10 p. (ACM International Conference Proceeding Series).

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

  415. At the interface of inductive logic programming and statistics

    Cussens, J., 2004, INDUCTIVE LOGIC PROGRAMMING, PROCEEDINGS. Camacho, R., King, R. & Srinivasan, AS. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 23 2 p.

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

  416. Attribute-Value and Relational Learning: A Statistical Viewpoint

    Cussens, J., 2000, Proceedings of the ICML-2000 Workshop on Attribute-Value and Relational Learning: Crossing the Boundaries. De Raedt, L. & Kramer, S. (eds.). p. 35-39 5 p.

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

  417. Attributed Graph Kernels Using the Jensen-Tsallis q-Differences

    Bai, L., Rossi, L., Bunke, H. & Hancock, E. R., 2014, (Accepted/In press) Proceedings ECML 2014. Springer Berlin / Heidelberg, 16 p.

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

  418. Automated Calibration of agent-based immunological simulations

    Tripp, M., Read, M. N., Rose, L. M., Leonov, H. & Timmis, J., 2013, Advances in Artificial Life, ECAL 2013. Lio, P., Miglino, O., Nicosia, G., Nolfi, S. & Pavone, M. (eds.). MIT Press, p. 874-875

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

  419. Automated Symmetry Breaking and Model Selection in Conjure

    Akgun, O., Frisch, A. M., Gent, I. P., Hussain, B. S., Jefferson, C. A., Kotthoff, L., Miguel, I. J. & Nightingale, P. W., 2013, CP 2013 - Principles and Practice of Constraint Programming, 19th International Conference.

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

  420. Automated Verification and Validation for High Integrity Systems: A Targeted Formal Methods Approach

    Burton, S., Clark, J. A., Galloway, A. & McDermid, J. A., 2000, Proceedings of the NASA Langley Formal Methods Workshop.

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

  421. Automated benchmarking of functional data structures

    Moss, G. E. & Runciman, C., 1999, PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES. Gupta, G. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, p. 115 15 p.

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

  422. Automated calibration of agent-based immunological simulations

    Read, M. N., Tripp, M., Leonova, H., Rose, L. M. & Timmis, J., 2 Sep 2013, Advances in Artificial Life, ECAL 2013: Proceedings of the Twelfth European Conference on the Synthesis and Simulation of Living Systems. MIT Press, p. 874-875 (Complex Adaptive Systems).

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

  423. Automated design of security protocols

    Chen, H., Clark, J. A. & Jacob, J. L., 2003, CEC: 2003 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-4, PROCEEDINGS. NEW YORK: IEEE, p. 2181-2188 8 p.

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

  424. Automated generalisation of function definitions

    Bakewell, A. & Runciman, C., 1999, FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS. Middledorp, A. & Sato, T. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 225-240 16 p.

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

  425. Automatic Code Generation for Airborne Systems

    Audsley, N. C., Bate, I. J. & Crook-Dawkins, S. K., 1 Mar 2003, Proceedings of the IEEE Aerospace Conference. IEEE, p. 8-15 8 p.

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

  426. Automatic Keypoint Detection on 3D Faces Using a Dictionary of Local Shapes

    Creusot, C., Pears, N. & Austin, J., 2011, Proceedings of the 2011 International Conference on 3D Imaging, Modeling, Processing, Visualization and Transmission. Washington, DC, USA: IEEE Computer Society, p. 204-211 8 p. (3DIMPVT '11).

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

  427. Automatic Safety Analysis of Computer-based Railway Signalling System

    Nui, R., Tang, T., Lisagor, O. & McDermid, J. A., Jul 2011, Proceedings of IEEE International Conference on Intelligent Rail Transportation (IEEE ICIRT 2011). IEEE Intelligent Transportation Systems Society, p. 484-490 7 p.

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

  428. Automatic Safety Analysis of Networked Control System based on Failure Propagation Model

    Nui, R., Tang, T., Lisagor, O. & McDermid, J. A., Jul 2011, Proceedings of IEEE International Conference on Vehicular Electronics and Safety (ICVES 2011). Beijing, China: IEEE Intelligent Transportation Systems Society, p. 53-58 6 p.

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

  429. Automatic Translation from Circus to Java

    Freitas, A. & Cavalcanti, A., 2006, FM 2006: FORMAL METHODS, PROCEEDINGS. Misra, J., Nipkow, T. & Sekerinski, E. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 115-130 16 p.

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

  430. Automatic code generation for airborne systems

    Audsley, N., Bate, I. & Crook-Dawkins, S., 2003, 2003 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOLS 1-8. NEW YORK: IEEE, p. 2863-2873 11 p.

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

  431. Automatic critiques of interface modes

    Gow, J., Thimbleby, H. & Cairns, P., 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3941 LNCS. p. 201-212 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3941 LNCS).

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

  432. Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form Automated Verification of Critical Systems

    Besnard, L., Gautier, T., Moy, M., Talpin, J-P., Johnson, K. H. A. & Maraninchi, F., 2009, Proceedings of the Ninth International Workshop onAutomated Verification of Critical Systems.

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

  433. Automorphs and involutions

    Jackson, T., 2000, NUMBER THEORY. Jakubec, S., Nemoga, K. & Porubsky, S. (eds.). BRATISLAVA: SLOVAK ACADEMY SCIENCES MATHEMATICAL INSTITUTE, p. 59-63 5 p.

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

  434. Autonomous and/or interactive constraints-based software reconfiguration for planetary rover

    Montano, G. & McDermid, J. A., 2008, Proceedings of the 10th European Space Agency Workshop on Advanced Space Technologies for Robotics and Automation (ASTRA 2008). Noordwijk (The Netherlands). 11-13 November 2008. EUROPEAN SPACE AGENCY

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

  435. BONITA: A set of tuple space primitives for distributed coordination

    Rowstron, A. I. T. & Wood, A. M., 1997, THIRTIETH HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOL 1. ElRewini, H. & Patt, YN. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 379-388 10 p.

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

  436. Bad Modelling Teaching Practices

    Paige, R. F., Polack, F. A. C., Kolovos, D. S., Rose, L. M., Matragkas, N. D. & Williams, J. R., 2014, EduSymp 2014: Proceedings of the MODELS Educators Symposium co-located with the ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 29, 2014.. Demuth, B. & Stikkolorum, D. (eds.). CEUR Workshop Proceedings, p. 1-12 12 p. (CEUR Workshop Proceedings; vol. 1346).

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

  437. Bandits all the way down: UCB1 as a simulation policy in Monte Carlo Tree Search

    Powley, E. J., Whitehouse, D. & Cowling, P. I., 2013, Computational Intelligence in Games (CIG), 2013 IEEE Conference on. p. 1-8 8 p.

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

  438. Baselines for joint-action reinforcement learning of coordination in cooperative multi-agent systems

    Carpenter, M. & Kudenko, D., 2005, ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS II. Kudenko, D., Kazakov, D. & Alonso, E. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 55-72 18 p.

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

  439. Battery- and aging-aware embedded control systems for electric vehicles

    Chang, W., Proebstl, A., Goswami, D., Zamani, M. & Chakraborty, S., 2014, IEEE Real-Time Systems Symposium (RTSS).

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

  440. 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

  441. Bayesian Estimation of Kernel Bandwidth for Nonparametric Modelling

    Bors, A. G. & Nasios, N., 2009, ARTIFICIAL NEURAL NETWORKS - ICANN 2009, PT II. Alippi, C., Polycarppou, M., Panayiotou, C. & Ellinas, G. (eds.). PART 2 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5769 LNCS. p. 245-254 10 p.

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

  442. Bayesian opponent modeling in a simple poker environment

    Baker, R. JS. & Cowling, P. I., 2007, Computational Intelligence and Games, 2007. CIG 2007. IEEE Symposium on. p. 125-131 7 p.

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

  443. Behavioural Sets and Operations in Treaty Systems

    Zhao, Y. & Wood, A. M., 2012, International Conference on Control Engineering and Communication Technology (ICCECT), 2012. p. 315-320 6 p.

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

  444. Belief Propagation with Directional Statistics for Solving the Shape-from-Shading Problem

    Haines, T. S. F. & Wilson, R. C., 12 Oct 2008, COMPUTER VISION - ECCV 2008, PT III, PROCEEDINGS. Forsyth, D., Torr, P. & Zisserman, A. (eds.). PART 3 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5304 LNCS. p. 780-791 12 p.

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

  445. Better, Faster, Cheaper, and Safer Too Is This Really Possible?

    Bate, I., Hansson, H. & Punnekkat, S., 2012, Proceedings of the 17th IEEE International Conference on Emerging Technologies and Factory Automation.

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

  446. Binary exponential back off for tabu tenure in hyperheuristics

    Remde, S., Dahal, K., Cowling, P. & Colledge, N., 2009, European Conference on Evolutionary Computation in Combinatorial Optimization. p. 109-120 12 p.

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

  447. Bio-inspired Error Detection for Complex Systems

    Drozda, M., Bate, I. & Timmis, J., 2011, Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing. p. 154-163 10 p.

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

  448. Biomolecular immune-computer: Theoretical basis and experimental simulator

    Goncharova, L. B., Jacques, Y., Martin-Vide, C., Tarakanov, A. O. & Timmis, J. I., 2005, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Jacob, C., Pilat, ML., Bentley, PJ. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 72-85 14 p.

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

  449. Birkhoff Polytopes, Heat Kernels and Graph Complexity

    Escolano, F., Hancock, E. R. & Lozano, M. A., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 2572-2576 5 p.

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

  450. Blind watermarking of 3D shapes using localized constraints

    Bors, A. G., 2004, 2ND INTERNATIONAL SYMPOSIUM ON 3D DATA PROCESSING, VISUALIZATION, AND TRANSMISSION, PROCEEDINGS. Aloimonos, Y. & Taubin, G. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 242-249 8 p.

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

  451. Blocking time monitoring in the real-time specification for Java

    Santos, O. M. D. & Wellings, A. J., 2008, Proceedings of the 6th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2008, 24-26 September 2008, Santa Clara, California, USA. Bollella, G. & Locke, C. D. (eds.). ACM, Vol. 343. p. 135-143 9 p. (ACM International Conference Proceeding Series).

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

  452. Board Evaluation For The Virus Game.

    Cowling, P. I., 2005, CIG.

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

  453. Breaking row and column symmetries in matrix models

    Flener, P., Frisch, A. M., Hnich, B., Kiziltan, Z., Miguel, I., Pearson, J. & Walsh, T., Sep 2002, Proceedings of the 8th International Conference on Principles and Practice of Constraint Programmin. Berlin / Heidelberg: Springer, p. 462-477 15 p. (Lecture Notes in Computer Science; vol. 2470).

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

  454. Building a Preliminary Safety Case: An Example from Aerospace

    Bate, I. J., Burns, A., Kelly, T. P. & McDermid, J. A., 1997, Proceedings of the 1997 Australian Workshop on Industrial Experience with Safety Critical Systems and Software, Sydney, Australia. p. 1-10 10 p.

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

  455. Burns Standard Notation for real time scheduling

    Davis, R., Mar 2013, Real-Time Systems: the past, the present and the future. Audsley, N. & Baruah, S. (eds.). CreateSpace Independent Publishing Platform , p. 38-41

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

  456. C-Link: Concept Linkage in Knowledge Repositories.

    Cowling, P. I., Remde, S., Hartley, P., Stewart, W., Stock-Brooks, J. & Woolley, T., 2010, AAAI Spring Symposium: Linked Data Meets Artificial Intelligence.

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

  457. C-NNAP: A dedicated platform for binary neural networks

    Kennedy, J. V., Austin, J., Pack, R. & Cass, B., 1997, FIFTH INTERNATIONAL CONFERENCE ON ARTIFICIAL NEURAL NETWORKS. EDISON: INST ELECTRICAL ENGINEERS INSPEC INC, p. 161-166 6 p.

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

  458. CADS*: Computer-Aided Development of Self-* Systems

    Calinescu, R. & Kwiatkowska, M., 2009, FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS. Chechik, M. & Wirsing, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5503. p. 421-424 4 p.

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

  459. CAUSALITY AS A MEANS FOR THE EXPRESSION OF REQUIREMENTS FOR SAFETY-CRITICAL SYSTEMS

    Coombes, A., McDermid, J. & Morris, P., 1994, COMPASS '94 - PROCEEDINGS OF THE NINTH ANNUAL CONFERENCE ON COMPUTER ASSURANCE. NEW YORK: I E E E, p. 223-231 9 p.

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

  460. CGRASS: A system for transforming constraint satisfaction problems

    Frisch, A. M., Miguel, I. & Walsh, T., 2003, RECENT ADVANCES IN CONSTRAINTS. OSullivan, B. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, p. 15-30 16 p.

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

  461. CLP(BN): Constraint Logic Programming for Probabilistic Knowledge

    Santos Costa, V., Page, D., Qazi, M. & Cussens, J., 2003, Proceedings of the Nineteenth Annual Conference on Uncertainty in Artificial Intelligence (UAI--2003). rulff, U. K. & Meek, C. (eds.). Acapulco, Mexico: MORGAN KAUFMANN PUB INC, p. 517-524 8 p.

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

  462. CMSEBA 2014 Workshop Report

    Paige, R. F., Kessentini, M., Langer, P. & Wimmer, M., 2014, CMSEBA 2014: Proceedings of the First International Workshop on Combining Modelling with Search- and Example-Based Approaches co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 28, 2014.. Paige, R., Kessentini, M., Langer, P. & Wimmer, M. (eds.). CEUR Workshop Proceedings, p. 1-6 6 p. (CEUR Workshop Proceedings; vol. 1340).

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

  463. COMFLEX: a high speed packet switch for Inter-Computer Communication

    McDermid, J. A., 1978, IRIA 1978. p. 187-204

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

  464. CONNECT challenges: Towards emergent connectors for eternal networked systems

    Issarny, V., Steffen, B., Jonsson, B., Blair, G., Grace, P., Kwiatkowska, M., Calinescu, R., Inverardi, P., Tivoli, M., Bertolino, A. & Sabetta, A., 22 Oct 2009, Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS. p. 154-161 8 p. 5090523

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

  465. COTS product selection for safety-critical systems

    Ye, F. & Kelly, T., 2004, COTS BASED SOFTWARE SYSTEMS, PROCEEDINGS. Port, D. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, p. 53-62 10 p.

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

  466. Cache Related Pre-emption Delay Aware Response Time Analysis for Fixed Priority Pre-emptive Systems

    Altmeyer, S., Davis, R. I. & Maiza, C., Dec 2011, IEEE Real-Time Systems Symposium. p. 261-271 11 p.

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

  467. Can opponent models aid poker player evolution?

    Baker, R. JS., Cowling, P. I., Randall, T. WG. & Jiang, P., 2008, Computational Intelligence and Games, 2008. CIG'08. IEEE Symposium On. p. 23-30 8 p.

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

  468. Can process-based and product-based approaches to software safety certification be reconciled?

    Kelly, T. P., 2008, IMPROVEMENTS IN SYSTEM SAFETY. Redmill, F. & Anderson, T. (eds.). GODALMING: SPRINGER-VERLAG LONDON LTD, p. 312 10 p.

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

  469. Can recognising multiword expressions improve shallow parsing?

    Korkontzelos, I. & Manandhar, S., 2010, Human language technologies: the 2010 Annual Conference of the North American Chapter of the Association for Computational Linguistics. Stroudsburg, PA: Association for Computational Linguistics, p. 636-644 9 p.

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

  470. Capturing and Replaying Architectural Knowledge through Derivational Analogy

    Habli, I. & Kelly, T., 2007, 2nd International Workshop on SHAring and Reusing architectural Knowledge – Architecture, rationale, and Design Intent.

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

  471. Cartographic indexing into a database of remotely sensed images

    Huet, B. & Hancock, E. R., 1996, THIRD IEEE WORKSHOP ON APPLICATIONS OF COMPUTER VISION - WACV '96, PROCEEDINGS. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 814 7 p.

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

  472. Cartographic matching with millimetre radar images

    Moss, S. & Hancock, E. R., 1996, THIRD IEEE WORKSHOP ON APPLICATIONS OF COMPUTER VISION - WACV '96, PROCEEDINGS. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 70-76 7 p.

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

  473. Cautious Induction in Inductive Logic Programming

    Anthony, S., Frisch, A. M., Lavrac, N. (ed.) & Dzeroski, S. (ed.), 1997, Inductive Logic Programming: Proc. of the Seventh Int. Workshop. Prague, Czech Republic: Springer, Vol. 1297. p. 45-60 16 p. (Lecture Notes in Artificial Intelligence).

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

  474. Certification of FPGAs - Current Issues and Possible Solutions

    Bate, I. & Conmy, P., 2009, SAFETY-CRITICAL SYSTEMS: PROBLEMS, PROCESS AND PRACTICE. Dale, C. & Anderson, T. (eds.). NEW YORK: SPRINGER, p. 149-165 17 p.

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

  475. Certification of FPGAs - Current Issues and Possible Solutions

    Conmy, P. & Bate, I., 2009, Safety-critical Systems Symposium 2009. Springer, p. 149-165 17 p.

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

  476. Chaining model transformations

    Etien, A., Aranega, V., Blanc, X. & Paige, R. F., 1 Dec 2012, Proceedings of the 1st Workshop on the Analysis of Model Transformations, AMT 2012. p. 9-14 6 p.

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

  477. Challenges and best practices in policy-based autonomic architectures

    Calinescu, R., 1 Dec 2007, Proceedings - DASC 2007: Third IEEE International Symposium on Dependable, Autonomic and Secure Computing. p. 65-74 10 p. 4351390

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

  478. Challenges for artificial immune systems

    Timmis, J., 2006, NEURAL NETS. Apolloni, B., Marinaro, M., Necosia, G. & Tagliaferri, R. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 355-367 13 p.

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

  479. Challenges in Relational Learning for Real-Time Systems Applications

    Bartlett, M., Bate, I. & Kazakov, D., 2008, INDUCTIVE LOGIC PROGRAMMING, ILP 2008. Zelezny, F. & Lavrac, N. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5194 LNAI. p. 42-58 17 p.

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

  480. Challenges in Software Development for Multicore System-on-Chip Development

    Gray, I. & Audsley, N. C., 2012, 23rd IEEE International Symposium on Rapid System Prototyping (RSP).

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

  481. Challenges of establishing a software product line for an aerospace engine monitoring system

    Habli, I., Kelly, T. & Hopkins, I., 2007, SPLC 2007: 11TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 193-202 10 p.

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

  482. Challenging formal specifications by mutation: a CSP security example

    Srivatanakul, T., Clark, J. A., Stepney, S. & Polack, F., 2003, ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS. Azada, D. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 340-350 11 p.

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

  483. Characteristic Polynomial Analysis on Matrix Representations of Graphs

    Ren, P., Wilson, R. C. & Hancock, E. R., 2009, GRAPH-BASED REPRESENTATIONS IN PATTERN RECOGNITION, PROCEEDINGS. Torsello, A., Escolano, F. & Brun, L. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5534 LNCS. p. 243-252 10 p.

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

  484. Characterizing Graphs Using Approximate von Neumann Entropy

    Han, L., Hancock, E. R. & Wilson, R. C., 2011, PATTERN RECOGNITION AND IMAGE ANALYSIS: 5TH IBERIAN CONFERENCE, IBPRIA 2011. Vitria, J., Sanches, JM. & Hernandez, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6669 LNCS. p. 484-491 8 p.

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

  485. Characterizing Graphs Using Spherical Triangles

    ElGhawalby, H. & Hancock, E. R., 2009, PATTERN RECOGNITION AND IMAGE ANALYSIS, PROCEEDINGS. Araujo, H., Mendonca, AM., Pinho, AJ. & Torres, MI. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5524 LNCS. p. 465-472 8 p.

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

  486. Checking the shape safety of pointer manipulations

    Plump, D., Bakewell, A. & Runciman, C., 2004, Relational Methods in Computer Science (RelMiCS 7), Revised Selected Papers. Berghammer, R., Moller, B. & Struth, G. (eds.). Berlin: Springer, p. 48-61 14 p. (Lecture Notes in Computer Science; vol. 3051).

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

  487. Checkpointing and Error Recovery in Distributed Systems

    McDermid, J. A., 1981, Proc. 2nd Int. Conf. on Distributed Computing Systems. p. 271-282 12 p.

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

  488. Choice function and random hyperheuristics

    Kendall, G., Cowling, P. & Soubeiga, E., 2002, Proceedings of the fourth Asia-Pacific conference on simulated evolution and learning, SEAL. p. 667-671 5 p.

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

  489. Choosing the fittest subset of low level heuristics in a hyperheuristic framework

    Chakhlevitch, K. & Cowling, P., 2005, European Conference on Evolutionary Computation in Combinatorial Optimization. p. 23-33 11 p.

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

  490. Circus Time with Reactive Designs

    Woodcock, J., Wei, K. & Cavalcanti, A. L. C., 2012, Unifying Theories of Programming . Lecture Notes in Computer Science, Vol. 7681 . p. 68-87

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

  491. Clustering Using Class Specific Hyper Graphs

    Xia, S. & Hancock, E. R., 2008, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION. DaVitoria Lobo, N., Kasparis, T., Roli, F., Kwok, JT., Georgiopoulos, M., Anagnostopoulos, GC. & Loog, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5342 LNCS. p. 318-328 11 p.

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

  492. Collaborative design using a shared object spaces infrastructure

    Sawicki, S., Brisolara, L., Indrusiak, L. S. & Reis, R., 2002, 15TH SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 163-168 6 p.

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

  493. Collective Monitoring to Achieve Self-Detection of Errors in Swarm Robotics

    Lau, H., Timmis, J. & Bate, I. J., 2011, LNCS. Lecture Notes in Computer Science, Vol. 6826. p. 254-267

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

  494. Column generation for exact BN learning: Work in progress

    Cussens, J., 2012, Proc. ECAI-2012 workshop on COmbining COnstraint solving with MIning and LEarning (CoCoMile 2012). p. 21-22

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

  495. Combined Simulator Statistics and Block-Code Sampling to Study Performance Enhancement of Microarchitecture

    Huibin, S., Bailey, C., Farrall, G., Hastie, N. & Jenkins, S., 2005, Proceedings of IEEE International System-On-Chip Conference 2005. p. 33 - 36

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

  496. Combining Behavioural Real-time Software Modelling with the OSCI TLM-2.0 Communication Standard

    Yu, K. & Audsley, N. C., 2010, 10th IEEE International Conference on Computer and Information Technology, CIT 2010, Bradford, West Yorkshire, UK, June 29-July 1, 2010. IEEE Computer Society, p. 1825-1832 8 p.

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

  497. Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005

    Burns, A., Wellings, A. J. & Zhang, F., 2009, RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2009. Kordon, F. & Kermarrec, Y. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5570 LNCS. p. 119-133 15 p.

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

  498. Combining LAPIS and WordNet for the learning of LR parsers with optimal semantic constraints

    Kazakov, D., 1999, INDUCTIVE LOGIC PROGRAMMING. Dzeroski, S. & Flach, P. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 140-151 12 p.

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

  499. Combining Shape-from-Shading and Stereo using Gaussian-Markov Random Fields

    Haines, T. S. F. & Wilson, R. C., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 1064-1067 4 p.

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

  500. Combining curvature evidence to shape-from-shading

    Sartori, F. & Hancock, E. R., 2003, 2003 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOL 3, PROCEEDINGS. NEW YORK: IEEE, p. 709-712 4 p.

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

  501. Combining human and machine intelligence to produce effective examination timetables

    Cowling, P., Ahmadi, S., Cheng, P. & Barone, R., 2002, Proceedings of the 4th Asia-Pacific conference on simulated evolution and learning (SEAL2002). p. 662-666 5 p.

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

  502. Combining hybrid metaheuristics and populations for the multiobjective optimisation of space allocation problems

    Burke, EK., Cowling, P., Landa Silva, JD. & Petrovic, S., 2001, Proceedings of the 2001 Genetic and Evolutionary Computation Conference (GECCO 2001). p. 1252-1259 8 p.

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

  503. Combining inference and search for the propositional satisfiability problem

    Drake, L., Frisch, A. & Walsh, T., 2002, EIGHTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-02)/FOURTEENTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-02), PROCEEDINGS. CAMBRIDGE: M I T PRESS, p. 982-982 1 p.

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

Previous 1 2 3 4 Next