| 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]](http://www.dai.ed.ac.uk/icons/dai_search.gif){kind=icon}
![[DAI Home Page]](http://www.dai.ed.ac.uk/icons/dai_home.gif){kind=icon}
![[Comment]](http://www.dai.ed.ac.uk/icons/dai_comment.gif){kind=icon}