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
|