The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge


Documents from: 1998

Chapter in Edited Book

CB1139 1998 Chapter in Edited Book Fisher,RB
Surface Tracking Three-Dimensional Datasets Using a Generalised Message-passing Sub-System

Discussion Paper

DP189 1998 Discussion Paper Gomes,HM
PhD Thesis Proposal: Model Learning and Model Invocation in Iconic Vision
DP191 1998 Discussion Paper Carbogim,DV
PhD Thesis Proposal : Formal Argumentation, Models and Specifications
DP192 1998 Discussion Paper Shei,C
PhD Thesis Proposal: Using Corpora to Help Chinese Students Write English E-mail
DP193 1998 Discussion Paper Kalfoglou,I
PhD Thesis Proposal: Critiquing of Specifications based on Ontologies
DP194 1998 Discussion Paper Miguel,IJ
Dynamic Flexible Constraint Satisfaction - PhD Proposal
DP195 1998 Discussion Paper Brandao,Md
A Framework for Teaching Tonal Harmony - PhD Thesis Proposal
DP196 1998 Discussion Paper Singer,J
Surface-Deformation in Local Search
DP197 1998 Discussion Paper Biris-Brilhante,VV
Using Formal Data Dscriptions for Ecological Modeling Guidance

Edited Book

EB1141 1998 Edited Book Fisher,RB; Hayes,GM
Proc. 6th Int. Symp. on Intelligent Robotic Systems

Journal Paper

JP1090 1998 Journal Paper Fisher,RB; Orr,M
Solving Geometric Constraints in a Parallel Network
JP1118 1998 Journal Paper Eggert,D; Fitzgibbon,AW; Fisher,RB
Simultaneous Registration of Multiple Range Views for Use in Reverse Engineering of CAD Models

MSc Thesis

MT9801 1998 MSc Thesis Arias,S
Cooperative Responses from a Natural Language Front-End
MT9802 1998 MSc Thesis Beckett,NP
Classification of Gait Abnormality
MT9803 1998 MSc Thesis Blewitt,AS
A Java editor based on proofs-as-programs
MT9804 1998 MSc Thesis Bonsma,ER
Building a Full Metric Topological Map Using a Very Simple Mobile Robot
MT9805 1998 MSc Thesis Carmena,J
Cooperative tasks need versatile inter-robot communication systems ?
MT9806 1998 MSc Thesis Daume,S
A Knowledge-based System to Model Thinnings in Central European Forests
MT9807 1998 MSc Thesis Densmore,TA
An Investigation of the Chicken Scheduling Problem Using an Island Genetic Algorithm
MT9808 1998 MSc Thesis Donachie,DM
Experiments in Calssification Programming Examining the i1 Language
MT9809 1998 MSc Thesis Eremin,A
Mens sana in corpore sano: Co-evolving robot controllers and body plans
MT9810 1998 MSc Thesis Fletcher,A
Investigating Genetic Algorithms for Improving Diagnostic Accuracy in Malarial Risk Assessment
MT9811 1998 MSc Thesis Garzon-Iglesias,CA
Sensitive Whiskers for texture recognition purposes
MT9812 1998 MSc Thesis Miramontes Hercog,L
Hand-eye coordination: An evolutionary approach
MT9813 1998 MSc Thesis Hiransoog,C
Dynamical Interaction Between Learning, Sensing, Attention, and Behaviour
MT9814 1998 MSc Thesis Horn,GS
Evolving Adaptive Robot Controllers
MT9815 1998 MSc Thesis Irving,NJ; ,
Evolution of Recursive Programs
MT9816 1998 MSc Thesis Jackson,AG
Adding Trump Play to FINESSE
MT9817 1998 MSc Thesis Joller,GC
MPPT An ITS for Teaching Pronunciation
MT9818 1998 MSc Thesis Karadimos,D
Planning and Assembling Pentominoes
MT9819 1998 MSc Thesis Konstantopoulos,S
A Morphological Analyser for Scottish Gaelic
MT9820 1998 MSc Thesis Li,C
An Evaluation of the Merge-based Approach to Stochastic Context-Free Grammar Learning
MT9821 1998 MSc Thesis Mangina,E
A Knowledge-Based System for Low Technology Tomato-Greenhouse Management
MT9822 1998 MSc Thesis Gomez-Marin-Blazquez,J
Genetic Algorithms for Tuning Classification Rules
MT9823 1998 MSc Thesis Melo,AF
A Connectionis Model of Tension in chord Progressions
MT9824 1998 MSc Thesis Metcalfe,PM
Using Rippling for Equational Reasoning
MT9825 1998 MSc Thesis Morales-Cueto,A
Adaptation of the resource model of ILEX/WAG to Spanish
MT9826 1998 MSc Thesis Moolenburgh,AW
Deriving Causal Dependencies from Functional Descriptions of Physical Systems
MT9827 1998 MSc Thesis Onozuka,T
Reinforcement Learning in Bayesian Networks using Stochastic Gradient Ascent
MT9828 1998 MSc Thesis Patel,K
Optimisation of Amino Acid Scoring Matrices for Improved Protein Homologue Detection
MT9829 1998 MSc Thesis Payne,TW
Applications of Genetic Algorithms to Hydrocarbon Production Optimisation
MT9830 1998 MSc Thesis Phillips,L
An Intelligent Learning Environment for Beginning Drummers
MT9831 1998 MSc Thesis Prieto,F
An Implementation of a DRT Account of Generic Sentences
MT9832 1998 MSc Thesis Pritchard,MJ
Bat Echolocation: The Application of Tau Functions in Sonar Navigation
MT9833 1998 MSc Thesis De Quincey,A
Herman
MT9834 1998 MSc Thesis Ritchie,JC
An Artificially Intelligent Agent for the Computer Game Quake
MT9835 1998 MSc Thesis Robinson,ME
Did the Earth Move for You ? A Novel Metric for Matching Iconic Images
MT9836 1998 MSc Thesis Rogers,TL
Learning without the Use of Predefined Heuristics
MT9837 1998 MSc Thesis Selman,DC
Computer Modelling of Human Facial Emotions. An Engineering Approach
MT9838 1998 MSc Thesis Simos,G
Automated Fault Isolation for Gas Turbine Alarms
MT9839 1998 MSc Thesis Singh,R
Person Recognition from Gait
MT9840 1998 MSc Thesis Sklavakis,D
Implementing Problem Solving Methods in CYC
MT9841 1998 MSc Thesis Smith,RL
Analysis of a Categorisation Algorithm
MT9842 1998 MSc Thesis Stapleford,TA
The Harmony, Melody, and Form of HERMAN, a Real-Time Music Generation System
MT9844 1998 MSc Thesis Takiguchi,J
Local Path Planning for a Non-holonomic Mobile Robot by Chained Form
MT9848 1998 MSc Thesis Wilcock,DS
Guiding Evolution of Complex Robot Behaviours: Virtual Snesors and Task Decomposition

Paper in Conference Proceedings

PP1114 1998 Paper in Conference Proceedings Fisher,RB; MacKirdy,A
Integrating iconic and structured matching
PP1115 1998 Paper in Conference Proceedings Gomes,HM; Fisher,RB; Hallam,JC
A Retina-like Image Representation of Primal Sketch Features using a Neural Network Approach
PP1127 1998 Paper in Conference Proceedings Ashbrook,A; Fisher,RB; Robertson,C
Segmentation on Range Data into Rigid Subsets using Patches
PP1132 1998 Paper in Conference Proceedings Werghi,N; Fisher,RB; Ashbrook,A; Robertson,C
Towards object modelling by incorporating geometric constraints
PP1133 1998 Paper in Conference Proceedings Werghi,N; Fisher,RB; Robertson,C
Modelling Objects Having Quadric Surfaces Incorporating Geometric Constraints
PP1134 1998 Paper in Conference Proceedings Ashbrook,A; Fisher,RB; Robertson,C
Finding Surface Correspondences for Object recognition and Registration using Pairwise Geometric Histograms
PP1135 1998 Paper in Conference Proceedings Gomes,HM; Fisher,RB; Hallam,JC
A Retina-like Image Representation of Primal Sketch Features using a Neural Network Approach
PP1136 1998 Paper in Conference Proceedings Ashbrook,A; Fisher,RB; Werghi,N; Robertson,C
Aligning Arbitrary Surfaces using Pairwise Geometric Histograms
PP1138 1998 Paper in Conference Proceedings Chandrinos,K; Pilu,M; Fisher,RB; Trahanias,P
Image Processing Techniques for the Qualification of Atherosclerotic Changes
PP1147 1998 Paper in Conference Proceedings Ashbrook,A; Fisher,RB; Robertson,C
PP1151 1998 Paper in Conference Proceedings Werghi,N; Fisher,RB; Ashbrook,A; Robertson,C
Modelling Objects Having Quadric Surfaces Incorporating Geometric Constraints.
PP1156 1998 Paper in Conference Proceedings Werghi,N; Fisher,RB; Ashbrook,A
Towards object modelling by incorporating geometric constraints
PP1167 1998 Paper in Conference Proceedings Tuson,AL; Ross,PM; Duncan,T
On Interactive Neighbourhood Search Schedulers
PP1169 1998 Paper in Conference Proceedings Baron,P; Fisher,RB
A Voxel-Based Representation for the Evolutionary Shape Optimisation of a Simplified Beam: A Case-Study of a Problem-Centered to Genetic Operator Design.
PP1173 1998 Paper in Conference Proceedings Ratford,MS; Tuson,AL; Thompson,HS
The Single Chromosome's Guide to Dating
PP1174 1998 Paper in Conference Proceedings Tuson,AL; Wheeler,R; Ross,PM
An Evolutionary/Meta-Heursitic Approach To Emergency Resource Redistribution in the Developing World

PhD Thesis

PT9810 1998 PhD Thesis Gathercole,C
An Investigation of Supervised Learning in Genetic Programming
PT9815 1998 PhD Thesis Trewin,SM
Towards Intelligent, Adaptive Input Devices for Users with Physical Disabilities
PT9820 1998 PhD Thesis Wyatt,J
Exploration and Inference in Learning from Reinforcement

Research Paper

RP876 1998 Research Paper Ijspeert,AJ; Hallam,JC; Willshaw,D
Evolving Swimming Controllers for a Simulated Lamprey with Inspiration from Neurobiology
RP880 1998 Research Paper Bundy,A
The Termination of Rippling and Unblocking
RP881 1998 Research Paper Gadanho,S; Hallam,JC
Emotion-Driven Learning for Animat Control
RP882 1998 Research Paper Wiggins,G; Papadopoulos,GP; Phon-Amnuaisuk,S; Tuson,AL
Evolutionary Methods for Musical Composition
RP883 1998 Research Paper Tuson,AL
Optimisation with Hillclimbing on Steroids: an Overview of Neighbourhood Search Techniques
RP884 1998 Research Paper Ireland,A; Bundy,A
Automatic Verification of Functions with Accumulating Parameters
RP885 1998 Research Paper Slind,K; Gordon,M; Boulton,R; Bundy,A
System Description: an Interface Between Clam and Hol
RP886 1998 Research Paper Bundy,A
Proof Planning
RP887 1998 Research Paper Kalfoglou,I; Robertson,DS
Error Checking in the Process Interchange Format (Pif) Ontology
RP888 1998 Research Paper Melis,E; Bundy,A
Planning and Proof Planning
RP889 1998 Research Paper Willmott,SN; Bundy,A; Levine,J; Richardson,J
Adversarial Planning in Complex Domains
RP890 1998 Research Paper Taylor,TJ; Hallam,JC
Replaying the Tape: an Investigation into the Role of Contingency in Evolution
RP891 1998 Research Paper Chen-Burger,J; Robertson,DS
Formal Support for an Informal Business Modelling Method
RP892 1998 Research Paper Fisher,RB; MacKirdy,A
Integrating Iconic and Structured Matching
RP893 1998 Research Paper Ramscar,MJ; Hahn,U
What Family Resemblances are not: the Continuing Relevance of Wittgenstein to the Study of Concepts and Categories
RP894 1998 Research Paper Darrington,S; Lingstadt,T; Ramscar,MJ
Analogy as a Sub-Process of Categorisation
RP895 1998 Research Paper Ramscar,MJ; Pain,HG; Darrington,S; Lee,J
Examples and Generalisations: Using Surface Versus Structural Recall Biases to Probe Conceptual Storage
RP896 1998 Research Paper Ramscar,MJ; Darrington,S; Lee,J; Pain,HG
Categorisation: Schemas, Similarities and Theories
RP897 1998 Research Paper Baron,P; Tuson,AL; Fisher,RB; Mill,F; Sherlock,A
A Voxel-Based Approach to Evolutionary Shape Optimisation
RP899 1998 Research Paper Malcolm,CA
The SOMASS System: a Hybrid Symbolic and Behaviour-based System to Plan and Execute Assemblies by Robot
RP903 1998 Research Paper Wiggins,G; Smaill,AD
Musical Knowledge: what can Artificial Intelligence bring to the musician ?
RP904 1998 Research Paper Phon-Amnuaisuk,S; Tuson,AL; Wiggins,G
Evolving Musical Harmonisation
RP905 1998 Research Paper Monroy-Borja,R; Bundy,A; Green,I
Observant: an Annotated Term-Rewriting System for Deciding Observation Congruence
RP906 1998 Research Paper Ashbrook,A; Fisher,RB; Robertson,C; Werghi,N
Finding Surface Correspondence for Object Recognition and Registration using Pairwise Geometric Histograms
RP907 1998 Research Paper Ashbrook,A; Fisher,RB; Werghi,N; Robertson,C
Aligning Arbitrary Surfaces using Pairwise Geometric Histograms
RP908 1998 Research Paper Bundy,A
The Automation of Proof by Mathematical Induction
RP909 1998 Research Paper Gadanho,S; Hallam,JC
Exploring the Role of Emotions in Autonomous Robot Learning
RP910 1998 Research Paper Jamnik,M; Bundy,A; Green,I
On Automating Diagrammatic Proofs of Arithmetic Arguments
RP911 1998 Research Paper Wiggins,G
The Use of Constraint Systems for Musical Composition
RP912 1998 Research Paper Gomes,HM; Fisher,RB; Hallam,JC
A Retina-like Image Representation of Primal Sketch Features Extracted using a Neural Network Approach
RP913 1998 Research Paper He,D; Ritchie,GD; Lee,J
Disambiguation between Visual Display and Represented Domain in Multimodal Interfaces
RP914 1998 Research Paper Chandrinos,K; Pilu,M; Fisher,RB; Trahanias,P
Image Processing Techniques for the Quantification of Atherosclerotic Changes
RP915 1998 Research Paper Ijspeert,AJ; Hallam,JC; Willshaw,D
From Lampreys to Salamanders: evolving neural controllers for swimming and walking
RP916 1998 Research Paper Gadanho,S; Hallam,JC
Emotion-triggered Learning for Autonomous Robots
RP917 1998 Research Paper Polyak,ST
A Supply Chain Process Interoperability Demonstration Using the Process Interchange Format (PIF)
RP918 1998 Research Paper Polyak,ST; Gruninger,M; Lee,J; Menzel,C
Applying the Process Interchange Format (PIF) to a Supply Chain Process Interoperability Scenario
RP919 1998 Research Paper Polyak,ST
Applying Design Space Analysis to Planning
RP920 1998 Research Paper Bundy,A; Colton,SG; Walsh,T
HR - A System for Machine Discovery in Finite Algebras
RP921 1998 Research Paper Tate,AB; Polyak,ST; Jarvis,P
TF Method: An Initial Framework for Modelling and Analysing Planning Domains
RP922 1998 Research Paper Polyak,ST; Tate,AB
Rationale in Planning: Causality, Dependencies and Decisions
RP923 1998 Research Paper Castro,A; Robertson,DS; Muetzelfeldt,R
Domain-specific synthesis of simulation models
RP924 1998 Research Paper Jamnik,M; Bundy,A; Green,I
Verification of Diagrammatic Proofs
RP925 1998 Research Paper Perkins,SJ; Hayes,GM
Evolving Complex Visual Behaviours using Generic Programming and Shaping
RP926 1998 Research Paper Ijspeert,AJ; Kodjabachian,J
Evolution and Development of a Central Pattern Generator for the Swimming of a Lamprey
RP928 1998 Research Paper Massios,NA; Fisher,RB
A Best Next View selection algorithm incorporating a quality criterion
RP929 1998 Research Paper Curry,BD; Wiggins,G
A New Approach to Cooperative Performance: A Preliminary Experiment
RP930 1998 Research Paper Polyak,ST; Tate,AB
A Common Process Ontology for Process-Centred Organisations
RP931 1998 Research Paper Polyak,ST
A Common Process Methodology for Engineering Process Domains
RP932 1998 Research Paper Polyak,ST
Mapping Timepoint-Based Constraints into Interval Relationships
RP933 1998 Research Paper Polyak,ST
A Common Process Language
RP934 1998 Research Paper Armando,A; Gallagher,J; Smaill,AD; Bundy,A
Automating the synthesis of decision procedures in a constructive metatheory
RP935 1998 Research Paper Kalfoglou,I; Robertson,DS
Use of Formal Ontologies to Support Error Checking in Specifications
RP936 1998 Research Paper Demiris,J; Hayes,GM
Active Imitation

Technical Paper

TP46 1998 Technical Paper Kalfoglou,I; Robertson,DS
Error Detection in Specifications based on Ontologies

Working Paper

WP264 1998 Working Paper Tuson,AL
Issues and Aspects in the Development of a Prototype Emergency Resource Redistribution System for the Developing World
WP265 1998 Working Paper Tuson,AL
An Examination of Alternative Representations for the Permutation Flowshop Sequencing Problem
WP266 1998 Working Paper Tuson,AL
An Examination of Recombination in the Flowshop Sequencing Problem
WP267 1998 Working Paper Tuson,AL
Directing Search Using an Idle-Time Heuristic for the Flowshop Sequencing Problem
WP268 1998 Working Paper Tuson,AL
An Initial Investigation of the Flowshop Sequencing Problem
WP269 1998 Working Paper Taylor,TJ
Nidus Design Document

TP47 1998 Kalfoglou,I
Applying Ontological Engineering to Ecological Modelling: Detection of Conceptual Errors
PT9805 1998 Dennis,L
Proof Planning Coinduction


[Search These Pages] [DAI Home Page] [Comment]