Outputs (17)

Immune System Approaches to Intrusion Detection - A Review (ICARIS) (2004)
Presentation / Conference Contribution
Aickelin, U., Greensmith, J., & Twycross, J. (2004, September). Immune System Approaches to Intrusion Detection - A Review (ICARIS). Presented at Artificial Immune Systems, Sicily, Italy

The use of artificial immune systems in intrusion detection is an appealing concept for two reasons. Firstly, the human immune system provides the human body with a high level of protection from invading pathogens, in a robust, self-organised and dis... Read More about Immune System Approaches to Intrusion Detection - A Review (ICARIS).

Creating Structured PDF Files Using XML Templates (2004)
Presentation / Conference Contribution
Hardy, M., Brailsford, D. F., & Thomas, P. Creating Structured PDF Files Using XML Templates. Presented at ACM Symposium on Document Engineering (DocEng2004)

This paper describes a tool for recombining the logical structure from an XML document with the typeset appearance of the corresponding PDF document. The tool uses the XML representation as a template for the insertion of the logical structure into t... Read More about Creating Structured PDF Files Using XML Templates.

Evaluating alternative gait strategies using evolutionary robotics (2004)
Journal Article
Sellers, W. I., Dennis, L. A., Wang, W.-J., & Crompton, R. H. (2004). Evaluating alternative gait strategies using evolutionary robotics. Journal of Anatomy, 204, https://doi.org/10.1111/j.0021-8782.2004.00294.x

Evolutionary robitics is a branch of artificial intelligence concerned with the automatic generation of autonomous robots. Usually the form of the robit is predefined an various computational techniques are used to control the machine's behaviour. On... Read More about Evaluating alternative gait strategies using evolutionary robotics.

'The application of Bayesian Optimization and Classifier Systems in Nurse Scheduling' (2004)
Presentation / Conference Contribution
Li, J., & Aickelin, U. 'The application of Bayesian Optimization and Classifier Systems in Nurse Scheduling'. Presented at 8th International Conference on Parallel Problem Solving from Nature (PPSN VIII), LNCS 3242

Abstract. Two ideas taken from Bayesian optimization and classifier systems are presented for personnel scheduling based on choosing a suitable scheduling rule from a set for each person's assignment. Unlike our previous work of using genetic algorit... Read More about 'The application of Bayesian Optimization and Classifier Systems in Nurse Scheduling'.

Compiling Exceptions Correctly (2004)
Presentation / Conference Contribution
Hutton, G., & Wright, J. Compiling Exceptions Correctly. Presented at Proceedings of the 7th International Conference on Mathematics of Program Construction

Exceptions are an important feature of modern programming languages, but their compilation has traditionally been viewed as an advanced topic. In this article we show that the basic method of compiling exceptions using stack unwinding can be explain... Read More about Compiling Exceptions Correctly.

Detecting Danger: Applying a Novel Immunological Concept to Intrusion Detection Systems' (2004)
Presentation / Conference Contribution
Greensmith, J., Aickelin, U., & Twycross, J. Detecting Danger: Applying a Novel Immunological Concept to Intrusion Detection Systems'. Presented at 6th International Conference in Adaptive Computing in Design and Manufacture

INTRODUCTION

In recent years computer systems have become increasingly complex and consequently the challenge of protecting these systems has become
increasingly difficult. Various techniques have been implemented to counteract the misuse of com... Read More about Detecting Danger: Applying a Novel Immunological Concept to Intrusion Detection Systems'.

The Use of Proof Planning Critics to Diagnose Errors in the Base Cases of Recursive Programs (2004)
Presentation / Conference Contribution
Dennis, L. A. The Use of Proof Planning Critics to Diagnose Errors in the Base Cases of Recursive Programs. Presented at IJCAR 2004 Workshop on Disproving: Non-Theorems, Non-Validity, Non-Provability

This paper reports the use of proof planning to diagnose errors in program code. In particular it looks at the errors that arise in the base cases of recursive programs produced by undergraduates. It describes two classes of error that arise in thi... Read More about The Use of Proof Planning Critics to Diagnose Errors in the Base Cases of Recursive Programs.

'Movie Recommendation Systems Using An Artificial Immune System' (2004)
Presentation / Conference Contribution
Chen, Q., & Aickelin, U. 'Movie Recommendation Systems Using An Artificial Immune System'. Presented at 6th International Conference in Adaptive Computing in Design and Manufacture

We apply the Artificial Immune System (AIS)technology to the collaborative Filtering (CF)technology when we build the movie recommendation system. Two different affinity measure algorithms of AIS, Kendall tau and Weighted Kappa, are used to calculate... Read More about 'Movie Recommendation Systems Using An Artificial Immune System'.

Analysing similarity in exam timetabling (2004)
Presentation / Conference Contribution
Burke, E., Eckersley, A., McCollum, B., Petrovic, S., & Qu, R. (2004, August). Analysing similarity in exam timetabling. Presented at International Conference on the Practice and Theory of Automated Timetabling 2004

In this paper we carry out an investigation of some of the major features of exam timetabling problems with a view to developing a similarity measure. This similarity measure will be used within a case-based reasoning (CBR) system to match a new prob... Read More about Analysing similarity in exam timetabling.

Page Composition using PPML as a Link-editing Script (2004)
Presentation / Conference Contribution
Bagley, S. R., & Brailsford, D. F. Page Composition using PPML as a Link-editing Script. Presented at ACM Symposium on Document Engineering (DocEng '04)

The advantages of a COG (Component Object Graphic) approach to the composition of PDF pages have been set out in a previous paper [1]. However, if pages are to be composed in this way then the individual graphic objects must have known bounding boxe... Read More about Page Composition using PPML as a Link-editing Script.