Outputs (16)

The Countdown Problem (2002)
Journal Article
Hutton, G. (2002). The Countdown Problem. Journal of Functional Programming, 12(6),

We systematically develop a functional program that solves the countdown problem, a numbers game in which the aim is to construct arithmetic expressions satisfying certain constraints. Starting from a formal specification of the problem, we present... Read More about The Countdown Problem.

Applications of temporal links: recording and replaying virtual environments (2002)
Presentation / Conference Contribution
Greenhalgh, C., Flintham, M., Purbrick, J., Benford, S., & Craven, M. (2002, March). Applications of temporal links: recording and replaying virtual environments. Presented at IEEE Virtual Reality 2002 (VR '02), Orlando, FL, USA

Temporal links allow recordings of multi-user sessions to be dynamically inserted into current virtual worlds in a flexible and principled way. We explore key applications of temporal links, showing how they can add new content to virtual worlds, sup... Read More about Applications of temporal links: recording and replaying virtual environments.

Inductive Theorem Proving and Computer Algebra in the Mathweb Software Bus (2002)
Presentation / Conference Contribution
Zimmer, J., & Dennis, L. A. Inductive Theorem Proving and Computer Algebra in the Mathweb Software Bus. Presented at Artificial Intelligence, Automated Reasoning and Symbolic Computation (Calculemus 02)

Reasoning systems have reached a high degree of maturity in the last decade. However, even the most successful systems are usually not general purpose problem solvers but are typically specialised on problems in a certain domain. The MathWeb SOftwa... Read More about Inductive Theorem Proving and Computer Algebra in the Mathweb Software Bus.

Case-Based Reasoning as a Heuristic Selector in a Hyper-Heuristic for Course Timetabling Problems (2002)
Book Chapter
Petrovic, S., & Qu, R. (2002). Case-Based Reasoning as a Heuristic Selector in a Hyper-Heuristic for Course Timetabling Problems. In Knowledge-Based Intelligent Information Engineering Systems and Allied Technologies. IOS Press

This paper studies Knowledge Discovery (KD) using Tabu Search and Hill Climbing within Case-Based Reasoning (CBR) as a hyper-heuristic method for course timetabling problems. The aim of the hyper-heuristic is to choose the best heuristic(s) for given... Read More about Case-Based Reasoning as a Heuristic Selector in a Hyper-Heuristic for Course Timetabling Problems.

Hash-Tree Anti-Tampering Schemes (2002)
Presentation / Conference Contribution
Moss, B., & Ashman, H. Hash-Tree Anti-Tampering Schemes. Presented at IEEE International Conference on Information Technology and Applications

Procedures that provide detection, location and correction of tampering in documents are known as anti-tampering schemes. In this paper we describe how to construct an anti-tampering scheme using a pre-computed tree of hashes. The main problems of co... Read More about Hash-Tree Anti-Tampering Schemes.

'An Artificial Immune System as a Recommender System for Web Sites' (2002)
Presentation / Conference Contribution
Morrison, T., & Aickelin, U. 'An Artificial Immune System as a Recommender System for Web Sites'. Presented at 1st International Conference on ARtificial Immune Systems (ICARIS - 2002)

Artificial Immune Systems have been used successfully to build recommender systems for film databases. In this research, an attempt is made to extend this idea to web site recommendation. A collection of more than 1000 individuals' web profiles (alte... Read More about 'An Artificial Immune System as a Recommender System for Web Sites'.

Mapping and Displaying Structural Transformations between XML and PDF (2002)
Presentation / Conference Contribution
Hardy, M. R. B., & Brailsford, D. F. Mapping and Displaying Structural Transformations between XML and PDF. Presented at ACM Symposium on Document Engineering (DocEng '02)

Documents are often marked up in XML-based tagsets to delineate major structural components such as headings, paragraphs, figure captions and so on, without much regard to their eventual displayed appearance. And yet these same abstract documents, af... Read More about Mapping and Displaying Structural Transformations between XML and PDF.

A Comparison of two Proof Critics: Power vs. Robustness (2002)
Presentation / Conference Contribution
Dennis, L. A., & Bundy, A. A Comparison of two Proof Critics: Power vs. Robustness. Presented at Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002

Proof critics are a technology from the proof planning paradigm. They examine failed proof attempts in order to extract information which can be used to generate a patch which will allow the proof to go through.
We consider the proof of the $quot;wh... Read More about A Comparison of two Proof Critics: Power vs. Robustness.

The NumbersWithNames Program (2002)
Presentation / Conference Contribution
Colton, S., & Dennis, L. A. The NumbersWithNames Program. Presented at Seventh International Sumposium on Artificial Intelligence and Mathematics

We present the NumbersWithNames program which performs data-mining on the Encyclopedia of Integer Sequences to find interesting conjectures in number theory. The program forms conjectures by finding empirical relationships between a sequence chosen... Read More about The NumbersWithNames Program.

A Recommender System based on the Immune Network (2002)
Presentation / Conference Contribution
Cayzer, S., & Aickelin, U. A Recommender System based on the Immune Network. Presented at CEC 2002

Abstract-The immune system is a complex biological system with a highly distributed, adaptive and self-organising nature. This paper presents an artificial immune system (AIS) that exploits some of these characteristics and is applied to the task of... Read More about A Recommender System based on the Immune Network.