Search research publications and outputs

  1. Conference article › Research › Peer-reviewed
  2. Other chapter contribution › Research
  3. Evolution of Cooperation in an Incentive Based Business Game Environment

    Bista, S. K., Dahal, K. P. & Cowling, P. I., 2008, Global Design to Gain a Competitive Edge. Springer London, p. 875-882 8 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  4. Hyperheuristics: recent developments

    Chakhlevitch, K. & Cowling, P., 2008, Adaptive and multilevel metaheuristics. Springer Berlin/Heidelberg, p. 3-29 27 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  5. Conference contribution › Research
  6. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  33. Combining reinforcement learning with symbolic planning

    Grounds, M. & Kudenko, D., 2008, ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS. Tuyls, K., Nowe, A., Guessoum, Z. & Kudenko, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 4865 LNAI. p. 75-86 12 p.

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

  34. Complex Systems Models: Engineering Simulations

    Polack, F. A. C., Hoverd, T., Sampson, A. T., Stepney, S. & Timmis, J., 2008, Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems. MIT Press, Cambridge, MA., p. 482-489

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

  35. Constructing Models with the Human-Usable Textual Notation

    Rose, L. M., Paige, R. F., Kolovos, D. S. & Polack, F. A. C., 2008, MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS. Czarnecki, K., Ober, I., Bruel, JM. & Volter, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5301 LNCS. p. 249-263 15 p.

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

  36. Determining Whether a Problem Characteristic Affects Heuristic Performance

    Ridge, E., Kudenko, D., Cotta, C. (ed.) & Hemert, J. I. V. (ed.), 2008, Recent Advances in Evolutionary Computation for Combinatorial Optimization. Springer, Vol. 153. p. 21-35 15 p. (Studies in Computational Intelligence).

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

  37. Determining Whether a Problem Characteristic Affects Heuristic Performance A Rigorous Design of Experiments Approach

    Ridge, E. & Kudenko, D., 2008, RECENT ADVANCES IN EVOLUTIONARY COMPUTATION FOR COMBINATORIAL OPTIMIZATION. Cotta, C. & VanHemert, J. (eds.). NEW YORK: Springer, p. 21-35 15 p.

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

  38. Display registration for device interaction - A proof of principle prototype

    Pears, N., Olivier, P. & Jackson, D., 2008, VISAPP 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON COMPUTER VISION THEORY AND APPLICATIONS, VOL 1. Araujo, HJ. (ed.). SETUBAL: INSTICC-INST SYST TECHNOLOGIES INFORMATION CONTROL & COMMUNICATION, Vol. 1. p. 446-451 6 p.

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

  39. Empirical investigation of an Artificial Cytokine Network

    Read, M., Timmis, J. & Andrews, P. S., 2008, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Bentley, PJ., Lee, D. & Jung, S. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5132 LNCS. p. 340-351 12 p.

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

  40. Enabling Self-Reconfiguration on a Video Processing Platform

    Ackermann, K. F., Hoffmann, B., Indrusiak, L. S. & Glesner, M., 2008, Proc Int Symposiun on Industrial Embedded Systems (SIES). IEEE, p. 19-26 8 p.

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

  41. Enforcing Image Consistency in Multiple 3-D Object Modelling

    Grum, M. & Bors, A. G., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 132-135 4 p.

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

  42. Engineering Safety-Critical Complex Systems

    Alexander, R., Kelly, T. & Alexander-Bown, R., Sep 2008, CoSMoS 2008: Proceedings of the 2008 Workshop on Complex Systems Modelling and Simulation. Luniver Press, p. 33-62

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

  43. Evaluation and Comparison of Inferred Regular Grammars

    Walkinshaw, N., Bogdanov, K. & Johnson, K. H. A., 2008, Grammatical Inference: Algorithms and Applications . Vol. 5278/2008. p. 252 265 p.

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

  44. Evaluation of OCL for large-scale modelling: A different view of the Mondex purse

    Aydal, E. G., Paige, R. F. & Woodcock, J., 2008, MODELS IN SOFTWARE ENGINEERING. Giese, H. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5002 LNCS. p. 194-205 12 p.

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

  45. Evolving Intrusion Detection Rules on Mobile Ad Hoc Networks

    Sen, S. & Clark, J. A., 2008, PRICAI 2008: TRENDS IN ARTIFICIAL INTELLIGENCE. Ho, TB. & Zhou, ZH. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5351 LNAI. p. 1053-1058 6 p.

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

  46. Exact Scheduling Analysis of Accumulatively Monotonic Multiframe Tasks Subjected to Release Jitter and Arbitrary Deadlines

    Zuhily, A. & Burns, A., 2008, 2008 IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, PROCEEDINGS. Fay, IA. (ed.). NEW YORK: IEEE, p. 600-607 8 p.

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

  47. Exact response time scheduling analysis of Accumulatively Monotonic multiframe real time tasks

    Zuhily, A. & Burns, A., 2008, THEORETICAL ASPECTS OF COMPUTING - ICTAC 2008, PROCEEDINGS. Fitzgerald, JS., Haxthausen, AE. & Yenigun, H. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5160 LNCS. p. 410-424 15 p.

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

  48. Extending A Task Allocation Algorithm For Graceful Degradation Of Real-Time Distributed Embedded Systems

    Emberson, P. & Bate, I., 2008, RTSS: 2008 REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 270-279 10 p.

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

  49. Extending A Task Allocation Algorithm For Graceful Degradation Of Real-Time Distributed Embedded Systems

    Emberson, P. & Bate, I., 1 Nov 2008, Proceedings 29th Real-Time Systems Symposium (RTSS 08). p. 270-279 10 p.

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

  50. Facial gender classification using shape from shading and weighted principal geodesic analysis

    Wu, J., Smith, W. A. P. & Hancock, E. R., 2008, IMAGE ANALYSIS AND RECOGNITION, PROCEEDINGS. Campilho, A. & Kamel, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5112 LNCS. p. 925-934 10 p.

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

  51. Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports

    Ciupa, I., Meyer, B., Oriol, M. & Pretschner, A., Nov 2008, 19th International Symposium on Software Reliability Engineering, 2008. ISSRE 2008. . p. 157-166 10 p.

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

  52. Forming Virtual Traces for WCET Analysis and Reduction

    Whitham, J. & Audsley, N., 2008, RTCSA 2008: 14TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS - PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 377-386 10 p.

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

  53. From Separation Logic to Hyperedge Replacement and Back

    Dodds, M., 2008, Graph Transformations: 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings. Springer, Vol. 5214 LNCS. p. 484-486 3 p. (Lecture Notes in Computer Science; vol. 5214).

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

  54. Gender Classification based on Facial Surface Normals

    Wu, J., Smith, W. A. P. & Hancock, E. R., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 476-479 4 p.

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

  55. Generation of Dilemma-Based Narratives: Method and Turing Test Evaluation

    Barber, H. & Kudenko, D., 2008, INTERACTIVE STORYTELLING, PROCEEDINGS. Spierling, U. & Szilas, N. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5334 LNCS. p. 214-217 4 p.

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

  56. Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools

    Plump, D., Taentzer, G., Biermann, E., Bisztray, D., Bohnet, B., Boneva, I., Boronat, A., Geiger, L., Geiß, R., Horvath, Á., Kniemeyer, O., Mens, T., Ness, B. & Vajk, T., 2008, Applications of Graph Transformation with Industrial Relevance (AGTIVE 2007): Revised Selected and Invited Papers. Springer, p. 514-539 (Lecture Notes in Computer Science; vol. 5088).

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

  57. Graph Characteristic from the Gauss-Bonnet Theorem

    ElGhawalby, H. & 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. 207-216 10 p.

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

  58. Graph Characteristics from the Ihara Zeta Function

    Ren, P., Wilson, R. C. & 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. 257-266 10 p.

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

  59. Graph Edit Distance without Correspondence from Continuous-Time Quantum Walks

    Emms, D., Wilson, R. C. & 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. 514 10 p.

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

  60. Human Involvement in the Dynamic Reconfiguration Process of Integrated Modular Avionics

    Montano, G. & McDermid, J., 9 Dec 2008, Digital Avionics Systems Conference (DASC): 2008 IEEE/AIAA : 27TH DIGITAL AVIONICS SYSTEMS CONFERENCE. NEW YORK: IEEE, p. 775-787 13 p.

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

  61. Immune systems and computation: An interdisciplinary adventure

    Timmis, J., Andrews, P., Owens, N. & Clark, E., 2008, UNCONVENTIONAL COMPUTATION, PROCEEDINGS. Calude, CS., Costa, JF., Freund, R., Oswald, M. & Rozenberg, G. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5204 LNCS. p. 818 11 p.

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

  62. Immuno-engineering

    Timmis, J., Hart, E., Hone, A., Neal, M., Robins, A., Stepney, S. & Tyrrell, A., 2008, BIOLOGICALLY-INSPIRED COLLABORATIVE COMPUTING. Hinchey, M., Pagnoni, A., Rammig, FJ. & Schmeck, H. (eds.). NEW YORK: Springer, p. 317 15 p.

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

  63. Implementation of a generic autonomic framework

    Calinescu, R., 29 Aug 2008, Proceedings - 4th International Conference on Autonomic and Autonomous Systems, ICAS 2008. p. 124-129 6 p. 4488333

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

  64. Improving analogy software effort estimation using fuzzy feature subset selection algorithm

    Azzeh, M., Neagu, D. & Cowling, P., 2008, Proceedings of the 4th international workshop on Predictor models in software engineering. p. 71-78 8 p.

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

  65. Improving metaheuristic performance by evolving a variable fitness function

    Dahal, K., Remde, S., Cowling, P. & Colledge, N., 2008, European Conference on Evolutionary Computation in Combinatorial Optimization. p. 170-181 12 p.

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

  66. Investigating the Use of Argument Modularity to Optimise Through-Life System Safety Assurance

    Despotou, G. & Kelly, T., 2008, System Safety, 2008 3rd IET International Conference on. 542 CP ed. p. 1-6 6 p.

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

  67. Kernel Bandwidth Estimation in Methods based on Probability Density Function Modelling

    Bors, A. G. & Nasios, N., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 3354-3357 4 p.

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

  68. LOGITBOOST WEKA CLASSIFIER SPEECH SEGMENTATION

    Ziolko, B., Manandhar, S., Wilson, R. C. & Ziolko, M., 2008, 2008 IEEE INTERNATIONAL CONFERENCE ON MULTIMEDIA AND EXPO, VOLS 1-4. NEW YORK: IEEE, p. 1297-1300 4 p.

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

  69. Language model based on POS tagger

    Ziolko, B., Manandhar, S., Wilson, R. C. & Ziolko, M., 26 Jul 2008, SIGMAP 2008: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SIGNAL PROCESSING AND MULTIMEDIA APPLICATIONS. Assuncao, P. & Faria, S. (eds.). SETUBAL: INSTICC-INST SYST TECHNOLOGIES INFORMATION CONTROL & COMMUNICATION, p. 177-180 4 p.

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

  70. Linking VDM and Z

    Woodcock, J. & Freitas, L., 2008, ICECCS 2008: THIRTEENTH IEEE INTERNATIONAL CONFERENCE ON THE ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS. Breitman, K., Woodcock, J., Sterritt, R. & Hinchey, MG. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 143-152 10 p.

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

  71. Measuring Skin Reflectance Parameters

    Dickens, M. P., Smith, W. A. P., Ragheb, H. & Hancock, E. R., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 2921-2924 4 p.

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

  72. Measuring graph similarity using spectral geometry

    ElGhawalby, H. & Hancock, E. R., 2008, IMAGE ANALYSIS AND RECOGNITION, PROCEEDINGS. Campilho, A. & Kamel, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5112 LNCS. p. 517-526 10 p.

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

  73. Metamodel-based generation of WSRF-compliant SOA for collaborative cancer research

    Zang, T., Calinescu, R., Harris, S., Tsui, A., Crichton, C., Kwiatkowska, M., Gibbons, J., Davies, J., Brenton, J. & Caldas, C., 1 Dec 2008, Proceedings - 4th IEEE International Conference on eScience, eScience 2008. p. 406-407 2 p. 4736819

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

  74. Methodology for the model-driven development of self-managing systems

    Calinescu, R., 1 Dec 2008, Conference on Computing Frontiers - Proceedings of the 2008 Conference on Computing Frontiers, CF'08.

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

  75. Modelling User-Phishing Interaction

    Dong, X., Clark, J. A. & Jacob, J., 2008, 2008 CONFERENCE ON HUMAN SYSTEM INTERACTIONS, VOLS 1 AND 2. NEW YORK: IEEE, p. 633-638 6 p.

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

  76. Multi-Agent Reinforcement Learning for Intrusion Detection: A Case Study and Evaluation

    Servin, A. & Kudenko, D., 2008, MULTIAGENT SYSTEM TECHNOLOGIES, PROCEEDINGS. Bergmann, R., Lindemann, G., Kirn, S. & Pechoucek, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5244 LNAI. p. 159-170 12 p.

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

  77. Multi-agent reinforcement learning for intrusion detection

    Servin, A. & Kudenko, D., 2008, ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS. Tuyls, K., Nowe, A., Guessoum, Z. & Kudenko, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 211-223 13 p.

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

  78. Multigrid Reinforcement Learning with Reward Shaping

    Grzes, M. & Kudenko, D., 2008, ARTIFICIAL NEURAL NETWORKS - ICANN 2008, PT I. Kurkova, V., Neruda, R. & Koutnik, J. (eds.). PART 1 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5163 LNCS. p. 357-366 10 p.

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

  79. Multiprocessors and the Real-time Specification for Java

    Wellings, A. J., 2008, ISORC 2008: 11TH IEEE SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING - PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 255-261 7 p.

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

  80. New Directions in Worst-Case Execution Time Analysis

    Bate, I. & Kazakov, D., 2008, 2008 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-8. NEW YORK: IEEE, p. 3545-3552 8 p.

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

  81. New Directions in Worst-Case Execution Time Analysis

    Bate, I. & Kazakov, D., 2008, IEEE Congress on Evolutionary Computation (IEEE CEC 2008) within.

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

  82. No Going Back: An Interactive Visualization Application for Trailblazing on the Web

    Power, C., McQuillan, I., Petrie, H., Kennaugh, P., Daley, M. & Wozniak, G., 1 Jul 2008, Information Visualisation, 2008. IV '08. 12th International Conference . I E E E, p. 133 -142

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

  83. No going back: An interactive visualization application for trailblazing on the web

    Power, C., McQuillan, I., Petrie, H., Kennaugh, P., Daley, M. & Wozniak, G., 2008, PROCEEDINGS OF THE 12TH INTERNATIONAL INFORMATION VISUALISATION. Banissi, E., Stuart, L., Jern, M., Andrienko, G., Marchese, FT., Memon, N., Alhajj, R., Wyeld, TG., Burkhard, RA., Grinstein, G., Groth, D., Ursyn, A., Maple, C., Faiola, A. & Craft, B. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 133-142 10 p.

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

  84. Novel features in languages of the epsilon model management platform

    Kolovos, D. S., Paige, R. F. & Polack, F. A. C., 1 Dec 2008, 30th International Conference on Software Engineering, ICSE 2008 Co-located Workshops - Proceedings of the 2008 International Workshop on Models in Software Engineering, MiSE'08. p. 69-73 5 p.

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

  85. On the formal development of safety-critical software

    Galloway, A., Iwu, F., McDermid, J. & Toyn, I., 2008, VSTTE: Verified Software Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised. Meyer, B. & Woodcock, J. (eds.). Zurich, Switzerland: SPRINGER-VERLAG BERLIN, Vol. LNCS 4171. p. 362-373 12 p.

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

  86. POSIX and the Verification Grand Challenge: a roadmap

    Freitas, L., Woodcock, J. & Butterfield, A., 2008, ICECCS 2008: THIRTEENTH IEEE INTERNATIONAL CONFERENCE ON THE ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS. Breitman, K., Woodcock, J., Sterritt, R. & Hinchey, MG. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 153-162 10 p.

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

  87. PRINCIPAL COMPONENT ANALYSIS OF SPECTRAL COEFFICIENTS FOR MESH WATERMARKING

    Luo, M. & Bors, A. G., 2008, 2008 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, PROCEEDINGS. NEW YORK: IEEE, p. 441-444 4 p.

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

  88. Parallel reinforcement learning with linear function approximation

    Grounds, M. & Kudenko, D., 2008, ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS. Tuyls, K., Nowe, A., Guessoum, Z. & Kudenko, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 4865 LNAI. p. 60-74 15 p.

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

  89. Parts Based Generative Models for Graphs

    White, D. & Wilson, R. C., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 3318-3321 4 p.

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

  90. Pattern Vectors from the Ihara Zeta Function

    Ren, P., Wilson, R. C. & Hancock, E. R., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 2495-2498 4 p.

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

  91. Plan-based Reward Shaping for Reinforcement Learning

    Grzes, M. & Kudenko, D., 2008, 2008 4TH INTERNATIONAL IEEE CONFERENCE INTELLIGENT SYSTEMS, VOLS 1 AND 2. NEW YORK: IEEE, Vol. 3. p. 416-423 8 p.

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

  92. Policy Evolution with Genetic Programming: a Comparison of Three Approaches

    Lim, Y. T., Cheng, P. C., Clark, J. A. & Rohatgi, P., 2008, 2008 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-8. NEW YORK: IEEE, p. 1792-1800 9 p.

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

  93. Policy Evolution with Grammatical Evolution

    Linn, Y. T., Cheng, P. C., Clark, J. A. & Rohatgi, P., 2008, SIMULATED EVOLUTION AND LEARNING, PROCEEDINGS. Li, X., Kirley, M., Zhang, M., Green, D., Ciesielski, V., Abbass, H., Michalewicz, Z., Hendtlass, T., Deb, K., Tan, KC., Branke, J. & Shi, Y. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5361 LNAI. p. 71-80 10 p.

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

  94. Polytopal Graph Complexity, Matrix Permanents, and Embedding

    Escolano, F., Hancock, E. R. & Lozano, M. A., 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. 237-246 10 p.

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

  95. Predictable Out-of-order Execution Using Virtual Traces

    Whitham, J. & Audsley, N., 2008, RTSS: 2008 REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 445-455 11 p.

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

  96. Priority Assignment for Real-Time Wormhole Communication in On-Chip Networks

    Shi, Z. & Burns, A., 2008, RTSS: 2008 REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 421-430 10 p.

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

  97. Processing group parameters in the real-time specification for Java

    Wellings, A. J. & Kim, M. S., 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. 3-9 7 p. (ACM International Conference Proceeding Series).

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

  98. Quantitative Evaluation on Heat Kernel Permutation Invariants

    Xiao, B., Wilson, R. C. & 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. 217-226 10 p.

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

  99. Ranking the Local Invariant Features for the Robust Visual Saliencies

    Xia, S., Ren, P. & Hancock, E. R., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 3173-3176 4 p.

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

  100. Recognising Facial Expressions Using Spherical Harmonics

    Sharpe, J. & 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. 157-166 10 p.

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

  101. Recovering Face Shape and Reflectance Properties from Single Images

    Smith, W. A. P. & Hancock, E. R., 2008, 2008 8TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATIC FACE & GESTURE RECOGNITION (FG 2008), VOLS 1 AND 2. NEW YORK: IEEE, p. 178-185 8 p.

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

  102. Response Time Upper Bounds for Fixed Priority Real-Time Systems.

    Davis, R. I. & Burns, A., Dec 2008, IEEE Real-Time Systems Symposium. p. 407-418 12 p.

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

Previous 1 2 3 4 Next