RP95
|
|
|
|
|
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
|
RP943
| 1999
| Colton,SG
|
| Refactorable Numbers - A Machine Invention
|
RP942
| 1999 Research Paper
| Robertson,C; Fisher,RB; Corne,D; Werghi,N; Ashbrook,A
|
| Investigating Evolutionary Optimisation of Constrained Functions to Capture Shape Descriptions from Range Data
|
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
|
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
|
RP905
| 1998 Research Paper
| Monroy-Borja,R; Bundy,A; Green,I
|
| Observant: an Annotated Term-Rewriting System for Deciding Observation Congruence
|
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
|
RP896
| 1998 Research Paper
| Ramscar,MJ; Darrington,S; Lee,J; Pain,HG
|
| Categorisation: Schemas, Similarities and Theories
|
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
|
RP894
| 1998 Research Paper
| Darrington,S; Lingstadt,T; Ramscar,MJ
|
| Analogy as a Sub-Process of Categorisation
|
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
|
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
|
RP880
| 1998 Research Paper
| Bundy,A
|
| The Termination of Rippling and Unblocking
|
RP876
| 1998 Research Paper
| Ijspeert,AJ; Hallam,JC; Willshaw,D
|
| Evolving Swimming Controllers for a Simulated Lamprey with Inspiration from Neurobiology
|
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
|
RP878
| 1997 Research Paper
| Lowe,H; Pechoucek,M; Bundy,A
|
| Proof Planning for Maintainable Configuration Systems
|
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
|
RP871
| 1997 Research Paper
| Pechoucek,M; Lowe,H; Bundy,A
|
| Proof Planning and Industrial Configuration
|
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
|
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
|
RP824
| 1996 Research Paper
| Lund,HH; Hallam,JC
|
| Sufficient Neurocontrollers can be Surprisingly Simple
|
RP823
| 1996 Research Paper
| Hesketh,J; Robertson,DS; Fuchs,N; Bundy,A
|
| Automating Reasoning Support for Design
|
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
|
RP815
| 1996 Research Paper
| Pain,HG; Bull,S; Brna,P
|
| A Student Model "for Its Own Sake"
|
RP814
| 1996 Research Paper
| Demiris,J; Hayes,GM
|
| Imitative Learning Mechanisms in Robots and Humans
|
RP813
| 1996 Research Paper
| Liu,W; Bundy,A
|
| Constructing Probalistic Atms Using Extended Incidence Calculus
|
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
|
RP800
| 1996 Research Paper
| Webb,B; Hallam,JC
|
| How to Attract Females: Further Robotic Experiments in Cricket Phonotaxis
|
RP799
| 1996 Research Paper
| Smaill,AD; Green,I
|
| Higher-Order Annotated Terms for Proof Search
|
RP798
| 1996 Research Paper
| Huang,X; Hallam,JC
|
| Spring-Based Negotiation for Conflict Resolution in Agv Scheduling
|
RP797
| 1996 Research Paper
| Huang,X
|
| Defining Metaphor-Based Negotiation
|
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
|
RP791
| 1996 Research Paper
| Robertson,DS
|
| An Empirical Study of the Lss Specificiation Toolkit in Use
|
RP790
| 1996 Research Paper
| Conlon,T; Pain,HG
|
| Persistent Collaboration: a Methodology for Applied Aied
|
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
|
RP779
| 1995 Research Paper
| Yoshida,T; Bundy,A; Green,I; Walsh,T; Basin,D
|
| Coloured Rippling: an Extension of a Theorem Proving Heuristic
|
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
|
RP777
| 1995 Research Paper
| Smaill,AD; Green,I
|
| Automating the Synthesis of Functional Programs in Constructive Type Theory
|
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
|
RP774
| 1995 Research Paper
| Bundy,A
|
| A Subsumption Architecture for Theorem Proving
|
RP773
| 1995 Research Paper
| Bull,S; Smith,ML
|
| Using Targeted Negotiation to Support Students' Learning
|
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
|
RP766
| 1995 Research Paper
| Melis,E
|
| Analogy in Clam
|
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
|
RP763
| 1995 Research Paper
| Ritchie,GD
|
| Completeness Conditions for Mixed Strategy Context Free Parsing
|
RP762
| 1995 Research Paper
| Bull,S
|
| Handling Native and Non-Native Language Transfer in Call: Theory and Practice
|
RP761
| 1995 Research Paper
| Bull,S; Brna,P; Pain,HG
|
| Extending the Scope of the Student Model
|
RP760
| 1995 Research Paper
| Bull,S; Pain,HG
|
| "Did i Say what i Think i Said, and do You Agree with Me?": Inspecting and Questioning the Student Model
|
RP759
| 1995 Research Paper
| Bull,S; Pain,HG; Brna,P
|
| Mr Collins: a Collaboratively Constructed, Inspectable Student Model for Intelligent Computer Assisted Language Learning
|
RP758
| 1995 Research Paper
| Yang,S; Robertson,DS
|
| A Case-Based Reasoning System to Support the Relaxation of Building Regulations
|
RP757
| 1995 Research Paper
| Conlon,T
|
| Automated Analysis for Knowledge-Based Modelling
|
RP756
| 1995 Research Paper
| Fisher,RB; Oliver,PI
|
| Multi-Variate Cross-Correlation and Image Matching
|
RP755
| 1995 Research Paper
| Haggith,MC
|
| A Meta-Level Framework for Exploring Conflicts in Multiple Knowledge Bases
|
RP754
| 1995 Research Paper
| Haggith,MC
|
| Support for Argumentation in Natural Resource Management
|
RP753
| 1995 Research Paper
| Androutsopoulos,I; Ritchie,GD; Thanisch,P
|
| Experience Using Tsql2 in a Natural Language Interface
|
RP752
| 1995 Research Paper
| Fillatreau,P; Fisher,RB
|
| Non-Polyhedral Landmark Recognition Using 3D Depth Images and Partially Correct Models
|
RP751
| 1995 Research Paper
| Wolfart,E; Fisher,RB; Walker,AV
|
| Position Refinement for a Navigating Robot Using Motion Information Based on Honey Bee Strategies
|
RP750
| 1995 Research Paper
| Negrete-Yankelevich,S; Smaill,AD
|
| Guiding Proof Search in Logical Frameworks with Rippling
|
RP749
| 1995 Research Paper
| Collins,G; Pryor,L
|
| Planning Under Uncertainty: Some Key Issues
|
RP748
| 1995 Research Paper
| Nicolov,N; Mellish,CS; Ritchie,GD
|
| Sentence Generation from Conceptual Graphs
|
RP747
| 1995 Research Paper
| Crowe,J
|
| Constraint-Based Event Recognition for Information Extraction
|
RP746
| 1995 Research Paper
| Conlon,T; Pain,HG
|
| Persistent Collaboration: Marrying the Technology Push with the Learning Pull
|
RP745
| 1995 Research Paper
| Lowe,H; Bundy,A; McLean,D
|
| The Use of Proof Planning for Cooperative Theorem Proving
|
RP742
| 1995 Research Paper
| Westhead,M
|
| Synchronous Systems for Behaviour Based Robot Control
|
RP741
| 1995 Research Paper
| Webb,B
|
| An Arbitrary Architecture for an Artificial Arthropod
|
RP740
| 1995 Research Paper
| Mota,Ed; Haggith,MC; Smaill,AD; Robertson,DS
|
| Time Granularity in Simulation Models of Ecological Systems
|
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
|
RP736
| 1995 Research Paper
| Chen-Burger,J; Robertson,DS; Fraser,J; Lissoni,C
|
| Kbst: a Support Tool for Business Modelling in Bsdm
|
RP735
| 1995 Research Paper
| Melis,E
|
| Analogy-Driven Proof-Plan Construction
|
RP734
| 1995 Research Paper
| Androutsopoulos,I; Ritchie,GD; Thanisch,P
|
| A Framework for Natural Language Interfaces to Temporal Databases
|
RP732
| 1995 Research Paper
| Park,N; Robertson,DS; gardner,K
|
| An Extension of the Temporal Synchrony Approach to Dynamic Variable Binding in a Connectionist Inference System
|
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
|
RP729
| 1995 Research Paper
| Kraan,I; Basin,D; Bundy,A
|
| Middle-Out Reasoning for Synthesis and Induction
|
RP678A
| 1995 Research Paper
| Fernandes,A; Ritchie,GD; Moffat,D
|
| A Formal Reconstruction of Procedural Semantics
|
RP733
| 1994 Research Paper
| Ahs,T; Wiggins,G
|
| Rippling with Relational Definitions
|
RP728
| 1994 Research Paper
| Borges,D; Orr,M; Fisher,RB
|
| A Radial Basis Function Neural Network for Parts Identification of Three Dimensional Shapes
|
RP727
| 1994 Research Paper
| Horn,C; Smaill,AD
|
| From Meta-Level Tactics to Object-Level Programs
|
RP726
| 1994 Research Paper
| Reeve,R; Hallam,JC
|
| Control of Walking by Central Pattern Generators
|
RP725
| 1994 Research Paper
| Lombart,V; Deville,Y
|
| Rippling on Relational Structures
|
RP724
| 1994 Research Paper
| Gent,I; Walsh,T
|
| Computational Phase Transitions in Real Problems
|
RP723
| 1994 Research Paper
| Richards,B; Kraan,I; Smaill,AD; Wiggins,A
|
| Mollusc a General Proof-Development Shell for Sequent-Based Logics
|
RP722
| 1994 Research Paper
| Hasselbring,W; Fisher,RB
|
| Investigating Parallel Interpretation-Tree Model Matching Algorithms with Proset-Linda
|
RP721
| 1994 Research Paper
| Gent,I; Walsh,T
|
| Unsatisfied Variables in Local Search
|
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
|
RP716
| 1994 Research Paper
| Ireland,A; Bundy,A
|
| Productive Use of Failure in Inductive Proof
|
RP715
| 1994 Research Paper
| Vasconcelos,W
|
| Extracting Prolog Programming Techniques
|
RP714
| 1994 Research Paper
| Gent,I; Walsh,T
|
| How not to do it
|
RP713
| 1994 Research Paper
| Bull,S; Pain,HG; Brna,P
|
| Student Modelling Beyond Domain Knowledge
|
RP712
| 1994 Research Paper
| Bull,S; Musson,T
|
| Goal-Oriented Software: when the Development Process is Different...
|
RP711
| 1994 Research Paper
| Bull,S; Musson,T
|
| Incorporating Learning Issues into Computer Assisted Education
|
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
|
RP705
| 1994 Research Paper
| Bowles,A; Robertson,DS
|
| A Case-Based Reasoning Approach to Supporting Novice Programmers
|
RP704
| 1994 Research Paper
| Bull,S
|
| Learning Languages: Implications for Student Modelling in Icall
|
RP703
| 1994 Research Paper
| Bull,S
|
| Student Modelling for Second Language Acquisition
|
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
|
RP700
| 1994 Research Paper
| Bispo,EM; Fisher,RB
|
| Inspection of Free-Form Surfaces Using Dense Range Data
|
RP699
| 1994 Research Paper
| Fang,H; Ross,PM; Corne,D
|
| A Promising Hybrid Ga/Heuristic Approach for Open Shop Scheduling Problems
|
RP698
| 1994 Research Paper
| Funk,P; Robertson,DS
|
| Case-Based Selection of Requirements Specifications for Telecommunication Systems
|
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
|
RP692
| 1994 Research Paper
| Hayes,GM; Demiris,J
|
| Robotic Learning by Imitation
|
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
|
RP689
| 1994 Research Paper
| Fitzgibbon,AW; Bispo,EM; Fisher,RB; Trucco,E
|
| Automatic Acquisition of Cad Models from Multiple Range Views
|
RP688
| 1994 Research Paper
| Binsted,K; Ritchie,GD
|
| A Symbolic Description of Punning Riddles and Its Computer Implementation
|
RP687
| 1994 Research Paper
| Deacon,G; Malcolm,CA
|
| A Robot System Designed for Task-Level Assembly
|
RP686A
| 1994 Research Paper
| Cox,R; Brna,P
|
| Supporting the Use of External Representations in Problem Solving: the Need for Flexible Learning Environments
|
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
|
RP743
| 1993 Research Paper
| Westhead,M
|
| Robust Intelligent Control Through the Use of a Behaviour Based Control Paradigm
|
RP739
| 1993 Research Paper
| Webb,B
|
| Modeling Biological Behaviour or "Dumb Animals and Stupid Robots"
|
RP677
| 1993 Research Paper
| Bundy,A
|
| Prospects for Artificial Intelligence
|
RP672
| 1993 Research Paper
| Bundy,A
|
| What is the Difference Between Real Creativity and Mere Novelty ?
|
RP671
| 1993 Research Paper
| Bundy,A; MacQueen,H
|
| The New Software Copyright Law
|
RP670
| 1993 Research Paper
| Trucco,E; Diprima,M; Roberto,V
|
| Visibility Scripts for Active Feature-Based Inspection
|
RP669
| 1993 Research Paper
| Bundy,A
|
| Can Theorem Proving Keep the Planes Flying ?
|
RP668
| 1993 Research Paper
| Westhead,M; Smaill,AD
|
| Automatic Characterisation of Musical Style
|
RP667
| 1993 Research Paper
| Smaill,AD; Wiggins,G; Miranda,E
|
| Music Representation - Between the Musician and the Computer
|
RP666
| 1993 Research Paper
| Park,N; Robertson,DS; gardner,K
|
| An Extension of the Temporal Synchrony Solution to Dynamic Variable Bindings in a Connectionist System
|
RP665
| 1993 Research Paper
| Bull,S; Pain,HG; Brna,P
|
| Student Modelling in an Intelligent Computer Assisted Language Leraning System: the Issues of Language Transfer and Learning Strategies
|
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
|
RP661
| 1993 Research Paper
| Negrete-Yankelevich,S
|
| Proof Plans and Automatic Theorem Proving with Hints (Paper in Spanish)
|
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
|
RP658
| 1993 Research Paper
| Wiggins,G; Miranda,E; Smaill,AD; Harris,M
|
| Surveying Musical Representation Systems: a Framework for Evaluation
|
RP657
| 1993 Research Paper
| Bull,S
|
| Towards User / System Collaboration in the Development of a Student Model for Intelligent Computer Assisted Language Learning
|
RP656
| 1993 Research Paper
| Bull,S; Pain,HG; Brna,P
|
| Collaboration and Reflection in the Construction of a Student Model for Intelligent Computer Assisted Language Learning
|
RP655
| 1993 Research Paper
| Fisher,RB; Naidu,D; Singhal,D
|
| Rejection of Spurious Reflections in Structured Illumination Range Finders
|
RP654
| 1993 Research Paper
| Basin,D; Bundy,A; Kraan,I; Matthews,S
|
| A Framework for Program Development Based on Schematic Proof
|
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
|
RP649
| 1993 Research Paper
| McLean,RG; Bundy,A; Liu,W
|
| Assignment Methods for Incidence Calculus
|
RP648
| 1993 Research Paper
| Liu,W; Bundy,A; Robertson,DS
|
| Recovering Incidence Functions
|
RP646
| 1993 Research Paper
| Cox,R; Brna,P
|
| The Relationship Between External Representations and Analytical Reasoning Performance: Implications for the Design of a Learning Environment
|
RP645
| 1993 Research Paper
| Baker,S; Smaill,AD
|
| A Proof Environment for Arithmetic with the Omega Rule
|
RP644
| 1993 Research Paper
| Madden,P; Bundy,A
|
| General Techniques for Automatic Program Optimization and Synthesis Through Theorem Proving
|
RP643
| 1993 Research Paper
| Borges,D; Fisher,RB
|
| Segmentation of 3D Articulated Objects by Dynamic Grouping of Discontinuities
|
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
|
RP640
| 1993 Research Paper
| Miranda,E
|
| From Symbols to Sound Artificial Intelligence Investigation of Sound Synthesis
|
RP639
| 1993 Research Paper
| Androutsopoulos,I; Ritchie,GD; Thanisch,P
|
| Masque/Sql- an Efficient and Portable Natural Language Query Interface for Relational Databases
|
RP638
| 1993 Research Paper
| Kraan,I; Basin,D; Bundy,A
|
| Middle-Out Reasoning for Logic Program Synthesis
|
RP637
| 1993 Research Paper
| Bowles,A; Brna,P
|
| Programming Plans and Programming Techniques
|
RP636
| 1993 Research Paper
| Vargas-Vera,M; Robertson,DS; Inder,R
|
| Combining Prolog Programs in a Techniques Editing System
|
RP635
| 1993 Research Paper
| Vargas-Vera,M; Vasconcelos,W; Robertson,DS
|
| Building Large-Scale Prolog Programs Using a Techniques Editing System
|
RP634
| 1993 Research Paper
| Gent,I; Walsh,T
|
| An Empirical Analysis of Search in Gsat
|
RP633
| 1993 Research Paper
| Manning,AJ; Ireland,A; Bundy,A
|
| Increasing the Versatility of Heuristic Based Theorem Provers
|
RP632
| 1993 Research Paper
| Mellish,CS; Reiter,E
|
| Using Classification as a Programming Language
|
RP631
| 1993 Research Paper
| Reiter,E; Mellish,CS
|
| Optimizing the Costs and Benefits of Natural Language Generation
|
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
|
RP627
| 1993 Research Paper
| Reiter,E
|
| Has a Concensus Nl Generation Architecture Appeared, and is it Psycholinguistically Plausible ?
|
RP626
| 1993 Research Paper
| Wilson,MS
|
| Behaviour-Based Robotic Assembly Systems: Reliability of Behavioural Modules
|
RP625
| 1993 Research Paper
| Lowe,J; Neveen,M; Lowe,H
|
| Cash Flow Management: an Expert System for the Construction Client
|
RP624
| 1993 Research Paper
| Perez-Minana,E; Fisher,RB; Wallace,D
|
| Stochastic Image Restoration: Clean Images and Their Likelihood
|
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
|
RP621
| 1993 Research Paper
| Fisher,RB; Trucco,E; Fitzgibbon,AW; Waite,M; Orr,M
|
| Acquisition and Interpretation of 3-D in Machine Vision: Imagine
|
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
|
RP618
| 1993 Research Paper
| Wallace,A; Trucco,E
|
| Viewer-Centred Representations Ii: Human Vision
|
RP617
| 1993 Research Paper
| Trucco,E; Wallace,A
|
| Viewer-Centred Representations i: Machine Vision
|
RP616
| 1993 Research Paper
| Trucco,E; Umasuthan,M; Wallace,A
|
| Active Inspection Using Visibility, Sensor and Task Knowledge
|
RP615
| 1993 Research Paper
| Harris,M
|
| Vision Guided Part Alignment with Degraded Data
|
RP614
| 1993 Research Paper
| Gent,I; Walsh,T
|
| Towards an Understanding of Hill-Climbing Procedures for Sat
|
RP744
| 1992 Research Paper
| Westhead,M
|
| Linda and the Paradigms of Parallelisation
|
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
|
RP612
| 1992 Research Paper
| Vargas-Vera,M; Robertson,DS; Inder,R
|
| A Mathematical Framework for the Problem of Combination of Prolog Programs
|
RP611
| 1992 Research Paper
| Liu,W; Bundy,A; Robertson,DS
|
| On the Relationship Between Incidence Calculus and Atms
|
RP610
| 1992 Research Paper
| Vargas-Vera,M; Robertson,DS; Inder,R
|
| An Environment for Combining Prolog Programs
|
RP609
| 1992 Research Paper
| Berendt,B; Smaill,AD
|
| Computing Belief Revision
|
RP608
| 1992 Research Paper
| Madden,P; Hesketh,J; Green,I; Bundy,A
|
| A General Technique for Automatically Optimizing Programs Through the Use of Proof Plans
|
RP607
| 1992 Research Paper
| Bundy,A
|
| 'Semantic Procedure' is an Oxymoron
|
RP606
| 1992 Research Paper
| Bryson,JJ; Smaill,AD; Wiggins,G
|
| The Reactive Accompanist: Applying Subsumption Architecture to Software Design
|
RP605
| 1992 Research Paper
| Gent,I; Walsh,T
|
| The Enigma of Sat Hill-Climbing Procedures
|
RP604
| 1992 Research Paper
| Madden,P
|
| Recursive Program Optimization Through Inductive Synthesis Proof Transformation
|
RP603
| 1992 Research Paper
| Kraan,I; Basin,D; Bundy,A
|
| Logic Program Synthesis Via Proof Planning
|
RP602
| 1992 Research Paper
| Bundy,A
|
| Tutorial Notes: Reasoning About Logic Programs
|
RP601
| 1992 Research Paper
| Borges,D; Fisher,RB
|
| Computational Properties of Rotation Parametrizations
|
RP600
| 1992 Research Paper
| Bundy,A
|
| How to Solve it by Induction
|
RP599
| 1992 Research Paper
| Liu,W; Bundy,A
|
| The Combination of Different Pieces of Evidence Using Incidence Calculus
|
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
|
RP594
| 1992 Research Paper
| Agusti,J; Esteva,F; Garcia,P; Levy,J
|
| A Calculus of Refinements: Its Class of Models
|
RP593
| 1992 Research Paper
| Levy,J; Agusti,J; Mana,F
|
| Functional Lattices for Taxonomical Reasoning
|
RP592
| 1992 Research Paper
| Ireland,A
|
| The Use of Planning Critics in Mechanizing Inductive Proofs
|
RP591
| 1992 Research Paper
| Fitzgibbon,AW; Fisher,RB
|
| Practical Aspect-Graph Derivation Incorporating Feature Segmentation Performance
|
RP590
| 1992 Research Paper
| Chongstitvatana,P; Conkie,A
|
| Active Mobile Stereo Vision for Robotic Assembly
|
RP589
| 1992 Research Paper
| Cox,R
|
| Issues in Guided Exploratory Learning from Computer-Based Systems
|
RP588
| 1992 Research Paper
| Glasbey,SR
|
| 'The Same' in Situation Semantics and Drt
|
RP587
| 1992 Research Paper
| Bundy,A
|
| Clear Thinking About Artificial Intelligence
|
RP586
| 1992 Research Paper
| Sentance,S
|
| Analysing Misconceptions in the Domain of Second Language Learning
|
RP585
| 1992 Research Paper
| Beaven,J
|
| Shake-and-Bake Machine Translation
|
RP584
| 1992 Research Paper
| Reiter,E; Mellish,CS
|
| Using Classification to Generate Text
|
RP583
| 1992 Research Paper
| Reiter,E; Dale,R
|
| A Fast Algorithm for the Generation of Referring Expressions
|
RP582
| 1992 Research Paper
| Trucco,E; Fisher,RB
|
| Experiments in Curvature-Based Segmentation of Range Data
|
RP581
| 1992 Research Paper
| Logan,B; Corne,D; Smithers,T
|
| Enduring Support: on Defeasible Reasoning in Design Support Systems
|
RP580
| 1992 Research Paper
| Wu,X
|
| A Prolog-Based Representation for Integratng Knowledge Data
|
RP579
| 1992 Research Paper
| Wu,X
|
| Rule Schema + Rule Body: a 2-Level Representation Language
|
RP578
| 1992 Research Paper
| Wu,X
|
| Hcv: a Heuristic Covering Algorithm for Extension Matrix Approach
|
RP577
| 1992 Research Paper
| Bowles,A
|
| Trends in Applying Abstract Interpretation
|
RP575
| 1992 Research Paper
| Frank,I; Basin,D; Bundy,A
|
| An Adaptation of Proof-Planning to Declarer Play in Bridge
|
RP574
| 1992 Research Paper
| Trucco,E; Fisher,RB
|
| Computing Surface-Based Representations from Range Images
|
RP573
| 1992 Research Paper
| Balch,P
|
| A 3D Shape Attractor
|
RP572
| 1992 Research Paper
| Orr,M; Hallam,JC; Fisher,RB
|
| Fusion Through Interpretation
|
RP569
| 1992 Research Paper
| Reiter,E; Mellish,CS; Levine,J
|
| Automatic Generation of on-Line Documentation in the Idas Project
|
RP576
| 1991 Research Paper
| Brna,P; Caiger,A
|
| The Application of Cognitive Diagnosis to the Quantitative Analysis of Simple Electrical Circuits
|
RP571
| 1991 Research Paper
| Smithers,T; Tang,M; Tomes,N
|
| The Maintenance of Design History in Ai-Based Design
|
RP570
| 1991 Research Paper
| Tang,M; Smithers,T
|
| Object-Oriented Simulation of Behaviour in Design Support
|
RP568
| 1991 Research Paper
| Wu,X
|
| Ts: a Test-Plit Algorithm for Inductive Learning
|
RP567
| 1991 Research Paper
| Bundy,A; Stevens,A; van Harmelen,F
|
| Rippling: a Heuristic for Guiding Inductive Proofs
|
RP566
| 1991 Research Paper
| Glasbey,SR
|
| Distinguishing Between Events and Times: Some Evidence from the Semantics of "Then"
|
RP565
| 1991 Research Paper
| Floyd,C; Hodgkin,E; Smithers,T; Tang,M; Tomes,N; Buck,P; Clarke,B; Lloyd,G; Poulter,K
|
| Development of a Knowledge Based Design Support System
|
RP564
| 1991 Research Paper
| Ireland,A
|
| On Exploiting the Structure of Martin-Loef'S Theory of Types
|
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
|
RP561
| 1991 Research Paper
| Levine,J; Cawsey,A; Mellish,CS; Poynter,L; Reiter,E; Tyson,P; Walker,J
|
| Idas: Combining Hypertext and Natural Language Generation
|
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
|
RP558
| 1991 Research Paper
| Mellish,CS
|
| Using Specialisation to Reconstruct Two Mode Inference Systems
|
RP557
| 1991 Research Paper
| Lowe,H
|
| Synthesizing Hardware: Configuration Via Proof
|
RP556
| 1991 Research Paper
| Basin,D; Walsh,T
|
| Difference Matching
|
RP555
| 1991 Research Paper
| Basin,D; Constable,R
|
| Metalogical Frameworks
|
RP554
| 1991 Research Paper
| Fisher,RB
|
| Representation, Extraction and Recognition with Second-Order Topographic Surface Features
|
RP553
| 1991 Research Paper
| Naidu,D; Fisher,RB
|
| A Comparison of Algorithms for Sub-Pixel Peak Detection
|
RP552
| 1991 Research Paper
| Nehmzow,U; Smithers,T
|
| Using Motor Actions for Location Recognition
|
RP551
| 1991 Research Paper
| Hallam,B; Hallam,JC
|
| Tactile Sensing with a Steerable Whisker
|
RP550
| 1991 Research Paper
| Trucco,E
|
| On Shape-Preserving Boundary Conditions for Diffusion Smoothing
|
RP548
| 1991 Research Paper
| Reiter,E; Levine,J; Mellish,CS
|
| Tailoring Plans to Users with Different Levels of Expertise
|
RP547
| 1991 Research Paper
| Reiter,E
|
| A New Model of Lexical Choice for Nouns
|
RP546
| 1991 Research Paper
| Correa da Silva,FS
|
| Automated Reasoning About an Uncertain Domain
|
RP545
| 1991 Research Paper
| Brna,P; Howe,J
|
| Automated Diagnosis of Misconceptions About Electricity: what are the Prospects
|
RP544
| 1991 Research Paper
| Matthews,S; Smaill,AD; Basin,D
|
| Experience with Fso as a Framework Theory
|
RP543
| 1991 Research Paper
| Basin,D; Giunchiglia,F; Traverso,P
|
| Automating Meta-Theory Creation and System Extension
|
RP542
| 1991 Research Paper
| Orr,M; Fisher,RB; Hallam,JC
|
| Computing with Uncertainty: Intervals Versus Probabilities
|
RP541
| 1991 Research Paper
| Fisher,RB
|
| Recognition with Second-Order Topographic Surface Features
|
RP540
| 1991 Research Paper
| Black,A; van de Plassche,J; Williams,B
|
| Analysis of Unknown Words Through Morphological Decomposition
|
RP539
| 1991 Research Paper
| Tang,M; Smithers,T
|
| An Object-Oriented Simulation of Hydroelectric Power Systems
|
RP538
| 1991 Research Paper
| Smithers,T; Tang,M
|
| Towards Ai-Based Design
|
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
|
RP535
| 1991 Research Paper
| Basin,D; Howe,D
|
| Some Normalization Properties of Martin-Loef'S Type Theory, and Applications
|
RP534
| 1991 Research Paper
| Uschold,M
|
| The Use of Domain Information for Comprehension and Construction of Simulation Models
|
RP533
| 1991 Research Paper
| Basin,D
|
| Extracting Circuits from Constructive Proofs
|
RP532
| 1991 Research Paper
| Logan,B; Millington,K; Smithers,T
|
| Being Economical with the Truth: Assumption-Based Context Management in the Edinburgh Designer System
|
RP531
| 1991 Research Paper
| Ross,B
|
| Semantics-Based Partial Evaluation of Prolog Programs
|
RP530
| 1991 Research Paper
| Brna,P
|
| Teaching Prolog Techniques
|
RP529
| 1991 Research Paper
| Cameron-Jones,R
|
| Visual Interpretation of Lambertian Surface Deformation
|
RP528
| 1991 Research Paper
| Hodgkin,E; Buck,P; Lloyd,G; Poulter,K; Smithers,T; Tang,M; Tomes,N; Floyd,C
|
| The Castlemaine Project: Development of an Ai-Based Design Support System
|
RP527
| 1991 Research Paper
| Hallam,JC
|
| Plaing with Toy Cars: an Experiment in Real-Time Control
|
RP526
| 1991 Research Paper
| Hallam,JC
|
| Autonomous Robots: from Dream to Reality
|
RP525
| 1991 Research Paper
| Basin,D; Kaufmann,M
|
| The Boyeer-Moore Prover and Nuprl: an Experimental Comparison
|
RP524
| 1991 Research Paper
| Carletta,J
|
| Recovering from Plan Failure Using a Layered Architecture
|
RP523
| 1991 Research Paper
| Robertson,DS
|
| A Simple Prolog Techniques Editor for Novice Users
|
RP522
| 1991 Research Paper
| Ritchie,GD
|
| Learning from am
|
RP521
| 1991 Research Paper
| Carletta,J
|
| A State-Based Representation for Belief Modelling in Dialogue
|
RP520
| 1991 Research Paper
| Nehmzow,U; Smithers,T; Hallam,JC
|
| Location Recognition in a Mobile Robot Using Self-Organising Feature Maps
|
RP518
| 1991 Research Paper
| Barnett,R; Basin,D; Hesketh,J
|
| A Recursion Planning Analysis of Inductive Completion
|
RP517
| 1991 Research Paper
| Correa da Silva,FS; Bundy,A
|
| A Rational Reconstruction of Incidence Calculus
|
RP496
| 1991 Research Paper
| Ritchie,GD
|
| Languages Generated by Two-Level Morphological Rules
|
RP519
| 1990 Research Paper
| Trucco,E
|
| Automatic Acquisition of Volumetric Models from Slice Data
|
RP516
| 1990 Research Paper
| Giunchiglia,F; Walsh,T
|
| A Theory of Abstraction
|
RP515
| 1990 Research Paper
| Giunchiglia,F; Walsh,T
|
| Using Abstraction
|
RP514
| 1990 Research Paper
| Giunchiglia,F; Walsh,T
|
| Abstracting into Inconsistent Spaces (or, the "False Proof" Problem)
|
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
|
RP511
| 1990 Research Paper
| Smaill,AD; Wiggins,G
|
| Hierarchical Music Representation for Composition and Analysis
|
RP510
| 1990 Research Paper
| Ross,B; Smaill,AD
|
| An Algebraic Semantics of Prolog Program Termination
|
RP509
| 1990 Research Paper
| Lewin,I
|
| A Quantifier Scoping Algorithm without a Free Variable Constraint
|
RP508
| 1990 Research Paper
| Crocker,M
|
| Multiple Meta-Interpreters in a Logical Model of Sentence Processing
|
RP507
| 1990 Research Paper
| Bundy,A; van Harmelen,F; Horn,C; Smaill,AD
|
| The Oyster-Clam System
|
RP506
| 1990 Research Paper
| Bundy,A; Giunchiglia,F; Walsh,T
|
| Building Abstractions
|
RP505
| 1990 Research Paper
| Horn,C; Smaill,AD
|
| Theorem Proving and Program Synthesis with Oyster
|
RP503
| 1990 Research Paper
| Bernaras,A; Smithers,T
|
| On the Application of Software Engineering Techniques in Artificial Intelligence Research
|
RP502
| 1990 Research Paper
| Nehmzow,U; Smithers,T; Hallam,JC
|
| Steps Towards Intelligent Robots
|
RP501
| 1990 Research Paper
| Bundy,A; Smaill,AD; Wiggins,G
|
| The Synthesis of Logic Programs from Inductive Proofs
|
RP500
| 1990 Research Paper
| Smithers,T
|
| The Pretender'S New Clothes
|
RP499
| 1990 Research Paper
| Smithers,T; Troxell,W
|
| Design is Intelligent Behaviour, but what'S the Formalism
|
RP498
| 1990 Research Paper
| Bundy,A
|
| On the Nature of Mathematical Judgement: Reply to Penrose
|
RP497
| 1990 Research Paper
| Bundy,A
|
| Incidence Calculus
|
RP495
| 1990 Research Paper
| Fisher,RB
|
| Determining Back-Facing Curved Model Surfaces by Analysis at the Boundary
|
RP494
| 1990 Research Paper
| Logan,B; Millington,K; Smithers,T
|
| Assumption-Based Constext Management in the Edinburgh Designer System
|
RP493
| 1990 Research Paper
| Harris,M
|
| Attracting Similiar Shapes Towards Each Other
|
RP492
| 1990 Research Paper
| Mellish,CS; Poynter,L; Tyson,P; Walker,J; Levine,J
|
| The Intelligent Documentation Advisory System
|
RP491
| 1990 Research Paper
| Brna,P
|
| Promoting Creative Confrontations
|
RP490
| 1990 Research Paper
| Donnett,J; Smithers,T
|
| Lego Vehicles: a Technology for Studying Intelligent Systems
|
RP489
| 1990 Research Paper
| Nehmzow,U; Smithers,T
|
| Mapbuilding Using Self-Organising Networks in "Really Useful Robots"
|
RP488
| 1990 Research Paper
| Ross,B; Wilk,P
|
| A Semantic Approach to Proving Prolog Transformations Using Cut
|
RP487
| 1990 Research Paper
| Fisher,RB
|
| Extracting Second-Order Topographic Surface Features from Range Data
|
RP486
| 1990 Research Paper
| Brown,MA; Fisher,RB
|
| A Distributed Blackboard System for Vision Applications
|
RP485
| 1990 Research Paper
| Deacon,G
|
| Achieving Robotic Assembly by Sensing and Controlling Spatial Relationships
|
RP484
| 1990 Research Paper
| Logan,B; Newton,S
|
| Design by Decomposition: the Role of Expert Systems in Design Support
|
RP483
| 1990 Research Paper
| Beaven,J
|
| A Unification Based Treatment of Spanish Clitics
|
RP482
| 1990 Research Paper
| Moffat,D; Ritchie,GD
|
| Modal Queries About Partially-Ordered Plans
|
RP481
| 1990 Research Paper
| Fisher,RB
|
| Reducing Viewsphere Complexity
|
RP480
| 1990 Research Paper
| Carletta,J
|
| An Incremental Dialogue Planner that Monitors Execution
|
RP479
| 1990 Research Paper
| Carletta,J
|
| Modelling Variations in Goal-Directed Dialogue
|
RP478
| 1990 Research Paper
| Carletta,J
|
| An Architecture Facilitating Repair and Replanning in Interactive Explanations
|
RP477
| 1990 Research Paper
| Trucco,E
|
| Convex Volumentric Primitives from Slices
|
RP476
| 1990 Research Paper
| Hayes,GM; Fisher,RB
|
| Evaluation of a Real-Time Kinetic Depth System
|
RP475
| 1990 Research Paper
| Conkie,A; Chongstitvatana,P
|
| An Uncalibrated Stereo Visual Servo System
|
RP474
| 1990 Research Paper
| Cawsey,A; Raudaskoski,P
|
| Repair Work in Human-Computer Dialogue
|
RP473
| 1990 Research Paper
| Cawsey,A
|
| Understandable Explanations: the Fudge Discourse Generator
|
RP472
| 1990 Research Paper
| Brna,P; Bundy,A; Pain,HG
|
| A Framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs
|
RP471
| 1990 Research Paper
| Engdahl,E
|
| Argument Roles and Anaphora
|
RP470
| 1990 Research Paper
| Correa da Silva,FS; Bundy,A
|
| On Some Equivalence Relations Between Incidence Calculus and Demster-Schafer Theory of Evidence
|
RP469
| 1990 Research Paper
| Ross,B; Wilk,P
|
| An Algebraic Semantics of Sequential Prolog Control
|
RP468
| 1990 Research Paper
| Petropoulakis,L; Malcolm,CA
|
| Programming Autonomous Assembly Agents: Functionality and Robustness
|
RP467
| 1990 Research Paper
| Thompson,HS
|
| Chart Parsing for Loosely Coupled Parallel Systems
|
RP466
| 1990 Research Paper
| Chongstitvatana,P; Conkie,A
|
| Behaviour Based Assembly Experiments Using Vision Sensing
|
RP465
| 1990 Research Paper
| Thornton,C
|
| A Study of the Non-Smooth Concept Membership Function
|
RP464
| 1990 Research Paper
| Thornton,C
|
| Why Concept Learning is a Good Idea
|
RP463
| 1990 Research Paper
| Thornton,C
|
| The Complexity of Constructive Induction
|
RP461
| 1990 Research Paper
| Donnett,J; Smithers,T
|
| Neuronal Group Selection Theory: a in Robotics
|
RP460
| 1990 Research Paper
| Giunchiglia,F; Walsh,T
|
| Abstract Theorem Proving: Mapping Back
|
RP459
| 1990 Research Paper
| Bundy,A; van Harmelen,F; Smaill,AD
|
| Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs
|
RP458
| 1990 Research Paper
| Donnett,J; Smithers,T
|
| Behaviour-Based Control of a Two-Link Ballistic Arm
|
RP457
| 1990 Research Paper
| Crabtree,B; Courch,R; Moffat,D; Pirie,N; Pulman,S; Ritchie,GD; Tate,AB
|
| Interacting with an Intelligent Planning System Using English Sentences
|
RP455
| 1990 Research Paper
| Wiggins,G
|
| The Improvement of Prolog Program Efficiency by Compiling Control: a Proof-Theoretic View
|
RP454
| 1990 Research Paper
| Giunchiglia,F; Walsh,T
|
| The Use of Abstraction in Automatic Inference
|
RP504
| 1989 Research Paper
| Wiggins,G; Harris,M; Smaill,AD
|
| Representing Music for Analysis and Composition
|
RP462
| 1989 Research Paper
| Thompson,HS
|
| Speech Recognition, Artificial Intelligence and Translation: How Rosy a Future
|
RP456
| 1989 Research Paper
| Thornton,C
|
| The Emergence of Higher Levels of Description
|
RP453
| 1989 Research Paper
| Logan,B; Smithers,T
|
| The Role of Prototypes in Creative Design
|
RP452
| 1989 Research Paper
| Cai,L
|
| Approximating a Surface Up to Curvature Signs Using the Depth Data Alone
|
RP451
| 1989 Research Paper
| Fisher,RB; Orr,M
|
| Geometric Reasoning in a Parallel Network
|
RP450
| 1989 Research Paper
| Cai,L
|
| An Estimate of the Relationship Between Zero Thresholds of Gaussian Curvature and Mean Curvature
|
RP449
| 1989 Research Paper
| Trucco,E; Groppello,P; Burbello,F
|
| Experiments with Segment-Based Stereo Using Dynamic Programming
|
RP448
| 1989 Research Paper
| Bundy,A; Smaill,AD; Hesketh,J
|
| Turning Eureka Steps into Calculations in Automatic Program Synthesis
|
RP447
| 1989 Research Paper
| Malcolm,CA; Smithers,T; Hallam,JC
|
| An Emerging Paradigm in Robot Architecture
|
RP446
| 1989 Research Paper
| Bundy,A; Uschold,M
|
| The Use of Typed Lambada Calculus for Requirements Capture in the Domain of Ecological Modelling
|
RP445
| 1989 Research Paper
| Bundy,A
|
| A Science of Reasoning
|