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


Documents from: 1997

Chapter in Edited Book

CB1140 1997 Chapter in Edited Book Baron,P; Fisher,RB
A Voxel Based Approach to Evolutionery Shape Optimisation
CB1162 1997 Chapter in Edited Book Hallam,B; Hallam,JC; Hayes,GM
A Dynamic Net for Robot Control
CB1180 1997 Chapter in Edited Book Baron,P; Fisher,RB; Tuson,AL
A Voxel based Approach to Evolutionary Shape Optimisation
CB1207 1997 Chapter in Edited Book Hallam,B; Hallam,JC; Hayes,GM
A Dynamic Net for Robot Control

Discussion Paper

DP180 1997 Discussion Paper Molony,JS
Symmetry Arguments in Automated Reasoning, Thesis proposal
DP181 1997 Discussion Paper Bailey,P
A Reader-Based Model of Story Generation - phd Thesis Proposal
DP182 1997 Discussion Paper Cheng,H
Aggregation Based on Text Structure for Descriptive Text Generation
DP183 1997 Discussion Paper Morales Gamboa,R
Modelling User Reflection
DP184 1997 Discussion Paper De Vicente,AM
Motivational Issues in Intelligent Computer Assisted Language Learning (Icall) Systems - phd Thesis Proposal
DP185 1997 Discussion Paper Smith,FS
An Intelligent Diagnostic Strategist for Use in Diagnosing Continuous Systems with Qualitative Dynamic Models - phd Thesis Proposal
DP186 1997 Discussion Paper Cresswell,SN
Planning and Theorem Proving - phd Thesis Proposal
DP187 1997 Discussion Paper Polyak,ST
Rich Plan Representations and Their Use
DP188 1997 Discussion Paper Biris,E
PhD Proposal: An Intelligent System for Generating Explanations of Industrial Processes using Multiple Models
DP190 1997 Discussion Paper Carvalho,MA
PhD Thesis Proposal: A Student Model for Adult Basic Education

Journal Paper

JP1081 1997 Journal Paper Fitzgibbon,AW; Eggert,D; Fisher,RB
High-level CAD Model Acquisition from Range Images
JP1082 1997 Journal Paper Borges,D; Fisher,RB
Class-based recognition of 3D Objects represented by volumetric primitives
JP1083 1997 Journal Paper Eggert,D; Lorusso,A; Fisher,RB
Estimating 3-D rigid body transformations: A comparison of four major algorithms
JP1116 1997 Journal Paper Pilu,M; Fisher,RB
Part Segmentation from 2D Edge Images by the MDL Criterion
JP1117 1997 Journal Paper Pilu,M; Fisher,RB
Model-Driven Grouping and Recognition of Generic Object Parts from Single Images
JP1194 1997 Journal Paper Bundy,A; Giunchiglia,F; Villafiorita,F; Walsh,T
Abstract proof checking: an example motivated by an Incompleteness Theorem (RP809)

MSc Thesis

MT9702 1997 MSc Thesis Altmann,NA
An Investigation of Neighbourhood Search to Improve Cache Use
MT9704 1997 MSc Thesis Alvarez Almazan,EG
Event Detection for Gas Turbine Monitoring
MT9706 1997 MSc Thesis Amein,HA
An Intelligent Tool for Process Synthesis
MT9707 1997 MSc Thesis Anderson,KJ
An Investigation of Adaptive Neural Networks
MT9708 1997 MSc Thesis Ashby,MJ
Generating Natural Language Descriptions of Plans for the Game of Bridge
MT9710 1997 MSc Thesis Baron,P
Evolutionary Shape Optimisation Using a Voxel Based Representation
MT9712 1997 MSc Thesis Browitt,GC
Virtual Reality Telepresence Using a Mobile Robot
MT9714 1997 MSc Thesis Cafarella,MJ
Hippocampal Navigation, by Rat and by Robot
MT9715 1997 MSc Thesis Chansky,RP
Wamjc: a Prolog-to-Java Compiler Via the Warren Abstract Machine
MT9716 1997 MSc Thesis Chen,Y
Restricted Language for Describing Java Programs
MT9718 1997 MSc Thesis Cheong,WM
Feature-Detection in Brain-Injury Monitoring Data
MT9720 1997 MSc Thesis Da Silva,LP
Assumption-Based Reasoning for Dynamic Model Selection: Implementing the Graph of Models
MT9722 1997 MSc Thesis Dawson,BP
Rectangular 3D Models from Vision
MT9723 1997 MSc Thesis Farquhar,JD
Methods for Solving the Search and Rescue Problem Using Genetic Algorithms
MT9724 1997 MSc Thesis Firth,NP
Periodic Orbits in Networks
MT9726 1997 MSc Thesis Gibbins,NM
Agent-Based Resource Discovery in Distributed Information Systems
MT9728 1997 MSc Thesis Horowitz,S
A Knowledge Management Tool for Computer Narratives
MT9730 1997 MSc Thesis Keppens,J
Maintaining Uncertain Assumptions for Plausible Fault Diagnosis
MT9732 1997 MSc Thesis Lewis,JP
A Comparative Study of Diploid and Haploid Binary Genetic Algorithms
MT9734 1997 MSc Thesis McCluskey,KM
Time Series Prediction on Severe Head Injury Date
MT9736 1997 MSc Thesis Massios,NA
Predicting the Best Next View for a Laser Range Striper System
MT9738 1997 MSc Thesis Miguel,IJ
Simulating Inverse Responses and Time-Delayed Behaviour with Fuzzy Qualitative Simulation
MT9740 1997 MSc Thesis Molyneux,BJ
Automating the Building of Rhetorical Structure Trees for Fables
MT9742 1997 MSc Thesis Oladiti,BT
User-Guided Evolutionary Algorithms
MT9743 1997 MSc Thesis Paludetto,A
Cat'S Paws
MT9744 1997 MSc Thesis Papadopoulos,GT
Evolving Ears for Echolocation
MT9745 1997 MSc Thesis Papadopoulos,GP
A System for the Generation of Instrumental Solos in Jazz
MT9746 1997 MSc Thesis Papadopoulou,P
Investigating Backpropagation Through Time
MT9748 1997 MSc Thesis Ponsford,D
Statistical Music Modelling
MT9750 1997 MSc Thesis Raithatha,D
Evolution and Co-Evolution of Pursuit-Evasion Tactics
MT9752 1997 MSc Thesis Ramos,S
A Neighbourhood Search Approach to Fpga Design
MT9754 1997 MSc Thesis Reyna-Acevedo,JP
Application of the Chc Genetic Algorithm to Some Real World Problems
MT9756 1997 MSc Thesis Rood,CM
Grelogic: a System for Translating and Solving Gre Logic Problems Written in English
MT9758 1997 MSc Thesis Schmidt-Cornelius,HC
Map Building with Reactive Controllers
MT9760 1997 MSc Thesis Skarvelis,N
Generating Fuzzy Classi
MT9761 1997 MSc Thesis Stagg,CP
Using Incremental Evolution to Evolve Competent Agents for a 2-D Game Universe
MT9762 1997 MSc Thesis Phon-Amnuaisuk,S
Four Voice Harmonisation for Hymn Tunes
MT9763 1997 MSc Thesis Spratling,MW
Artificialontogenesis: Cognitive and Behavioural Development for Robots
MT9764 1997 MSc Thesis Tamplin,MR
Simulators, Flatlands and Other Limitations to Evolving Robot Behaviour
MT9765 1997 MSc Thesis Thomson,DG
A Connectionist System for Instrument and Pitch Discrimination
MT9766 1997 MSc Thesis Warin,TA
Automatic Inference of Humpback Whalesong Grammar
MT9768 1997 MSc Thesis Watkinson,SP
Induction of Musical Syntax
MT9770 1997 MSc Thesis Willmott,SN
Adversarial Planning Techniques and the Game of Go
MT9772 1997 MSc Thesis Wyss,FI
A Statechart Based Programming Language for Intelligent Agents

Paper in Conference Proceedings

PP1084 1997 Paper in Conference Proceedings Baron,P; Fisher,RB; Mill,F; Sherlock,A; Tuson,AL
A Voxel Based Approach to Evolutionary Shape Optimisation
PP1110 1997 Paper in Conference Proceedings Fisher,RB; Fitzgibbon,AW; Eggert,D
Extracting Surface Patches from Complete Range Descriptions
PP1111 1997 Paper in Conference Proceedings Ashbrook,A; Fisher,RB
Constructing Models of Articulating Objects : Range Data Partitioning
PP1112 1997 Paper in Conference Proceedings Werghi,N; Fisher,RB; Ashbrook,A; Robertson,C
Improving model shape acquisition by incorporating geometric constraints.
PP1113 1997 Paper in Conference Proceedings Ashbrook,A; Fisher,RB
Segmentation of Range Data for the Automatic Construction of Models of Articulated Objects
PP1131 1997 Paper in Conference Proceedings Ashbrook,A; Fisher,RB; Robertson,C; Werghi,N
Segmentation of Range Data into Rigid Subsets using Planar Surface Patches
PP1146 1997 Paper in Conference Proceedings Ashbrook,A; Fisher,RB
Constructing Models of Articulating Objects: Range Data Partitioning
PP1150 1997 Paper in Conference Proceedings Perkins,SJ; Hayes,GM
Incremental Acquisition of Complex Behaviour Using Structured Evolution
PP1152 1997 Paper in Conference Proceedings Werghi,N; Fisher,RB; Ashbrook,A; Robertson,C
Improving model shape acquisition by incorporating geometric constraints
PP1153 1997 Paper in Conference Proceedings O'Donnell,M
Variable-Length On-Line Documentation Generation
PP1154 1997 Paper in Conference Proceedings O'Donnell,M
An RST Analysis Tool
PP1155 1997 Paper in Conference Proceedings O'Donnell,M
Variable-Length On-Line Document Generation
PP1157 1997 Paper in Conference Proceedings Ijspeert,AJ; Hallam,JC; Willshaw,D
Artificial Lampreys: Comparing Naturally and Artificially Evolved Swimming Controllers
PP1158 1997 Paper in Conference Proceedings Boulton,R
A Tool to Support Formal reasoning about Computer Languages
PP1159 1997 Paper in Conference Proceedings Boulton,R; Bundy,A; Slind,A; Gordon,M
A Prototype Interface between CLAM and HOL
PP1160 1997 Paper in Conference Proceedings Knott,A; O'Donnell,M
Defeasible Rules in Content Selection and Text Structuring
PP1161 1997 Paper in Conference Proceedings Oberlander,J; Mellish,CS; O'Donnell,M
Exploring a gallery with intelligent labels
PP1163 1997 Paper in Conference Proceedings Robertson,C; Megson,G
Neural Network Analysis of Hue Spectra from natural Images
PP1164 1997 Paper in Conference Proceedings Robertson,C; Sandnes,E
"A Novices' Interface to Programming Digital Synthesizers Based on Genetic Algorithms
PP1165 1997 Paper in Conference Proceedings Deacon,G; Malcolm,CA
Qualitive Transitions in Object Reorienting Behaviour, Part 1 : The effects of Varying Friction
PP1166 1997 Paper in Conference Proceedings Deacon,G; Wright,M; Malcolm,CA
Qualitative Transitions in Object Reorienting Behaviour, Part 1 : The Effects of Varying the Centre of Mass
PP1168 1997 Paper in Conference Proceedings Ratford,MS; Tuson,AL; Thompson,HS
Applying Sexual Selection as a Mechanism for Obtaining Multiple Distinct Solutions
PP1170 1997 Paper in Conference Proceedings Baron,P
A Voxel-based Representation for the Evolutionary Shape Optimisation of a Simplified Beam: A Case-Study of a Problem-Centered Approach to Generic Operator Design
PP1171 1997 Paper in Conference Proceedings Ross,PM; Tuson,AL
Directing the Search of Evolutionery and Neighbourhood-Search Optimisers for the Flowshop Sequencing Problem with an Idle-Time Heuristic
PP1172 1997 Paper in Conference Proceedings Tuson,AL; Wheeler,R; Ross,PM
Emergency Resource Redistribution In The Developing World: Towards a Practical Evolutionary/Meta-Heursitic Scheduling System
PP1175 1997 Paper in Conference Proceedings Trewin,SM; Pain,HG
Dynamic Modelling of Keyboard Skills : Supporting Users with Motor Disabilities
PP1176 1997 Paper in Conference Proceedings Smith,FS; Shen,Q
Choosing The Right Fuzzy Logic Controller
PP1177 1997 Paper in Conference Proceedings Baron,P; Fisher,RB; Mill,F; Sherlock,A; Tuson,AL
A Voxel-based Representation for the Evolutionary Shape Optimisation of a Simplified Beam: A Case-Study of a Problem-Centered Approach to Genetic Operator Design
PP1178 1997 Paper in Conference Proceedings Ross,PM; Tuson,AL
Directing the Search of Evolutionary and Neighbourhood-Search Optimisers for the Flowshop Sequencing Problem with an Idle-Time Heuristic
PP1179 1997 Paper in Conference Proceedings Deacon,G; Wright,M; Malcolm,CA
Qualitative Transitions in Object Reorienting Behaviour, Part 1 : The Effects of Varying Friction
PP1181 1997 Paper in Conference Proceedings O'Donnell,M
RST-Tool : An RST Analysis Tool
PP1183 1997 Paper in Conference Proceedings Shen,Q; Mulvihill,B; Leitch,R
Causal ordering based explanation generation for diagnosis of dynamic systems
PP1185 1997 Paper in Conference Proceedings Case,C; Shen,Q
Applying qualitative simulation for inverse response detection
PP1186 1997 Paper in Conference Proceedings Biris,E; Shen,Q
Navigation mobile robot with a fuzzy logic controller
PP1187 1997 Paper in Conference Proceedings Case,SJ; Shen,Q
Detecting Inverse Responses in Chemical Reaction Processes with Fuzzy Qualitative Simulation
PP1188 1997 Paper in Conference Proceedings Case,SJ; Shen,Q; Banares Alcantara,R; Ponton,J
Detecting Inverse Responses in Chemical Processes with Qualitative Simulation
PP1189 1997 Paper in Conference Proceedings Siu,C; Shen,Q; Milne,R
A Fuzzy Expert System for Vibration Cause Identification in Rotating Machines
PP1190 1997 Paper in Conference Proceedings Siu,C; Shen,Q; Milne,R
A Fuzzy Rule- and Case-based Expert System for Turbomachinery Diagnosis
PP1191 1997 Paper in Conference Proceedings Coghill,G; Chantler,M; Shen,Q; Leitch,R
Towards model switching for diagnosis of dynamic systems
PP1192 1997 Paper in Conference Proceedings Fribourg,L; Richardson,JG
Symbolic verification with gap-order constraints
PP1193 1997 Paper in Conference Proceedings Richardson,JG; Fuchs,B
Development of Correct Transformation Schemata for Prolog Programs
PP1195 1997 Paper in Conference Proceedings Jamnik,M; Bundy,A; Green,I
Automation of Diagrammatic Reasoning
PP1200 1997 Paper in Conference Proceedings Ross,PM; Hart,E; Corne,D
Some Observations about GA Based Exam Timetabling
PP1201 1997 Paper in Conference Proceedings Jamnik,M; Bundy,A; Green,I
Automation of Diagrammatic Proofs in Mathematics
PP1202 1997 Paper in Conference Proceedings Janicic,; Green,I; Bundy,A
A Comparison of decision procedures in Presburger arithmetic
PP1203 1997 Paper in Conference Proceedings Pechoucek,M; Lowe,H; Bundy,A
Proof Planning and Industrial Configuration
PP1204 1997 Paper in Conference Proceedings Whittle,JN; Bundy,A; Lowe,H
Supporting Programming by Analogy in the Learning of Functional Programming Languages
PP1205 1997 Paper in Conference Proceedings Whittle,JN; Bundy,A; Lowe,H
An Editor for helping Novices to Learn Standard {ML}

PhD Thesis

PT9701 1997 PhD Thesis Aguilar-Chongtay,RM
Model Based System for Automated Analysis of Biomedical Images
PT9703 1997 PhD Thesis Bull,S
Collaborative Student Modelling in Foreign Language Learning
PT9709 1997 PhD Thesis Cantu Ortiz,F
Proof Planning for Automating Hardware Verification
PT9715 1997 PhD Thesis Deacon,G
Accomplishing Task-Invariant Assembly Strategies by Means of an Inherently Accommodating Robot Arm
PT9720 1997 PhD Thesis Walker,AV
One Tone, Two Ears, Three Dimensions: An investigation of qualitative echolocation strategies in synthetic ats and real robots
PT9723 1997 PhD Thesis Wren,DO
Planning Dextrous Robot Hand Grasps from Range Data, Using Preshapes and Digit Trajectories

Research Paper

RP842 1997 Research Paper Ratford,MS; Tuson,AL; Thompson,HS
The Single Chromosome's Guide to Dating
RP843 1997 Research Paper Fisher,RB; Fitzgibbon,AW; Eggert,D
Extracting Surface Patches from Complete Range Descriptions
RP844 1997 Research Paper Ashbrook,A; Fisher,RB
Constructing Models of Articulating Objects: Range Data Partitioning
RP845 1997 Research Paper Hutter,D
Equalizing Terms by Difference Reduction Techniques
RP846 1997 Research Paper Androutsopoulos,I; Ritchie,GD; Thanisch,P
Time, Tense and Aspect in Natural Language Database Interfaces
RP847 1997 Research Paper ,; Hayes,GM
A Neural Network for Moving Light Display Trajectory Prediction
RP848 1997 Research Paper ,; Hayes,GM
An Algorithm for Recognising Walkers
RP849 1997 Research Paper Perkins,SJ; Hayes,GM
Incremental Acquisition of Complex Behavour Using Structured Evolution
RP850 1997 Research Paper Hoar,JS; Wyatt,J; Hayes,GM
Multiple Evaluation Techniques for Robot Learning
RP851 1997 Research Paper Gadanho,S; Hallam,JC
The Role of Emotions: Exploring Autonomy Mechanisms in Mobile Robots
RP852 1997 Research Paper Taylor,TJ; Hallam,JC
Studying Evolution with Self-Replicating Computer Programs
RP853 1997 Research Paper Peremans,H; Hallam,JC
The Spectrogram Correlation and Transformation Receiver, Revisited
RP854 1997 Research Paper Boulton,R; Bundy,A; Slind,K; Gordon,M
A Prototype Interface Between Clam and Hol
RP855 1997 Research Paper Tuson,AL; Wheeler,R; Ross,PM
Emergency Resource Redistribution in the Developing World: Towards a Practical Evolutionary/Meta-Heuristic Scheduling System
RP856 1997 Research Paper Ross,PM; Tuson,AL
Directing the Search of Evolutionary and Neighbourhood-Search Optimisers for the Flowshop Sequencing Problem with an Idle-Time Heuristic
RP857 1997 Research Paper Chagas,N; Hallam,JC
A Learning Mobile Robot: Theory, Simulation and Practice
RP858 1997 Research Paper Whittle,JN; Bundy,A; Lowe,H
An Editor for Helping Novices to Learn Standard Ml
RP859 1997 Research Paper Lowe,H; Pechoucek,M; Bundy,A
Proof Planning and Configuration
RP860 1997 Research Paper He,D; Ritchie,GD; Lee,J
Referring to Displays in Multimodal Interfaces
RP861 1997 Research Paper Ritchie,GD
Completeness Conditions for Mixed Strategy Bidirectional Parsing
RP862 1997 Research Paper Trewin,SM; Pain,HG
Dynamic Modelling of Keyboard Skills Supporting Users with Motor Disabilities
RP863 1997 Research Paper Deacon,G; Wright,M; Malcolm,CA
Qualitative Transitions in Object Reorienting Behaviour, Part 1: the Effects of Varying Friction
RP864 1997 Research Paper Deacon,G; Wright,M; Malcolm,CA
Qualitative Transitions in Object Reorienting Behaviour, Part 2: the Effects of Varying the Centre of Mass
RP865 1997 Research Paper Ijspeert,AJ; Hallam,JC; Willshaw,D
Artificial Lampreys: Comparing Naturally and Artificially Evolved Swimming Controllers
RP866 1997 Research Paper Colton,SG; Cresswell,SN; Bundy,A
The Use of Classification in Automated Mathematical Concept Formation
RP867 1997 Research Paper Eggert,D; Fitzgibbon,AW; Fisher,RB
Simultaneous Registration of Multiple Range Views for Use in Reverse Engineering of Cad Models
RP868 1997 Research Paper Werghi,N; Fisher,RB; Ashbrook,A; Robertson,C
Improving Model Shape Acquisition by Incorporating Geometric Constraints
RP869 1997 Research Paper Ashbrook,A; Fisher,RB; Robertson,C; Werghi,N
Segmentation of Range Data into Rigid Subsets Using Planar Surface Patches
RP870 1997 Research Paper Ashbrook,A; Fisher,RB; Robertson,C; Werghi,N
Segmentation of Range Data into Rigid Subsets Using Surface Patches
RP871 1997 Research Paper Pechoucek,M; Lowe,H; Bundy,A
Proof Planning and Industrial Configuration
RP872 1997 Research Paper Janicic,P; Green,I; Bundy,A
A Comparison of Decision Procedures in Presburger Arithmetic
RP873 1997 Research Paper Jamnik,M; Bundy,A; Green,I
Automation of Diagrammatic Reasoning
RP874 1997 Research Paper Ponsford,D; Wiggins,G; Mellish,CS
Statistical Learning of Harmonic Movement
RP875 1997 Research Paper Malcolm,CA
A Hybrid Behavioural/Knowledge-Based Approach to Robotic Assembly
RP877 1997 Research Paper Binsted,K; Pain,HG; Ritchie,GD
Chiildren's Evaluation of Computer-Generated Punning Riddles
RP878 1997 Research Paper Lowe,H; Pechoucek,M; Bundy,A
Proof Planning for Maintainable Configuration Systems
RP879 1997 Research Paper Ratford,MS; Tuson,AL; Thompson,HS
Applying Sexual Selection as a Mechanism for Obtaining Multiple Distinct Solutions
RP898 1997 Research Paper Baron,P; Fisher,RB; Mill,F; Sherlock,A; Tuson,AL
A Voxel-Based Representation for the Evolutionary Shape Optimisation of a Simplified Beam: A Case-Study of a Problem-Centred Approach to Genetic Operator Design
RP900 1997 Research Paper Spratling,MW; Hayes,GM
Learning Sensory-Motor Cortical Mappings Without Training
RP901 1997 Research Paper Spratling,MW; Hayes,GM
A Self-Organising Neural Network for Modelling Cortical Development
RP902 1997 Research Paper Binsted,K; Ritchie,GD
Towards a model of story puns

Review Article

RA1208 1997 Review Article Bundy,A
Encyclopaedia of Mathematics, Supplement 1

Technical Paper

TP44 1997 Technical Paper Peremans,H; Walker,AV; Hallam,JC
A Biologically Inspired Sonarhead
TP45 1997 Technical Paper Billard,A
No Title

Working Paper

WP262 1997 Working Paper Whittle,JN
A Survey of Analogical Approaches to Programming
WP263 1997 Working Paper Taylor,TJ
The Cosmos Artificial Life System


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