| Book Review
|
RB747
| 1994 Book Review
| Kolodner,J
|
|
|
RB865
| 1994 Book Review
| Laske,O; Balaban,M; Ebcioglu,K
|
|
|
| Chapter in Edited Book
|
CB187
| 1994 Chapter in Edited Book
| Walsh,T
|
| Creative Proof Planning
|
CB203
| 1994 Chapter in Edited Book
| Trucco,E; Fisher,RB
|
| Preserving Shape at Boundaries in Diffusion Smoothing
|
CB636
| 1994 Chapter in Edited Book
| Mellish,CS
|
|
|
CB702
| 1994 Chapter in Edited Book
| Ritchie,GD
|
| Learning from AM
|
CB707
| 1994 Chapter in Edited Book
| Corne,D; Ross,PM; Fang,H
|
| Fast Practical Evolutionary Timetabling
|
CB708
| 1994 Chapter in Edited Book
| Ross,PM; Corne,D; Fang,H
|
| Improving Evolutionary Timetabling and Directed Mutation with Delta Evaluation
|
CB709
| 1994 Chapter in Edited Book
| Gathercole,C; Ross,PM
|
| Dynamic Training Subset Selection for Supervised Learning in Genetic Programming
|
CB714
| 1994 Chapter in Edited Book
| Oberlander,J; Cox,R; gardner,K
|
| Proof Styles and Multi-Modal Reasoning
|
CB719
| 1994 Chapter in Edited Book
| Hallam,JC
|
| Hybrid Problems Need Hybrid Solutions? Tracking and Controlling Toy Cars
|
CB740
| 1994 Chapter in Edited Book
| Calder,J
|
| Feature-Value Logics: Some Limits on the Role of Defaults
|
CB748
| 1994 Chapter in Edited Book
| Correa da Silva,FS; Robertson,DS; Hesketh,J
|
| Automated Reasoning with Uncertainties
|
CB754
| 1994 Chapter in Edited Book
| Trucco,E; Fisher,RB
|
| Preserving Shape at Boundaries in Diffusion Smoothing
|
| Discussion Paper
|
DP144
| 1994 Discussion Paper
| Fitzgibbon,AW
|
| Scale, Feedback and Reliability in Scene Interpretation, Thesis Proposal
|
DP145
| 1994 Discussion Paper
| Monroy-Borja,R
|
| Inductive Proof Plans for the Correction of Faulty Software Specifications, Thesis Proposal
|
DP146
| 1994 Discussion Paper
| Pilu,M
|
| Physics-Based Recovery of Geons from 2-D Intensity Images - PhD Thesis Proposal
|
DP147
| 1994 Discussion Paper
| Corley,S
|
| A Hierarchical, Chunk-Based Model of the Hspm - phd Thesis Proposal
|
DP148
| 1994 Discussion Paper
| Gathercole,C
|
| Investigating Autocatalysis in Genetic Programming - phd Thesis Proposal
|
DP149
| 1994 Discussion Paper
| Filloy-Garcia,E
|
| High Order Organisation in Genetic Algorithms - phd Thesis Proposal
|
DP150
| 1994 Discussion Paper
| Good,J
|
| Novice Use of Abstract Visual Representations of Recursion - phd Thesis Proposal
|
DP151
| 1994 Discussion Paper
| Kado,K
|
| An Investigation of Gas for Layout Problems - Mphil Thesis Proposal
|
DP152
| 1994 Discussion Paper
| Chesters,W
|
| Robot Environment Modelling with Competing Experts - phd Thesis Proposal
|
DP153
| 1994 Discussion Paper
| Westhead,M
|
| Rigorous Design and Analysis of Behaviour Based Controllers - phd Thesis Proposal
|
DP154
| 1994 Discussion Paper
| Beard,S
|
| Extracting Morphological Structures from Microscope Images of Nematodes Suitable for Classification - Thesis Proposal
|
| Edited Book
|
EB746
| 1994 Edited Book
| Bundy,A
|
| Automated Deduction - Cade-12, Lecture Notes in AI No. 814
|
EB753
| 1994 Edited Book
| Fisher,RB
|
| Design and Application of Curves and Surfaces
|
EB866
| 1994 Edited Book
| Smith,M; Mellish,CS; Smaill,AD
|
| Music Education: An Artificial Intelligence Perspective, Edinburgh 1993
|
EB871
| 1994 Edited Book
| Boden,M; Bundy,A; Needham,R
|
| AI and the Mind: Non Breakthroughs or Dead-Ends?
|
| Journal Paper
|
JP1206
| 1994 Journal Paper
| Hallam,B; Halperin,J; Hallam,JC
|
| An Ethological Model for Implementation in Mobile Robots
|
JP685
| 1994 Journal Paper
| Gent,I
|
| Proof Systems for Fourteen Logics of Counterfactuals
|
JP699
| 1994 Journal Paper
| Knott,A; Dale,R
|
| Using Linguistic Phenomena to Motivate a Set of Coherence Relations
|
JP701
| 1994 Journal Paper
| Ritchie,GD
|
| Commentary on Kaplan and Ray
|
JP720
| 1994 Journal Paper
| Hallam,JC; Malcolm,CA
|
| Behaviour: Perception, Action and Intelligence - the View from Situated Robotics
|
JP721
| 1994 Journal Paper
| Hallam,B; Halperin,J; Hallam,JC
|
| An Ethological Model for Implementation in Mobile Robots
|
JP736
| 1994 Journal Paper
| Bull,S
|
| Student Modelling for Second Language Acquisition
|
JP737
| 1994 Journal Paper
| Bull,S
|
| Learning Languages: Implications for Student Modelling in ICALL
|
JP739
| 1994 Journal Paper
| Bowles,A; Robertson,DS; Vasconcelos,W; Vargas-Vera,M; Bental,D
|
| Applying Prolog Programming Techniques
|
JP743
| 1994 Journal Paper
| Bundy,A
|
| What is the Difference between Ral Creativity and Mere Novelty
|
JP744
| 1994 Journal Paper
| MacQueen,H; Bundy,A
|
| the New Software Copyright Law
|
JP745
| 1994 Journal Paper
| Liu,W; Bundy,A
|
| a Comprehensive Comparison between Generalized Incidence Calculus and the Dempster-Shafer Theory of Evidence
|
JP752
| 1994 Journal Paper
| Robertson,DS; Agusti,J; Hesketh,J; Levy,J
|
| Expressing Program Requirements Using Refinement Lattices
|
JP761
| 1994 Journal Paper
| Ross,PM; Corne,D
|
| Applications of Genetic Algorithms
|
JP870
| 1994 Journal Paper
| Bundy,A
|
| a Subsumption Architecture for Theorem Proving
|
| MSc Thesis
|
MT94101
| 1994 MSc Thesis
| Anagnostopoulou,C
|
| A General-Purpose Computational Procedure for Music Analysis
|
MT94102
| 1994 MSc Thesis
| Anthoni,T
|
| Recognition and Location of Ugaritic Character Stylus Strokes from Clay Tablet Images
|
MT94103
| 1994 MSc Thesis
| Babeanu,A
|
| Steerable Ears for Robotic Cat
|
MT94104
| 1994 MSc Thesis
| Benaki,E
|
| Emergency! Intelligent Data Retrieval for Emergency Incident Support
|
MT94105
| 1994 MSc Thesis
| Brown,P
|
| Recognition of Artifact in Computerised Cot Monitoring
|
MT94106
| 1994 MSc Thesis
| Castro,A
|
| Tbpg - a Techniques-Based Program Generator
|
MT94107
| 1994 MSc Thesis
| Cheetham,N
|
| Modelling Foraging Behaviour in Formica Aquilonia
|
MT94108
| 1994 MSc Thesis
| Chen,M
|
| Using Co-Evolution Gas to Find Robust Dodgem Players
|
MT94109
| 1994 MSc Thesis
| Chen-Burger,J
|
| Kbst: a Support Tool for Business Modeling in Bsdm
|
MT94110
| 1994 MSc Thesis
| Dennis,L
|
| An Exploration of Semantic Resolution
|
MT94111
| 1994 MSc Thesis
| Mota,Ed
|
| Temporal Representation of Ecological Knowledge
|
MT94112
| 1994 MSc Thesis
| Eskes,M
|
| An Evolutionary Algorithm for the Frequency Assignment Problems
|
MT94113
| 1994 MSc Thesis
| Fontana,F
|
| The Cat'S Eyes: a Vision System Based on Linear Ccd Cameras
|
MT94114
| 1994 MSc Thesis
| Fussey,R
|
| The Baldwin Effect
|
MT94115
| 1994 MSc Thesis
| Gingell,S
|
| Extension of Lau'S 1992 Simulation of Marr'S Theory of the Neocortex
|
MT94116
| 1994 MSc Thesis
| Hebenstreit,J
|
| A New Model Matcher for the Imagine Ii Object Recognition System
|
MT94117
| 1994 MSc Thesis
| Hely,T
|
| The Sparse Distributed Memory : a Neurobiologically Plausible Memory Model ?
|
MT94118
| 1994 MSc Thesis
| Jennens,J
|
| Quasi-Invariant Iconic Object Recognition
|
MT94120
| 1994 MSc Thesis
| Kati,S
|
| A Graphical Knowledge-Based Decision Support Tool
|
MT94121
| 1994 MSc Thesis
| Keenan,A
|
| Detection of Data Trends in Computerised Cot Monitoring
|
MT94122
| 1994 MSc Thesis
| Khoo,S
|
| The Interactive Vehicle Scheduling System
|
MT94123
| 1994 MSc Thesis
| Ku,K
|
| Analysis of Island Ga
|
MT94124
| 1994 MSc Thesis
| Lee,W
|
| Navigation Using Smart Ultrasonic Ranging Sensors
|
MT94125
| 1994 MSc Thesis
| Lewington,S
|
| A Debugging Environment for Cpl
|
MT94126
| 1994 MSc Thesis
| Li,J
|
| Vehicle Scheduling Using Constraint Satisfaction Problem Solving Techniques
|
MT94127
| 1994 MSc Thesis
| Marin,HT
|
| A Comparison of Ga-Based Methods and Graph-Colouring Methods for Solving Timetabling Problems.
|
MT94128
| 1994 MSc Thesis
| Parkes,A
|
| Generator Induction for Relational Proofs, Logic Program Synthesis and Reasoning About Database Systems
|
MT94129
| 1994 MSc Thesis
| Pildain-Legorburu,U
|
| Supporting Choice in Medical Diagnosis
|
MT94130
| 1994 MSc Thesis
| Puleston,C
|
| Automatic Graph Drawing by Heuristic Search
|
MT94131
| 1994 MSc Thesis
| Reeve,R
|
| Control of Walking by Central Pattern Generators
|
MT94132
| 1994 MSc Thesis
| Robbie,C
|
| Implementing a Generative Grammar for Music
|
MT94133
| 1994 MSc Thesis
| Saksida,L
|
| Instrumental Conditioning of a Mobile Robot: the Use of the Halperin Neuro-Connector Model for Robot Control
|
MT94134
| 1994 MSc Thesis
| Schurig,A
|
| Rudy - a Tool for Defining and Evaluating Qualitative Combining Functions in a Belief Network
|
MT94135
| 1994 MSc Thesis
| Scott,J
|
| Madlab; Masking and Multiple Bug Diagnosis
|
MT94136
| 1994 MSc Thesis
| Silva,M
|
| Firing Frequency: a Location Cue in Robot and Cricket Phonotaxis
|
MT94137
| 1994 MSc Thesis
| Spratling,MW
|
| Learning the Mapping Between Sensor and Motor Spaces to Produce Hand-Eye Coordination
|
MT94138
| 1994 MSc Thesis
| Steuber,V
|
| Theories of Memory in the Cerebellar Cortex
|
MT94139
| 1994 MSc Thesis
| Tan,Y
|
| Diagnosing Errors in Quantitative Electrical Circuit Problems
|
MT94141
| 1994 MSc Thesis
| Theodorou,T
|
| Neo-Dat an Expert System to Support the Deisgners of Clinical Trials.
|
MT94142
| 1994 MSc Thesis
| Turner,A
|
| Genetic Algorithms and Multiple Distinct Solutions
|
MT94143
| 1994 MSc Thesis
| Wilcox,M
|
| Dispatch Scheduling Using Look-Ahead Bottleneck Analysis
|
MT94144
| 1994 MSc Thesis
| Wolfart,E
|
| Position Refinement for a Navigating Robot Using Motion Information Based on Honeybee Localisation Strategies
|
MT94145
| 1994 MSc Thesis
| Wright,M
|
| Incremental Semantic Interpretation in a Parallel, Modulas Environment
|
| Paper in Conference Proceedings
|
PP227
| 1994 Paper in Conference Proceedings
| Correa da Silva,FS; Robertson,DS; Hesketh,J
|
| Automated Reasoning with Uncertainties
|
PP678
| 1994 Paper in Conference Proceedings
| Trucco,E; Fisher,RB
|
| Acquisition of Consistent Range Data Using Local Calibration
|
PP697
| 1994 Paper in Conference Proceedings
| Deacon,G; Malcolm,CA
|
| a Robot System Designed for Task-Level Assembly
|
PP698
| 1994 Paper in Conference Proceedings
| Wright,M; Cipolla,R; Giblin,P
|
| Skeletonisation Using and Extended Eucidean Distance Transform
|
PP700
| 1994 Paper in Conference Proceedings
| Binsted,K; Ritchie,GD
|
| An Implemented Model of Punning Riddles
|
PP703
| 1994 Paper in Conference Proceedings
| Yang,S; Robertson,DS; Lee,J
|
| Use of Case-Based Reasoning in the Domain of Building Regulations
|
PP704
| 1994 Paper in Conference Proceedings
| Yang,S; Robertson,DS
|
| a Case-Based Reasoning System for Regulatory Information
|
PP705
| 1994 Paper in Conference Proceedings
| Yeh,C; Mellish,CS
|
| An Empirical Study on the Generation of Zero Anaphors in Chinese
|
PP706
| 1994 Paper in Conference Proceedings
| Levine,J; Mellish,CS
|
| CORECT: Combining CSCW with Natural Language Generation for Collaborative Requirements Capture
|
PP710
| 1994 Paper in Conference Proceedings
| Corne,D; Ross,PM; Fang,A
|
| Evolutionary Timetabling: Practice, Prospects and Work in Progress
|
PP711
| 1994 Paper in Conference Proceedings
| Ross,PM; Corne,D; Fang,F
|
| Genetic Algorithms for Timetabling and Scheduling Problems
|
PP712
| 1994 Paper in Conference Proceedings
| Fang,H; Ross,PM; Corne,D
|
| a Promising Hybrid/GA Approach for Open-Shop Scheduling Problems
|
PP715
| 1994 Paper in Conference Proceedings
| Cox,R; gardner,K; Oberlander,J
|
| Graphical Effects in Learning Logic: Reasoning Representation and Individual Differences
|
PP716
| 1994 Paper in Conference Proceedings
| gardner,K; Gurr,C; Oberlander,J; Cox,R
|
| the Cognitive Properties of Graphical and Algebraic Representations
|
PP717
| 1994 Paper in Conference Proceedings
| gardner,K; Cox,R
|
| Internal and External Representations in Teaching Logic
|
PP718
| 1994 Paper in Conference Proceedings
| Monroy-Borja,R; Bundy,A; Ireland,A
|
| Proof Plans for the Correction of False Conjectures
|
PP722
| 1994 Paper in Conference Proceedings
| Good,J; Brna,P; Pain,HG
|
| Prolog Unification: Diverse Teaching Strategies for Novices
|
PP723
| 1994 Paper in Conference Proceedings
| Chesters,W; Hayes,GM
|
| Connectionist Environment Modelling in a Real Robot
|
PP724
| 1994 Paper in Conference Proceedings
| Perkins,SJ; Hayes,GM
|
| Real Time Optical Flow Based Range Sensing in Mobile Robots
|
PP725
| 1994 Paper in Conference Proceedings
| Al-Jabri,S; Mellish,CS
|
| Generating Arabic Words from Semantic Descriptions
|
PP726
| 1994 Paper in Conference Proceedings
| Funk,P; Robertson,DS
|
| Case-Based Selection of Requirements Specification for Telecommunication Systems
|
PP727
| 1994 Paper in Conference Proceedings
| Funk,D; Robertson,DS
|
| Requirements Specification of Telecommunication Services Assisted by Case-Based Reasoning
|
PP728
| 1994 Paper in Conference Proceedings
| Caglioti,V; Mainardi,F; Pilu,M; Sorrenti,D
|
| Improving Pose Estimation by Using Object, Camera and Image Uncertainty
|
PP729
| 1994 Paper in Conference Proceedings
| Pryor,L; Collins,G
|
| Opportunities: a Unifying Framework for Planning and Execution
|
PP730
| 1994 Paper in Conference Proceedings
| Park,N; Robertson,DS; gardner,K
|
| Reasoning with Limited Unification in a Connectionist Rule-Based System
|
PP731
| 1994 Paper in Conference Proceedings
| Park,N; Robertson,DS; gardner,K
|
| from Dynamic Bindings to Further Symbolic Knowledge Representation Using Synchronous Action
|
PP732
| 1994 Paper in Conference Proceedings
| Vasconcelos,W
|
| Estracting Prolog Programming Techniques
|
PP733
| 1994 Paper in Conference Proceedings
| Bull,S; Pain,HG; Brna,P
|
| Student Modelling beyond Domain Knowledge
|
PP734
| 1994 Paper in Conference Proceedings
| Bull,S; Musson,T
|
| Goal-Oriented Software: When the Development Process is Different
|
PP735
| 1994 Paper in Conference Proceedings
| Webb,B
|
| Robotic Experiments in Cricket Phonotaxis
|
PP738
| 1994 Paper in Conference Proceedings
| Ishizaki,M
|
| Rational Agents in Task-Oriented Dialogues
|
PP742
| 1994 Paper in Conference Proceedings
| Yoshida,T; Green,I; Walsh,T; Basin,D; Bundy,A
|
| Coloured Rippling: An Extension of a Theorem Proving Heuristic
|
PP749
| 1994 Paper in Conference Proceedings
| Robertson,DS; Hesketh,J
|
| Making Specification Design More Accountable
|
PP750
| 1994 Paper in Conference Proceedings
| Vargas-Vera,M; Robertson,DS
|
| An Environment for Building Programs Based on Knowledge of their Construction
|
PP751
| 1994 Paper in Conference Proceedings
| Robertson,DS; Park,N; Agusti,J
|
| Layered Design of KBS from Specification to Hardware
|
PP755
| 1994 Paper in Conference Proceedings
| Trucco,E; Fisher,RB; Fitzgibbon,AW
|
| Direct Calibration and Data Consistency in 3D Laser Scanning
|
PP756
| 1994 Paper in Conference Proceedings
| Fitzgibbon,AW; Fisher,RB
|
| Lack of Fit Detection Using the Run-Distribution Test
|
PP757
| 1994 Paper in Conference Proceedings
| Fitzgibbon,AW; Bispo,EM; Fisher,RB; Trucco,E
|
| Automatic Acquisition of CAD Models from Multiple Range View
|
PP758
| 1994 Paper in Conference Proceedings
| Borges,G; Fisher,RB
|
| a Radial Basis Function Neural Network for Parts Identification of these Divisional Shapes
|
PP759
| 1994 Paper in Conference Proceedings
| Fitzgibbon,AW; Fisher,RB
|
| Lack-of-Fit Detection Using the Run-Distribution Test
|
PP760
| 1994 Paper in Conference Proceedings
| Fisher,RB
|
| Performance Comparison of Ten Variations on the Interpretation Tree Matching Algorithm
|
PP861
| 1994 Paper in Conference Proceedings
| Smaill,AD; Wiggins,G; Miranda,Y
|
| Music Representation - Between the Musician and the Computer
|
PP862
| 1994 Paper in Conference Proceedings
| Richards,B; Kraan,I; Smaill,AD; Wiggins,G
|
| Mollusc: a General Proof Development Shell for Sequent Based Logics
|
PP863
| 1994 Paper in Conference Proceedings
| Lombart,V; Wiggins,G; Deville,Y
|
| Guiding Synthesis Proofs
|
PP864
| 1994 Paper in Conference Proceedings
| Wiggins,G
|
| Improving the Whelk System: a Type-Theoretic Reconstruction
|
PP867
| 1994 Paper in Conference Proceedings
| Negere,S; Smaill,AD
|
| Guiding Proof Search in Logical Frameworks with Rippling
|
PP868
| 1994 Paper in Conference Proceedings
| Westhead,M; Smaill,AD
|
| Automatic Characterisation of Musical Style
|
PP869
| 1994 Paper in Conference Proceedings
| Hayes,GM; Demiris,J
|
| a Robot Controller Using Learning by Imitation
|
PP872
| 1994 Paper in Conference Proceedings
| Hanby,V; Dil,A
|
| Error Bounds in System Simulation Produced by Discretization of System and Boundary Variables
|
| PhD Thesis
|
PT9410
| 1994 PhD Thesis
| Fang,H
|
| Genetic Algorithms in Timetabling and Scheduling
|
PT9415
| 1994 PhD Thesis
| Guest,E
|
| Automatic Reconstruction from Serial Sections
|
PT9425
| 1994 PhD Thesis
| Kraan,I
|
| Proof Planning for Logic Program Sythesis
|
PT9430
| 1994 PhD Thesis
| Nakata,K
|
| A Causal Reasoning Approach to Behaviour-Oriented Design
|
| Research Paper
|
RP673
| 1994 Research Paper
| Chesters,W; Hayes,GM
|
| Connectionist Environment Modelling in a Real Robot
|
RP674
| 1994 Research Paper
| Levine,J; Mellish,CS
|
| Corect: Combining Cscw with Natural Language Generation for Collaborative Requirements Capture
|
RP675
| 1994 Research Paper
| Perkins,SJ; Hayes,GM
|
| Real Time Optical Flow Based Range Sensing on Mobile Robots
|
RP676
| 1994 Research Paper
| Hayes,GM; Demiris,J
|
| A Robot Controller Using Learning by Imitation
|
RP679
| 1994 Research Paper
| Gent,I; Walsh,T
|
| The Sat Phase Transition
|
RP680
| 1994 Research Paper
| Gent,I; Walsh,T
|
| The Hardest Random Sat Problems
|
RP681
| 1994 Research Paper
| Monroy-Borja,R; Bundy,A; Ireland,A
|
| Proof Plans for the Correction of False Conjectures
|
RP682
| 1994 Research Paper
| Corne,D; Smithers,T; Ross,PM
|
| Solving Design Problems by Computational Exploration
|
RP683
| 1994 Research Paper
| Smart,WD; Hallam,JC
|
| Location Recognition with Self-Ordering Networks
|
RP684
| 1994 Research Paper
| Fisher,RB
|
| Performance Comparison of Ten Variations on the Interpretation-Tree Matching Algorithm
|
RP685
| 1994 Research Paper
| Fitzgibbon,AW; Fisher,RB
|
| Lack-of-Fit Detection Using the Run-Distribution Test
|
RP686A
| 1994 Research Paper
| Cox,R; Brna,P
|
| Supporting the Use of External Representations in Problem Solving: the Need for Flexible Learning Environments
|
RP687
| 1994 Research Paper
| Deacon,G; Malcolm,CA
|
| A Robot System Designed for Task-Level Assembly
|
RP688
| 1994 Research Paper
| Binsted,K; Ritchie,GD
|
| A Symbolic Description of Punning Riddles and Its Computer Implementation
|
RP689
| 1994 Research Paper
| Fitzgibbon,AW; Bispo,EM; Fisher,RB; Trucco,E
|
| Automatic Acquisition of Cad Models from Multiple Range Views
|
RP690
| 1994 Research Paper
| Binsted,K; Ritchie,GD
|
| An Implemented Model of Punning Riddles
|
RP691
| 1994 Research Paper
| Kick,A; Walker,AV; Fisher,RB
|
| A Dynamic Model for Autonomous Vehicle Navigation
|
RP692
| 1994 Research Paper
| Hayes,GM; Demiris,J
|
| Robotic Learning by Imitation
|
RP693
| 1994 Research Paper
| Trucco,E; Fisher,RB; Fitzgibbon,AW
|
| Direct Calibration and Data Consistency in 3-D Laser Scanning
|
RP694
| 1994 Research Paper
| Hallam,B; Hallam,JC; Hayes,GM
|
| A Dynamic Net for Robot Control
|
RP695
| 1994 Research Paper
| Hallam,B; Halperin,J; Hallam,JC
|
| An Ethological Model for Implementation in Mobile Robots
|
RP696
| 1994 Research Paper
| Yang,S; Robertson,DS; Lee,J
|
| Use of Case-Based Reasoning in the Domain of Building Regulations
|
RP697
| 1994 Research Paper
| Yeh,C; Mellish,CS
|
| An Empirical Study on the Generation of Zero Anaphors in Chinese
|
RP698
| 1994 Research Paper
| Funk,P; Robertson,DS
|
| Case-Based Selection of Requirements Specifications for Telecommunication Systems
|
RP699
| 1994 Research Paper
| Fang,H; Ross,PM; Corne,D
|
| A Promising Hybrid Ga/Heuristic Approach for Open Shop Scheduling Problems
|
RP700
| 1994 Research Paper
| Bispo,EM; Fisher,RB
|
| Inspection of Free-Form Surfaces Using Dense Range Data
|
RP701
| 1994 Research Paper
| Haggith,MC
|
| A Meta-Level Approach to Exploration of Multiple Knowledge Bases
|
RP702
| 1994 Research Paper
| Gent,I
|
| The Satisfiability Constraint Gap
|
RP703
| 1994 Research Paper
| Bull,S
|
| Student Modelling for Second Language Acquisition
|
RP704
| 1994 Research Paper
| Bull,S
|
| Learning Languages: Implications for Student Modelling in Icall
|
RP705
| 1994 Research Paper
| Bowles,A; Robertson,DS
|
| A Case-Based Reasoning Approach to Supporting Novice Programmers
|
RP706
| 1994 Research Paper
| Fitzgibbon,AW; Fisher,RB
|
| Invariant Fitting of Arbitrary Single-Extremum Surfaces
|
RP707
| 1994 Research Paper
| Ross,PM; Corne,D; Fang,H
|
| Improving Evolutionary Timetabling with Delta Evaluation and Directed Mutation
|
RP708
| 1994 Research Paper
| Corne,D; Ross,PM; Fang,H
|
| Fast Practical Evolutionary Timetabling
|
RP709
| 1994 Research Paper
| Androutsopoulos,I; Ritchie,GD; Thanisch,P
|
| Natural Language Interfaces to Databases - an Introduction
|
RP710
| 1994 Research Paper
| Fisher,RB
|
| Is Computer Vision Still Ai
|
RP711
| 1994 Research Paper
| Bull,S; Musson,T
|
| Incorporating Learning Issues into Computer Assisted Education
|
RP712
| 1994 Research Paper
| Bull,S; Musson,T
|
| Goal-Oriented Software: when the Development Process is Different...
|
RP713
| 1994 Research Paper
| Bull,S; Pain,HG; Brna,P
|
| Student Modelling Beyond Domain Knowledge
|
RP714
| 1994 Research Paper
| Gent,I; Walsh,T
|
| How not to do it
|
RP715
| 1994 Research Paper
| Vasconcelos,W
|
| Extracting Prolog Programming Techniques
|
RP716
| 1994 Research Paper
| Ireland,A; Bundy,A
|
| Productive Use of Failure in Inductive Proof
|
RP717
| 1994 Research Paper
| Fisher,RB
|
| Best-First and Ten Other Variations of the Interpretation-Tree Model Matching Algorithm
|
RP718
| 1994 Research Paper
| Vargas-Vera,M; Robertson,DS
|
| An Environment for Building Prolog Programs Based on Knowledge About Their Construction
|
RP719
| 1994 Research Paper
| Trucco,E; Fisher,RB; Fitzgibbon,AW; Naidu,D
|
| Calibration, Data Consistency and Model Acquisition with a 3-D Laser Striper
|
RP720
| 1994 Research Paper
| Bispo,EM; Fisher,RB
|
| Free-Form Surface Matching for Surface Inspection
|
RP721
| 1994 Research Paper
| Gent,I; Walsh,T
|
| Unsatisfied Variables in Local Search
|
RP722
| 1994 Research Paper
| Hasselbring,W; Fisher,RB
|
| Investigating Parallel Interpretation-Tree Model Matching Algorithms with Proset-Linda
|
RP723
| 1994 Research Paper
| Richards,B; Kraan,I; Smaill,AD; Wiggins,A
|
| Mollusc a General Proof-Development Shell for Sequent-Based Logics
|
RP724
| 1994 Research Paper
| Gent,I; Walsh,T
|
| Computational Phase Transitions in Real Problems
|
RP725
| 1994 Research Paper
| Lombart,V; Deville,Y
|
| Rippling on Relational Structures
|
RP726
| 1994 Research Paper
| Reeve,R; Hallam,JC
|
| Control of Walking by Central Pattern Generators
|
RP727
| 1994 Research Paper
| Horn,C; Smaill,AD
|
| From Meta-Level Tactics to Object-Level Programs
|
RP728
| 1994 Research Paper
| Borges,D; Orr,M; Fisher,RB
|
| A Radial Basis Function Neural Network for Parts Identification of Three Dimensional Shapes
|
RP733
| 1994 Research Paper
| Ahs,T; Wiggins,G
|
| Rippling with Relational Definitions
|
| Teaching Paper
|
TE10
| 1994 Teaching Paper
| Mellish,CS
|
| Machine Learning (Ai3/4)
|
TE12
| 1994 Teaching Paper
| Pryor,L
|
| Quick Prolog
|
TE13
| 1994 Teaching Paper
| Mellish,CS; Whitelock,P; Ritchie,GD
|
| Techniques in Natural Language Processing 1
|
TE14
| 1994 Teaching Paper
| Ross,PM
|
| Ai3 Knowledge Representation and Inference 1 (Update October 94)
|
TE16
| 1994 Teaching Paper
| Haggith,MC
|
| Ai2 Programming Techniques, Part i: Prolog
|
TE9
| 1994 Teaching Paper
| Ritchie,GD
|
| Introduction to Natural Language Processing (msc)
|
| Technical Paper
|
TP27
| 1994 Technical Paper
| Vasconcelos,W
|
| A Method of Extracting Prolog Programming Techniques
|
TP28
| 1994 Technical Paper
| Pettinaro,GC; Malcolm,CA
|
| Electric Gripper Development
|
TP29
| 1994 Technical Paper
| Castro,A
|
| Tbpg - a Techniques-Based Program Generator
|
TP30
| 1994 Technical Paper
| Lee,W
|
| Navigation Using Smart Ultrasonic Ranging Sensors
|
TP31
| 1994 Technical Paper
| Mota,Ed
|
| Temporal Representation of Ecological Knowledge
|
| Working Paper
|
WP254
| 1994 Working Paper
| Monroy-Borja,R
|
| Abduction Mechanisms
|
WP255
| 1994 Working Paper
| Negrete-Yankelevich,S
|
| Some Examples of Proof Planning in Logical Frameworks
|
WP256
| 1994 Working Paper
| Carrera-Sanchez,R
|
| The Mode Analysis for Logic Programs in Toads
|