| TP11
| Technical Paper
| Androutsopoulos,I
|
| Interfacing a Natural Language Front-End to a Relational Database
|
| PT9915
| 1999 PhD Thesis
| Jamnik,M
|
| Automating Diagrammatic Proofs of Arithmetic Arguments
|
| RP956
| 1999
| Kalfoglou,I; Robertson,DS; Tate,AB
|
| Using Meta-Knowledge at the Application Level
|
| RP955
| 1999 Research Paper
| Carmena,J; Hallam,JC
|
| Improving performance in a multi-robot task through minimal communication
|
| RP954
| 1999
| Biris,E
|
| Automatic Modelling using Bayesian Networks for Explanation Generation
|
| RP953
| 1999
| Bundy,A; Gow,JI; Green,I
|
| Extensions to the Estimation Calculus
|
| RP952
| 1999 Research Paper
| Kalfoglou,I
|
| Panel Discussion notes: Knowledge Maintenance - The Role of Formal Ontologies
|
| RP951
| 1999 Research Paper
| Bundy,A
|
| The Automation of Proof by Mathematical Induction
|
| RP950
| 1999 Research Paper
| Bundy,A
|
| A Survey of Automated Deduction
|
| RP949
| 1999 Research Paper
| Bundy,A; Richardson,J
|
| Proof Planning Methods as Schemas
|
| RP948
| 1999 Research Paper
| Kalfoglou,I; Robertson,DS
|
| Managing Ontological Constraints
|
| RP947
| 1999 Research Paper
| Gadanho,S; Hallam,JC
|
| Emotion-triggered Learning in Autonomous Robot Control
|
| RP946
| 1999 Research Paper
| Werghi,N; Fisher,RB; Robertson,C; Ashbrook,A
|
| Shape Reconstruction Incorporating Multiple Non-linear Geometric Constraints
|
| RP945
| 1999 Research Paper
| Werghi,N; Fisher,RB; Robertson,C; Ashbrook,A
|
| Object Reconstruction by Incorporating Geometric Constraints in Reverse Engineering
|
| RP944
| 1999 Research Paper
| Colton,SG; Bundy,A
|
| Automatic Concept Formation in Pure Mathematics
|
| RP941
| 1999 Research Paper
| Robertson,C; Fisher,RB; Werghi,N; Ashbrook,A
|
| An Evolutionary Approach to Fitting Constrained Degenerate Second Order Surfaces
|
| RP940
| 1999 Research Paper
| Carbogim,DV; Robertson,DS; Lee,J
|
| Extending the Abstract Argumentation Framework to Include Argument Dynamics
|
| RP939
| 1999 Research Paper
| Whittle,JN; Bundy,A; Boulton,R; Lowe,H
|
| An ML Editor Based on Proofs-as-Programs
|
| RP938
| 1999 Research Paper
| Whittle,JN; Cumming,A
|
| Evaluating Environments for Functional Programming
|
| RP937
| 1999 Research Paper
| Lecoeuche,R; Robertson,DS; Barry,C; Mellish,CS
|
| Evaluating Focus Theories for Requirements Elicitation
|
| RP927
| 1999 Research Paper
| Kalfoglou,I; Robertson,DS
|
| An Experiment in Applying Ontologies to Augment and Reason about the Correctness of Specifications
|
| PT9820
| 1998 PhD Thesis
| Wyatt,J
|
| Exploration and Inference in Learning from Reinforcement
|
| PT9810
| 1998 PhD Thesis
| Gathercole,C
|
| An Investigation of Supervised Learning in Genetic Programming
|
| PT9805
| 1998
| Dennis,L
|
| Proof Planning Coinduction
|
| RP936
| 1998 Research Paper
| Demiris,J; Hayes,GM
|
| Active Imitation
|
| RP935
| 1998 Research Paper
| Kalfoglou,I; Robertson,DS
|
| Use of Formal Ontologies to Support Error Checking in Specifications
|
| RP934
| 1998 Research Paper
| Armando,A; Gallagher,J; Smaill,AD; Bundy,A
|
| Automating the synthesis of decision procedures in a constructive metatheory
|
| RP933
| 1998 Research Paper
| Polyak,ST
|
| A Common Process Language
|
| RP932
| 1998 Research Paper
| Polyak,ST
|
| Mapping Timepoint-Based Constraints into Interval Relationships
|
| RP931
| 1998 Research Paper
| Polyak,ST
|
| A Common Process Methodology for Engineering Process Domains
|
| RP930
| 1998 Research Paper
| Polyak,ST; Tate,AB
|
| A Common Process Ontology for Process-Centred Organisations
|
| RP929
| 1998 Research Paper
| Curry,BD; Wiggins,G
|
| A New Approach to Cooperative Performance: A Preliminary Experiment
|
| RP928
| 1998 Research Paper
| Massios,NA; Fisher,RB
|
| A Best Next View selection algorithm incorporating a quality criterion
|
| RP926
| 1998 Research Paper
| Ijspeert,AJ; Kodjabachian,J
|
| Evolution and Development of a Central Pattern Generator for the Swimming of a Lamprey
|
| RP925
| 1998 Research Paper
| Perkins,SJ; Hayes,GM
|
| Evolving Complex Visual Behaviours using Generic Programming and Shaping
|
| RP924
| 1998 Research Paper
| Jamnik,M; Bundy,A; Green,I
|
| Verification of Diagrammatic Proofs
|
| RP923
| 1998 Research Paper
| Castro,A; Robertson,DS; Muetzelfeldt,R
|
| Domain-specific synthesis of simulation models
|
| RP922
| 1998 Research Paper
| Polyak,ST; Tate,AB
|
| Rationale in Planning: Causality, Dependencies and Decisions
|
| RP921
| 1998 Research Paper
| Tate,AB; Polyak,ST; Jarvis,P
|
| TF Method: An Initial Framework for Modelling and Analysing Planning Domains
|
| RP920
| 1998 Research Paper
| Bundy,A; Colton,SG; Walsh,T
|
| HR - A System for Machine Discovery in Finite Algebras
|
| RP919
| 1998 Research Paper
| Polyak,ST
|
| Applying Design Space Analysis to Planning
|
| 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
|
| RP917
| 1998 Research Paper
| Polyak,ST
|
| A Supply Chain Process Interoperability Demonstration Using the Process Interchange Format (PIF)
|
| RP916
| 1998 Research Paper
| Gadanho,S; Hallam,JC
|
| Emotion-triggered Learning for Autonomous Robots
|
| RP915
| 1998 Research Paper
| Ijspeert,AJ; Hallam,JC; Willshaw,D
|
| From Lampreys to Salamanders: evolving neural controllers for swimming and walking
|
| RP914
| 1998 Research Paper
| Chandrinos,K; Pilu,M; Fisher,RB; Trahanias,P
|
| Image Processing Techniques for the Quantification of Atherosclerotic Changes
|
| RP913
| 1998 Research Paper
| He,D; Ritchie,GD; Lee,J
|
| Disambiguation between Visual Display and Represented Domain in Multimodal Interfaces
|
| 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
|
| RP911
| 1998 Research Paper
| Wiggins,G
|
| The Use of Constraint Systems for Musical Composition
|
| RP910
| 1998 Research Paper
| Jamnik,M; Bundy,A; Green,I
|
| On Automating Diagrammatic Proofs of Arithmetic Arguments
|
| RP909
| 1998 Research Paper
| Gadanho,S; Hallam,JC
|
| Exploring the Role of Emotions in Autonomous Robot Learning
|
| RP908
| 1998 Research Paper
| Bundy,A
|
| The Automation of Proof by Mathematical Induction
|
| RP907
| 1998 Research Paper
| Ashbrook,A; Fisher,RB; Werghi,N; Robertson,C
|
| Aligning Arbitrary Surfaces using Pairwise Geometric Histograms
|
| RP906
| 1998 Research Paper
| Ashbrook,A; Fisher,RB; Robertson,C; Werghi,N
|
| Finding Surface Correspondence for Object Recognition and Registration using Pairwise Geometric Histograms
|
| RP904
| 1998 Research Paper
| Phon-Amnuaisuk,S; Tuson,AL; Wiggins,G
|
| Evolving Musical Harmonisation
|
| RP903
| 1998 Research Paper
| Wiggins,G; Smaill,AD
|
| Musical Knowledge: what can Artificial Intelligence bring to the musician ?
|
| RP899
| 1998 Research Paper
| Malcolm,CA
|
| The SOMASS System: a Hybrid Symbolic and Behaviour-based System to Plan and Execute Assemblies by Robot
|
| RP897
| 1998 Research Paper
| Baron,P; Tuson,AL; Fisher,RB; Mill,F; Sherlock,A
|
| A Voxel-Based Approach to Evolutionary Shape Optimisation
|
| RP892
| 1998 Research Paper
| Fisher,RB; MacKirdy,A
|
| Integrating Iconic and Structured Matching
|
| RP891
| 1998 Research Paper
| Chen-Burger,J; Robertson,DS
|
| Formal Support for an Informal Business Modelling Method
|
| RP890
| 1998 Research Paper
| Taylor,TJ; Hallam,JC
|
| Replaying the Tape: an Investigation into the Role of Contingency in Evolution
|
| RP889
| 1998 Research Paper
| Willmott,SN; Bundy,A; Levine,J; Richardson,J
|
| Adversarial Planning in Complex Domains
|
| RP888
| 1998 Research Paper
| Melis,E; Bundy,A
|
| Planning and Proof Planning
|
| RP887
| 1998 Research Paper
| Kalfoglou,I; Robertson,DS
|
| Error Checking in the Process Interchange Format (Pif) Ontology
|
| RP886
| 1998 Research Paper
| Bundy,A
|
| Proof Planning
|
| RP885
| 1998 Research Paper
| Slind,K; Gordon,M; Boulton,R; Bundy,A
|
| System Description: an Interface Between Clam and Hol
|
| RP884
| 1998 Research Paper
| Ireland,A; Bundy,A
|
| Automatic Verification of Functions with Accumulating Parameters
|
| RP883
| 1998 Research Paper
| Tuson,AL
|
| Optimisation with Hillclimbing on Steroids: an Overview of Neighbourhood Search Techniques
|
| RP882
| 1998 Research Paper
| Wiggins,G; Papadopoulos,GP; Phon-Amnuaisuk,S; Tuson,AL
|
| Evolutionary Methods for Musical Composition
|
| RP881
| 1998 Research Paper
| Gadanho,S; Hallam,JC
|
| Emotion-Driven Learning for Animat Control
|
| RP876
| 1998 Research Paper
| Ijspeert,AJ; Hallam,JC; Willshaw,D
|
| Evolving Swimming Controllers for a Simulated Lamprey with Inspiration from Neurobiology
|
| TP47
| 1998
| Kalfoglou,I
|
| Applying Ontological Engineering to Ecological Modelling: Detection of Conceptual Errors
|
| TP46
| 1998 Technical Paper
| Kalfoglou,I; Robertson,DS
|
| Error Detection in Specifications based on Ontologies
|
| PT9720
| 1997 PhD Thesis
| Walker,AV
|
| One Tone, Two Ears, Three Dimensions: An investigation of qualitative echolocation strategies in synthetic ats and real robots
|
| PT9701
| 1997 PhD Thesis
| Aguilar-Chongtay,RM
|
| Model Based System for Automated Analysis of Biomedical Images
|
| RP902
| 1997 Research Paper
| Binsted,K; Ritchie,GD
|
| Towards a model of story puns
|
| RP901
| 1997 Research Paper
| Spratling,MW; Hayes,GM
|
| A Self-Organising Neural Network for Modelling Cortical Development
|
| RP900
| 1997 Research Paper
| Spratling,MW; Hayes,GM
|
| Learning Sensory-Motor Cortical Mappings Without Training
|
| 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
|
| RP879
| 1997 Research Paper
| Ratford,MS; Tuson,AL; Thompson,HS
|
| Applying Sexual Selection as a Mechanism for Obtaining Multiple Distinct Solutions
|
| RP877
| 1997 Research Paper
| Binsted,K; Pain,HG; Ritchie,GD
|
| Chiildren's Evaluation of Computer-Generated Punning Riddles
|
| RP875
| 1997 Research Paper
| Malcolm,CA
|
| A Hybrid Behavioural/Knowledge-Based Approach to Robotic Assembly
|
| RP874
| 1997 Research Paper
| Ponsford,D; Wiggins,G; Mellish,CS
|
| Statistical Learning of Harmonic Movement
|
| RP873
| 1997 Research Paper
| Jamnik,M; Bundy,A; Green,I
|
| Automation of Diagrammatic Reasoning
|
| RP872
| 1997 Research Paper
| Janicic,P; Green,I; Bundy,A
|
| A Comparison of Decision Procedures in Presburger Arithmetic
|
| RP870
| 1997 Research Paper
| Ashbrook,A; Fisher,RB; Robertson,C; Werghi,N
|
| Segmentation of Range Data into Rigid Subsets Using Surface Patches
|
| RP869
| 1997 Research Paper
| Ashbrook,A; Fisher,RB; Robertson,C; Werghi,N
|
| Segmentation of Range Data into Rigid Subsets Using Planar Surface Patches
|
| RP868
| 1997 Research Paper
| Werghi,N; Fisher,RB; Ashbrook,A; Robertson,C
|
| Improving Model Shape Acquisition by Incorporating Geometric Constraints
|
| RP867
| 1997 Research Paper
| Eggert,D; Fitzgibbon,AW; Fisher,RB
|
| Simultaneous Registration of Multiple Range Views for Use in Reverse Engineering of Cad Models
|
| RP866
| 1997 Research Paper
| Colton,SG; Cresswell,SN; Bundy,A
|
| The Use of Classification in Automated Mathematical Concept Formation
|
| RP865
| 1997 Research Paper
| Ijspeert,AJ; Hallam,JC; Willshaw,D
|
| Artificial Lampreys: Comparing Naturally and Artificially Evolved Swimming Controllers
|
| 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
|
| RP863
| 1997 Research Paper
| Deacon,G; Wright,M; Malcolm,CA
|
| Qualitative Transitions in Object Reorienting Behaviour, Part 1: the Effects of Varying Friction
|
| RP862
| 1997 Research Paper
| Trewin,SM; Pain,HG
|
| Dynamic Modelling of Keyboard Skills Supporting Users with Motor Disabilities
|
| RP861
| 1997 Research Paper
| Ritchie,GD
|
| Completeness Conditions for Mixed Strategy Bidirectional Parsing
|
| RP860
| 1997 Research Paper
| He,D; Ritchie,GD; Lee,J
|
| Referring to Displays in Multimodal Interfaces
|
| RP859
| 1997 Research Paper
| Lowe,H; Pechoucek,M; Bundy,A
|
| Proof Planning and Configuration
|
| RP858
| 1997 Research Paper
| Whittle,JN; Bundy,A; Lowe,H
|
| An Editor for Helping Novices to Learn Standard Ml
|
| RP857
| 1997 Research Paper
| Chagas,N; Hallam,JC
|
| A Learning Mobile Robot: Theory, Simulation and Practice
|
| 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
|
| 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
|
| RP854
| 1997 Research Paper
| Boulton,R; Bundy,A; Slind,K; Gordon,M
|
| A Prototype Interface Between Clam and Hol
|
| RP853
| 1997 Research Paper
| Peremans,H; Hallam,JC
|
| The Spectrogram Correlation and Transformation Receiver, Revisited
|
| RP852
| 1997 Research Paper
| Taylor,TJ; Hallam,JC
|
| Studying Evolution with Self-Replicating Computer Programs
|
| RP851
| 1997 Research Paper
| Gadanho,S; Hallam,JC
|
| The Role of Emotions: Exploring Autonomy Mechanisms in Mobile Robots
|
| RP850
| 1997 Research Paper
| Hoar,JS; Wyatt,J; Hayes,GM
|
| Multiple Evaluation Techniques for Robot Learning
|
| RP849
| 1997 Research Paper
| Perkins,SJ; Hayes,GM
|
| Incremental Acquisition of Complex Behavour Using Structured Evolution
|
| RP848
| 1997 Research Paper
| ,; Hayes,GM
|
| An Algorithm for Recognising Walkers
|
| RP847
| 1997 Research Paper
| ,; Hayes,GM
|
| A Neural Network for Moving Light Display Trajectory Prediction
|
| RP846
| 1997 Research Paper
| Androutsopoulos,I; Ritchie,GD; Thanisch,P
|
| Time, Tense and Aspect in Natural Language Database Interfaces
|
| RP845
| 1997 Research Paper
| Hutter,D
|
| Equalizing Terms by Difference Reduction Techniques
|
| RP844
| 1997 Research Paper
| Ashbrook,A; Fisher,RB
|
| Constructing Models of Articulating Objects: Range Data Partitioning
|
| RP843
| 1997 Research Paper
| Fisher,RB; Fitzgibbon,AW; Eggert,D
|
| Extracting Surface Patches from Complete Range Descriptions
|
| RP842
| 1997 Research Paper
| Ratford,MS; Tuson,AL; Thompson,HS
|
| The Single Chromosome's Guide to Dating
|
| PT9618
| 1996 PhD Thesis
| Huang,X
|
| Metaphor-based Negotiation and Its Application in AGV Movement Planning
|
| RP841
| 1996 Research Paper
| Melis,E; Whittle,JN
|
| Analogy in Inductive Theorem Proving
|
| RP840
| 1996 Research Paper
| Melis,E; Whittle,JN
|
| Analogy as a Control Strategy in Theorem Proving
|
| RP839
| 1996 Research Paper
| Trewin,SM; Pain,HG
|
| On the Adequacy and Uptake of Keyboard Access Facilities for People with Motor Disabilities
|
| RP838
| 1996 Research Paper
| Trewin,SM; Pain,HG
|
| Keyboard and Mouse Errors Due to Motor Disabilities
|
| RP837
| 1996 Research Paper
| Trewin,SM
|
| Inputlogger: General Purpose Logging of Keyboard and Mouse Events on an Apple Macintosh
|
| RP836
| 1996 Research Paper
| Bundy,A; Green,I
|
| An Experimental Comparison of Rippling and Exhaustive Rewriting
|
| RP835
| 1996 Research Paper
| Jamnik,M; Bundy,A; Green,I
|
| Automation of Diagrammatic Proofs in Mathematics
|
| RP834
| 1996 Research Paper
| Dennis,L; Bundy,A; Green,I
|
| Using a Generalisation Critic to Find Bisimulations for Coinductive Proofs
|
| RP833
| 1996 Research Paper
| Walker,AV; Fisher,RB; Mitsakakis,N
|
| Singing Maps: Classification of Whalesong Units Using a Self-Organizing Feature Mapping Algorithm
|
| RP832
| 1996 Research Paper
| Lee,W; Hallam,JC; Lund,HH
|
| Applying Genetic Programming to Evolve Behavior Primitives and Arbitrators for Mobile Robots
|
| RP831
| 1996 Research Paper
| Kim,T; Malcolm,CA; Hallam,JC
|
| Developing of Vibration Sensors as Event Signature Sensors in Assembly
|
| RP830
| 1996 Research Paper
| Li,M
|
| A Rule-Based General Ai Problem Solving Mechanism Supporting Real-Time and Cooperative Problem Solving
|
| RP829
| 1996 Research Paper
| Li,M
|
| Problem Solving in a Simulated Robot World
|
| RP828
| 1996 Research Paper
| ,; Bundy,A; Smaill,AD; Basin,D
|
| Experiments in Automating Hardware Verification Using Inductive Proof Planning
|
| RP827
| 1996 Research Paper
| Li,M; Chong,KW; Chan,SY; Hallam,JC
|
| Agent-Oriented Urban Traffic Control Simulation
|
| RP826
| 1996 Research Paper
| Tuson,AL; Wheeler,R; Ross,PM
|
| An Evolutionary/Meta-Heuristic Approach to Emergency Resource Redistribution in the Developing World
|
| RP825
| 1996 Research Paper
| Tuson,AL; Wheeler,R; Ross,PM
|
| A Prototype Emergency Resource Redistribution System for Disease Control Programmes
|
| RP822
| 1996 Research Paper
| Li,M; Hallam,JC; Pryor,L; Chan,SY; Chong,KW
|
| A Cooperative Intelligent System for Urban Traffic Problems
|
| RP821
| 1996 Research Paper
| Tuson,AL; Ross,PM
|
| Adapting Operator Settings in Genetic Algorithms
|
| RP820
| 1996 Research Paper
| Fisher,RB; Gionis,A
|
| Surface Reflectance Recovery Under Point Light Illumination
|
| RP819
| 1996 Research Paper
| Grove,T; Fisher,RB
|
| Attention in Iconic Object Matching
|
| RP818
| 1996 Research Paper
| Pilu,M; Fitzgibbon,AW; Fisher,RB
|
| Training Pdms on Models: the Case of Deformable Superellipses
|
| RP817
| 1996 Research Paper
| Pilu,M; Fisher,RB
|
| Part Segmentation from 2D Edge Images by the Mdl Criterion
|
| RP816
| 1996 Research Paper
| Borges,D; Fisher,RB
|
| Class-Based Recognition of 3D Objects Represented by Volumetric Primitives
|
| RP814
| 1996 Research Paper
| Demiris,J; Hayes,GM
|
| Imitative Learning Mechanisms in Robots and Humans
|
| RP812
| 1996 Research Paper
| Trewin,SM
|
| A Study of Input Device Manipulation Difficulties
|
| RP811
| 1996 Research Paper
| ,; Birbilis,A; Hayes,GM
|
| Recognising Walkers Using Moving Light Displays
|
| RP810
| 1996 Research Paper
| Fitzgibbon,AW; Fisher,RB
|
| A Buyer'S Guide to Conic Fitting
|
| RP809
| 1996 Research Paper
| Bundy,A; Giunchiglia,F; Villafiorti,A; Walsh,T
|
| An Incompleteness Theorem Via Abstraction
|
| RP808
| 1996 Research Paper
| Bundy,A; Giunchiglia,F; Sebastiani,R; Walsh,T
|
| Computing Abstraction Hierarchies by Numerical Simulation
|
| RP807
| 1996 Research Paper
| Bundy,A; Giunchiglia,F; Sebastiani,R; Walsh,T
|
| Calculating Criticalities
|
| RP806
| 1996 Research Paper
| Pilu,M; Fitzgibbon,AW; Fisher,RB
|
| Ellipse-Specific Direct Least-Square Fitting
|
| RP805
| 1996 Research Paper
| Pilu,M; Fisher,RB
|
| Model-Driven Grouping and Recognition of Generic Object Parts from Single Images
|
| RP804
| 1996 Research Paper
| Eggert,D; Fitzgibbon,AW; Fisher,RB
|
| Simultaneous Registration of Multiple Range Views Satisfying Global Consistency Constraints for Use in Reverse Engineering
|
| RP803
| 1996 Research Paper
| Melis,E; Whittle,JN
|
| Internal Analogy in Theorem Proving
|
| RP802
| 1996 Research Paper
| Lee,W; Hallam,JC; Lund,HH
|
| A Hybrid Gp/Ga Approach for Co-Evolving Controllers and Robot Bodies to Achieve Fitness-Specified Tasks
|
| RP801
| 1996 Research Paper
| Pilu,M; Fisher,RB
|
| Recovery of Generic Solid Parts by Parametrically Deformable Aspects
|
| RP796
| 1996 Research Paper
| Mota,Ed; Robertson,DS
|
| Representing Interaction of Agents at Different Time Granularities
|
| RP795
| 1996 Research Paper
| Perkins,SJ; Hayes,GM
|
| Robot Shaping - Principles, Methods and Architectures
|
| RP794
| 1996 Research Paper
| Fitzgibbon,AW; Pilu,M; Fisher,RB
|
| Direct Least Squares Fitting of Ellipses
|
| RP793
| 1996 Research Paper
| Robertson,DS
|
| Distributed Specification
|
| RP792
| 1996 Research Paper
| Robertson,DS
|
| Domain Specific Problem Description
|
| RP789
| 1996 Research Paper
| Tuson,AL; Ross,PM
|
| Co-Evolution of Operator Settings in Genetic Algorithms
|
| RP788
| 1996 Research Paper
| Tuson,AL; Ross,PM
|
| Self-Adaptation by Co-Evolution
|
| RP787
| 1996 Research Paper
| Tuson,AL; Ross,PM
|
| Cost Based Operator Rate Adaption: an Investigation
|
| RP786
| 1996 Research Paper
| Ireland,A; Bundy,A
|
| Extensions to a Generalization Critic for Inductive Proof
|
| RP785
| 1996 Research Paper
| Wright,M; Fitzgibbon,AW; Giblin,P; Fisher,RJ
|
| Beyond the Hough Transform: Further Properties of the R,Theta Mapping and Their Applications
|
| RP784
| 1996 Research Paper
| Wyatt,J
|
| Issues in Putting Reinforcement Learning Onto Robots
|
| RP783
| 1996 Research Paper
| Wyatt,J; Hayes,GM; Hallam,JC
|
| Investigating the Behaviour of Q(Lambda)
|
| RP782
| 1996 Research Paper
| Yeh,C; Mellish,CS
|
| An Evaluation of Anaphor Generation in Chinese
|
| RP781
| 1996 Research Paper
| Monroy-Borja,R; Bundy,A; Ireland,A; Hesketh,J
|
| Proof Planning the Verification of Ccs Programs
|
| RP780
| 1996 Research Paper
| Frank,I; Basin,D
|
| Search in Games with Incomplete Information: a Case Study Using Bridge Card Play
|
| PT9512
| 1995 PhD Thesis
| Yang,S
|
| Kics: Representation of Regulatory Information and the Use of Case-Based Reasoning to Support the Relaxation Process
|
| RP778
| 1995 Research Paper
| Fisher,RB; Fitzgibbon,AW; Gionis,A; Wright,M; Eggert,D
|
| A Hand-Held Optical Surface Scanner for Environmental Modeling and Virtual Reality
|
| RP776
| 1995 Research Paper
| Vasconcelos,W; Fuchs,N
|
| Prolog Program Development Via Enhanced Schema-Based Transformations
|
| RP775
| 1995 Research Paper
| Fitzgibbon,AW; Eggert,D; Fisher,RB
|
| High-Level Cad Model Acquisition from Range Images
|
| RP772
| 1995 Research Paper
| Good,J
|
| The 'Right' Tool for the Task: an Investigation of External Representations, Program Abstractions and Task Requirements
|
| RP771
| 1995 Research Paper
| Aziz,N; Pain,HG; Brna,P
|
| Handling Contradictions in Learner Modelling in the "Translating Algebraic Problems System" (Taps)
|
| RP770
| 1995 Research Paper
| Aziz,N; Pain,HG; Brna,P
|
| Modelling and Mending Students' Misconceptions in Translating Algebra Word Problems Using a Belief Revision System in Taps
|
| RP769
| 1995 Research Paper
| Wren,DO; Fisher,RB
|
| Planning Dextrous Hand Precision Grasps from Range Data, Using Preshaping and Finger Trajectories
|
| RP768
| 1995 Research Paper
| Wren,DO; Fisher,RB
|
| Dextrous Hand Grasping Strategies Using Preshapes and Digit Trajectories
|
| RP767
| 1995 Research Paper
| Richardson,J
|
| Automating Changes of Data Type in Functional Programs
|
| RP765
| 1995 Research Paper
| Lorusso,A; Eggert,D; Fisher,RB
|
| A Comparison of Four Algorithms for Estimating 3-D Rigid Transformations
|
| RP764
| 1995 Research Paper
| Pilu,M; Fisher,RB
|
| Equal-Distance Sampling of Superellipse Models
|
| RP756
| 1995 Research Paper
| Fisher,RB; Oliver,PI
|
| Multi-Variate Cross-Correlation and Image Matching
|
| RP751
| 1995 Research Paper
| Wolfart,E; Fisher,RB; Walker,AV
|
| Position Refinement for a Navigating Robot Using Motion Information Based on Honey Bee Strategies
|
| RP738
| 1995 Research Paper
| Pryor,L
|
| Decisions, Decisions: Knowledge Goals in Planning
|
| RP737
| 1995 Research Paper
| Lorusso,A; Eggert,D; Fisher,RB
|
| A Comparison of Four Algorithms for Estimating 3-D Rigid Transformations
|
| RP731
| 1995 Research Paper
| Park,N; Robertson,DS; gardner,K
|
| Reasoning with Limited Unification in a Connectionist Rule-Based System
|
| RP730
| 1995 Research Paper
| Robertson,DS; Park,N; Agusti,J
|
| Layered Design of Kbs from Specification to Hardware
|
| RP725
| 1994 Research Paper
| Lombart,V; Deville,Y
|
| Rippling on Relational Structures
|
| RP722
| 1994 Research Paper
| Hasselbring,W; Fisher,RB
|
| Investigating Parallel Interpretation-Tree Model Matching Algorithms with Proset-Linda
|
| RP720
| 1994 Research Paper
| Bispo,EM; Fisher,RB
|
| Free-Form Surface Matching for Surface Inspection
|
| RP719
| 1994 Research Paper
| Trucco,E; Fisher,RB; Fitzgibbon,AW; Naidu,D
|
| Calibration, Data Consistency and Model Acquisition with a 3-D Laser Striper
|
| RP718
| 1994 Research Paper
| Vargas-Vera,M; Robertson,DS
|
| An Environment for Building Prolog Programs Based on Knowledge About Their Construction
|
| RP717
| 1994 Research Paper
| Fisher,RB
|
| Best-First and Ten Other Variations of the Interpretation-Tree Model Matching Algorithm
|
| RP715
| 1994 Research Paper
| Vasconcelos,W
|
| Extracting Prolog Programming Techniques
|
| RP714
| 1994 Research Paper
| Gent,I; Walsh,T
|
| How not to do it
|
| RP710
| 1994 Research Paper
| Fisher,RB
|
| Is Computer Vision Still Ai
|
| RP709
| 1994 Research Paper
| Androutsopoulos,I; Ritchie,GD; Thanisch,P
|
| Natural Language Interfaces to Databases - an Introduction
|
| RP708
| 1994 Research Paper
| Corne,D; Ross,PM; Fang,H
|
| Fast Practical Evolutionary Timetabling
|
| RP707
| 1994 Research Paper
| Ross,PM; Corne,D; Fang,H
|
| Improving Evolutionary Timetabling with Delta Evaluation and Directed Mutation
|
| RP706
| 1994 Research Paper
| Fitzgibbon,AW; Fisher,RB
|
| Invariant Fitting of Arbitrary Single-Extremum Surfaces
|
| RP702
| 1994 Research Paper
| Gent,I
|
| The Satisfiability Constraint Gap
|
| RP701
| 1994 Research Paper
| Haggith,MC
|
| A Meta-Level Approach to Exploration of Multiple Knowledge Bases
|
| RP699
| 1994 Research Paper
| Fang,H; Ross,PM; Corne,D
|
| A Promising Hybrid Ga/Heuristic Approach for Open Shop Scheduling Problems
|
| RP697
| 1994 Research Paper
| Yeh,C; Mellish,CS
|
| An Empirical Study on the Generation of Zero Anaphors in Chinese
|
| RP696
| 1994 Research Paper
| Yang,S; Robertson,DS; Lee,J
|
| Use of Case-Based Reasoning in the Domain of Building Regulations
|
| RP695
| 1994 Research Paper
| Hallam,B; Halperin,J; Hallam,JC
|
| An Ethological Model for Implementation in Mobile Robots
|
| RP694
| 1994 Research Paper
| Hallam,B; Hallam,JC; Hayes,GM
|
| A Dynamic Net for Robot Control
|
| RP693
| 1994 Research Paper
| Trucco,E; Fisher,RB; Fitzgibbon,AW
|
| Direct Calibration and Data Consistency in 3-D Laser Scanning
|
| RP691
| 1994 Research Paper
| Kick,A; Walker,AV; Fisher,RB
|
| A Dynamic Model for Autonomous Vehicle Navigation
|
| RP690
| 1994 Research Paper
| Binsted,K; Ritchie,GD
|
| An Implemented Model of Punning Riddles
|
| RP685
| 1994 Research Paper
| Fitzgibbon,AW; Fisher,RB
|
| Lack-of-Fit Detection Using the Run-Distribution Test
|
| RP684
| 1994 Research Paper
| Fisher,RB
|
| Performance Comparison of Ten Variations on the Interpretation-Tree Matching Algorithm
|
| RP683
| 1994 Research Paper
| Smart,WD; Hallam,JC
|
| Location Recognition with Self-Ordering Networks
|
| RP682
| 1994 Research Paper
| Corne,D; Smithers,T; Ross,PM
|
| Solving Design Problems by Computational Exploration
|
| RP681
| 1994 Research Paper
| Monroy-Borja,R; Bundy,A; Ireland,A
|
| Proof Plans for the Correction of False Conjectures
|
| RP680
| 1994 Research Paper
| Gent,I; Walsh,T
|
| The Hardest Random Sat Problems
|
| RP679
| 1994 Research Paper
| Gent,I; Walsh,T
|
| The Sat Phase Transition
|
| RP676
| 1994 Research Paper
| Hayes,GM; Demiris,J
|
| A Robot Controller Using Learning by Imitation
|
| RP675
| 1994 Research Paper
| Perkins,SJ; Hayes,GM
|
| Real Time Optical Flow Based Range Sensing on Mobile Robots
|
| RP674
| 1994 Research Paper
| Levine,J; Mellish,CS
|
| Corect: Combining Cscw with Natural Language Generation for Collaborative Requirements Capture
|
| RP673
| 1994 Research Paper
| Chesters,W; Hayes,GM
|
| Connectionist Environment Modelling in a Real Robot
|
| TP27
| 1994 Technical Paper
| Vasconcelos,W
|
| A Method of Extracting Prolog Programming Techniques
|
| RP664
| 1993 Research Paper
| Lowe,H
|
| Synthesizing Computer Configurations from Specifications: Structuring Knowledge for Design
|
| RP663
| 1993 Research Paper
| Lowe,H
|
| Proof Planning and Maintainability of Ai Systems
|
| RP662
| 1993 Research Paper
| Lowe,H
|
| Proof Planning: a Methodology for Developing Ai Systems Involving Design
|
| RP660
| 1993 Research Paper
| Trucco,E; Fisher,RB
|
| Acquisition of Consistent Range Data Using Local Calibration
|
| RP659
| 1993 Research Paper
| Fisher,RB; Fitzgibbon,AW; Waite,M; Trucco,E; Orr,M
|
| Recognition of Complex 3-D Objects from Range Data
|
| RP653
| 1993 Research Paper
| Bispo,EM; Fitzgibbon,AW; Fisher,RB
|
| Visually Salient 3D Model Acquisition from Range Data
|
| RP652
| 1993 Research Paper
| Fisher,RB
|
| Hierarchical Matching Beets the Non-Wildcard and Interpretation Tree Model Matching Algorithms
|
| RP650
| 1993 Research Paper
| Waite,M; Orr,M; Fisher,RB; Hallam,JC
|
| Statistical Partial Constraints for 3D Model Matching and Pose Estimation Problems
|
| RP642
| 1993 Research Paper
| Gent,I; Walsh,T
|
| Easy Problems are Sometimes Hard
|
| RP641
| 1993 Research Paper
| Bowles,A; Robertson,DS; Vasconcelos,W; Vargas-Vera,M; Bental,D
|
| Applying Prolog Programming Techniques
|
| RP639
| 1993 Research Paper
| Androutsopoulos,I; Ritchie,GD; Thanisch,P
|
| Masque/Sql- an Efficient and Portable Natural Language Query Interface for Relational Databases
|
| RP634
| 1993 Research Paper
| Gent,I; Walsh,T
|
| An Empirical Analysis of Search in Gsat
|
| RP630
| 1993 Research Paper
| Hallam,B
|
| Fast Robot Learning Using a Biological Model
|
| RP629
| 1993 Research Paper
| Hallam,B; Halperin,J; Hallam,JC
|
| An Ethological Model of Learning and Motivation for Implementation in Mobile Robots.
|
| RP628
| 1993 Research Paper
| Yang,S; Robertson,DS; Lee,J
|
| Kics: a Knowledge-Intensive Case-Based Reasoning System for Statutory Building Regulations and Case Histories
|
| RP626
| 1993 Research Paper
| Wilson,MS
|
| Behaviour-Based Robotic Assembly Systems: Reliability of Behavioural Modules
|
| RP623
| 1993 Research Paper
| Fang,H; Ross,PM; Corne,D
|
| A Promising Genetic Algorithm Approach to Job-Shop Scheduling, Rescheduling, and Open-Shop Scheduling Programs
|
| RP622
| 1993 Research Paper
| Corne,D; Fang,H; Mellish,CS
|
| Solving the Modular Exam Scheduling Problem with Genetic Algorithms
|
| RP620
| 1993 Research Paper
| Kaggelides,K; Elliot,P; Fisher,RB
|
| Locating the Eyes in Ct Brain Scan Data
|
| RP619
| 1993 Research Paper
| Deacon,G; Low,PL; Malcolm,CA
|
| Orienting Objects in a Minimum Number of Robot Sweeping Motions
|
| RP614
| 1993 Research Paper
| Gent,I; Walsh,T
|
| Towards an Understanding of Hill-Climbing Procedures for Sat
|
| PT9234
| 1992 PhD Thesis
| Wilson,MS
|
| Achieving Reliability Using Behavioural Modules in a Robotic Assembly System
|
| MT92102
| 1992 MSc Thesis
| Aguilar-Chongtay,RM
|
| The Role of Correlations in the Development of the Visual System
|
| PT9210
| 1992 PhD Thesis
| Beaven,J
|
| Lexicalist Unification-Based Machine Translation
|
| RP647
| 1992 Research Paper
| Fisher,RB
|
| Non-Wildcard Matching Beats the Interpretation Tree
|
| RP613
| 1992 Research Paper
| Ireland,A; Bundy,A
|
| Using Failure to Guide Inductive Proof
|
| RP605
| 1992 Research Paper
| Gent,I; Walsh,T
|
| The Enigma of Sat Hill-Climbing Procedures
|
| RP598
| 1992 Research Paper
| Hallam,B; Hayes,GM
|
| Comparing Robot and Animal Behaviour
|
| RP597
| 1992 Research Paper
| Logan,B; Smithers,T
|
| Creativity and Design as Exploration
|
| RP596
| 1992 Research Paper
| Logan,B; Corne,D; Smithers,T
|
| Using Reason Maintenance Systems to Support Ill Structured Problem Solving
|
| RP595
| 1992 Research Paper
| Logan,B; Corne,D; Smithers,T
|
| The Edinburgh Designer System: an Architecture for Solving Ill Structured Problems
|
| RP591
| 1992 Research Paper
| Fitzgibbon,AW; Fisher,RB
|
| Practical Aspect-Graph Derivation Incorporating Feature Segmentation Performance
|
| RP582
| 1992 Research Paper
| Trucco,E; Fisher,RB
|
| Experiments in Curvature-Based Segmentation of Range Data
|
| RP574
| 1992 Research Paper
| Trucco,E; Fisher,RB
|
| Computing Surface-Based Representations from Range Images
|
| RP572
| 1992 Research Paper
| Orr,M; Hallam,JC; Fisher,RB
|
| Fusion Through Interpretation
|
| RP567
| 1991 Research Paper
| Bundy,A; Stevens,A; van Harmelen,F
|
| Rippling: a Heuristic for Guiding Inductive Proofs
|
| RP563
| 1991 Research Paper
| Walsh,T; Nunes,A; Bundy,A
|
| The Use of Proof Plans to Sum Series
|
| RP562
| 1991 Research Paper
| Harris,M; Smaill,AD; Wiggins,G
|
| Representing Music Symbolically
|
| RP560
| 1991 Research Paper
| Baker,S; Ireland,A; Smaill,AD
|
| On the Use of the Constructive Omega-Rule Within Automated Deduction
|
| RP559
| 1991 Research Paper
| Phillips,C
|
| Well-Founded Induction and Program Synthesis Using Proof Plans
|
| RP537
| 1991 Research Paper
| Lowe,H
|
| Extending the Proof Plan Methodology to Computer Configuration Problems
|
| RP536
| 1991 Research Paper
| Lowe,H
|
| The Use of Theorem Proving Techniques in Expert Systems for Configuration
|
| RP513
| 1990 Research Paper
| Bundy,A
|
| The Use of Proof Plans for Normalization
|
| RP512
| 1990 Research Paper
| Hesketh,J; Bundy,A; Smaill,AD
|
| Using Middle-Out Reasoning to Transform Naive Programs into Tail-Recursive Ones
|
| RP505
| 1990 Research Paper
| Horn,C; Smaill,AD
|
| Theorem Proving and Program Synthesis with Oyster
|
| RP455
| 1990 Research Paper
| Wiggins,G
|
| The Improvement of Prolog Program Efficiency by Compiling Control: a Proof-Theoretic View
|
![[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}