| Chapter in Edited Book
|
| CB178
| 1993 Chapter in Edited Book
| Thompson,HS
|
| Automatic Evaluation of Translation Quality: Outline of Methodology and Report on Pilot Experiment
|
| CB179
| 1993 Chapter in Edited Book
| Thompson,HS
|
| Parallel Parsers for Context Free Grammars - Two Actual Implementations Compared
|
| CB205
| 1993 Chapter in Edited Book
| Fisher,RB; Trucco,E; Brown,MA; Hume,A
|
| MIMD and SIMD Parallel Range Data Segmentation
|
| CB617
| 1993 Chapter in Edited Book
| Lui,W; Bundy,A; Robertson,DS
|
| Recovering Incidence Functions
|
| CB618
| 1993 Chapter in Edited Book
| Lui,W; Bundy,A; Robertson,DS
|
| On the Relations Between Incidence Calculus and AIMS
|
| CB675
| 1993 Chapter in Edited Book
| Levine,J
|
| Combining Plan-Based and Feature-Based Algorithms for the Generation of Cooperative Responses
|
| CB680
| 1993 Chapter in Edited Book
| Trucco,E; Wallace,A
|
| Using Viewer-Centred Representations in Machine Vision
|
| Discussion Paper
|
| DP128
| 1993 Discussion Paper
| Haggith,MC
|
| Towards a Formal Analysis of Disagreement - Thesis Proposal
|
| DP129
| 1993 Discussion Paper
| Bispo,EM
|
| Inspection of Mechanical Parts Using Range Data (Objectives, Expectations, Hopes, Dreams and Illusions) - Thesis Proposal
|
| DP130
| 1993 Discussion Paper
| Walker,AV
|
| Learned Sensory-Motor Maps for Qualitative Navigation - Thesis Proposal
|
| DP131
| 1993 Discussion Paper
| Pettinaro,GC
|
| The Use of Behavioural Modules to Simplify the Programming of Assembly Robots - Thesis Proposal
|
| DP132
| 1993 Discussion Paper
| Carter,E
|
| Dynamic Hyperstructures - Thesis Proposal
|
| DP133
| 1993 Discussion Paper
| Androutsopoulos,I
|
| Natural Language Query Interfaces to Temporal Databases - Thesis Proposal
|
| DP134
| 1993 Discussion Paper
| Wyatt,J
|
| Learning and Behaviour - Thesis Proposal
|
| DP135
| 1993 Discussion Paper
| Aguilar-Chongtay,RM
|
| Model Based System for Automated Analysis of Biomedical Images - Thesis Proposal
|
| DP137
| 1993 Discussion Paper
| Crowe,J
|
| Event Recognition in Information Extraction - Thesis Proposal
|
| DP138
| 1993 Discussion Paper
| Wren,DO
|
| Robot Grasping of Unknown Objects with Multiple Soft Fingers - Thesis Proposal
|
| DP139
| 1993 Discussion Paper
| Yeh,C
|
| Generation of Chinese Anaphoric Expressions - Thesis Proposal
|
| DP140
| 1993 Discussion Paper
| Nicolov,N
|
| Head Selection in Nlg - Thesis Proposal
|
| DP141
| 1993 Discussion Paper
| Aziz,N
|
| Translating Algebraic Problems: Using Belief Systems in Modelling and Mending Students' Misconceptions - Thesis Proposal
|
| DP142
| 1993 Discussion Paper
| ,
|
| Proof Plans for Combinational Hardware Verification - Thesis Proposal
|
| DP143
| 1993 Discussion Paper
| Beck,H
|
| Using Dynamic Capacity Analysis to Guide the Construction of Highly Constrained Job-Shop Schedules, Thesis Proposal
|
| DP157
| 1993 Discussion Paper
| Al Jabri,S
|
| Generating Arabic Words from Semantic Descriptions
|
| Journal Paper
|
| JP125
| 1993 Journal Paper
| Brna,P
|
| Teaching Prolog Techniques
|
| JP128
| 1993 Journal Paper
| Bundy,A; Stevens,A; van Harmelen,F; Ireland,A; Smaill,AD
|
| Rippling: a Heuristic for Guiding Inductive Proofs
|
| JP142
| 1993 Journal Paper
| Giunchiglia,F; Walsh,T
|
| the Inevitability of Inconsistent Abstract Spaces
|
| JP181
| 1993 Journal Paper
| Trucco,E
|
| Part Segmentation of Slice Data Using Regularity
|
| JP193
| 1993 Journal Paper
| Wu,X
|
| Inductive Learning: Algorithms and Frontiers
|
| JP322
| 1993 Journal Paper
| Smaill,AD; Wiggins,G; Harris,M
|
| Hierarchical Music Representation for Analysis and Composition
|
| JP323
| 1993 Journal Paper
| Smaill,AD; Wiggins,G; Miranda,E; Harris,M
|
| a Framework for the Evaluation of Music Representation Systems
|
| JP328
| 1993 Journal Paper
| Fisher,RB; Trucco,E; Fitzgibbon,AW
|
| Acquisition and Interpretation of 3-D Data in Machine Vision
|
| JP335
| 1993 Journal Paper
| Bundy,A; Stevens,A; van Harmelen,F; Ireland,A; Smaill,AD
|
| Rippling: a Heuristic for Guiding Inductive Proofs
|
| JP623
| 1993 Journal Paper
| Fisher,RB; Trucco,E; Fitzgibbon,AW; Orr,M; Waite,M
|
| Imagine - a 3-D Vision System
|
| JP640
| 1993 Journal Paper
| Smaill,AD; Wiggins,G
|
| Hierarchical Music Representation
|
| JP677
| 1993 Journal Paper
| Ireland,A
|
| On Exploiting the Structure of Martin-Lofs Theory of Types
|
| JP679
| 1993 Journal Paper
| Trucco,E
|
| Segmentation of Slice Data Using Regularity
|
| JP683
| 1993 Journal Paper
| Gent,I; Walsh,T
|
| An Empirical Analysis of Search in GSAT
|
| JP684
| 1993 Journal Paper
| Gent,I
|
| Theory Matrices (for Model Logics) using Alphabetical Monotonicity
|
| JP687
| 1993 Journal Paper
| Smithers,T; Tang,M; Ross,PM; Tomes,N
|
| Supporting Drug Design Using an Incremental Learning Approach
|
| MSc Thesis
|
| MT93101
| 1993 MSc Thesis
| Asher,D
|
| Convent - a Bridge Bidding System
|
| MT93102
| 1993 MSc Thesis
| Binsted,K
|
| Computer Generation of Linguistically Definable Riddles
|
| MT93103
| 1993 MSc Thesis
| Campbell,J
|
| A Cheap Mobile Robot
|
| MT93104
| 1993 MSc Thesis
| Chesters,W
|
| Connectionist Reinforcement Learning in a Real Robot
|
| MT93105
| 1993 MSc Thesis
| Chippendale,M
|
| Automating Proofs in Constructive Analysis
|
| MT93106
| 1993 MSc Thesis
| Corsava,S
|
| A Neural Network Based Facial Feature Detector
|
| MT93107
| 1993 MSc Thesis
| Dalgarno,M
|
| Single Machine Scheduling Using Partial Constraint Satisfaction
|
| MT93108
| 1993 MSc Thesis
| Dick,C
|
| Classification Based Language Generation in Turkish
|
| MT93109
| 1993 MSc Thesis
| Dirks,S
|
| Development of a Knowledge-Based System for Personal Financial Planning Guided by Pragmatic Kads
|
| MT93110
| 1993 MSc Thesis
| Evans,R
|
| The Synthesis of Efficient Programs
|
| MT93111
| 1993 MSc Thesis
| Fan,S
|
| Using Genetic Algorithms for Job-Sequencing msc Dissertation
|
| MT93112
| 1993 MSc Thesis
| Filloy-Garcia,E
|
| A Connectionist Architecture for Robust Reasoning
|
| MT93113
| 1993 MSc Thesis
| Funk,P
|
| Development and Maintenance of Large Formal Specifications Supported by Case-Based Reasoning
|
| MT93114
| 1993 MSc Thesis
| Gathercole,C
|
| A Classifier System Plays a Simple Board Game - Getting Down to the Basics of Machine Learning ?
|
| MT93115
| 1993 MSc Thesis
| German,C
|
| A Comparison of Simple Rule and Task-Based Diagnostic Systems in the Agroforestry Domain
|
| MT93116
| 1993 MSc Thesis
| Good,J
|
| Pubs: Exploiting Conceptual Conflict in Learning Prolog Unification
|
| MT93117
| 1993 MSc Thesis
| Gray,B
|
| T-Prolog - a Temporal Logic for an Ecological Domain
|
| MT93118
| 1993 MSc Thesis
| Henson,R
|
| Short-Term Associative Memories
|
| MT93119
| 1993 MSc Thesis
| Issa,I
|
| Pruning the Search Space of the Somass Soma Planner
|
| MT93120
| 1993 MSc Thesis
| Kick,A
|
| Autonomous Mobile Robot Navigation in a Complex and Real Environment Using Bee-Like Localization
|
| MT93121
| 1993 MSc Thesis
| Lerman,M
|
| An Intelligent Pld Programming Tool
|
| MT93122
| 1993 MSc Thesis
| Leung,S
|
| Basic Gene Grammars and Dna-Chart Parser - a Simple Dna Parsing System.
|
| MT93123
| 1993 MSc Thesis
| Long,S
|
| Tiempo - a Call Tool for Teaching Spanish Verbs
|
| MT93124
| 1993 MSc Thesis
| Mak,H
|
| An Information Flow Modelling System
|
| MT93125
| 1993 MSc Thesis
| Mccoy,S
|
| Cars Tracker
|
| MT93126
| 1993 MSc Thesis
| Monroy-Borja,R
|
| The Use of Abduction to Correct Faulty Conjectures
|
| MT93127
| 1993 MSc Thesis
| Narine,G
|
| Implementing a Wave Rule Parser in Clam
|
| MT93128
| 1993 MSc Thesis
| Perkins,SJ
|
| Real Time Optical Flow Based Range Sensing on Mobile Robots
|
| MT93129
| 1993 MSc Thesis
| Pizey,T
|
| Repair Strategies in English
|
| MT93130
| 1993 MSc Thesis
| Pugh,R
|
| The Use of Neural Networks in the Prediction of Acute Myocardial Infarction and Complications
|
| MT93131
| 1993 MSc Thesis
| Rezaei,S
|
| Constraint- Based Parsing of a Free Word Order Language: Persian
|
| MT93132
| 1993 MSc Thesis
| Robertson,S
|
| A Kbs to Assist in Selecting an Expert System Building Tool
|
| MT93133
| 1993 MSc Thesis
| San-Roman-Leon,G
|
| A System for Recognising and Selecting Provisions and Case Histories in Building Regulations
|
| MT93134
| 1993 MSc Thesis
| Scott,M
|
| Connectionist Action Selection with a Lego Vehicle
|
| MT93135
| 1993 MSc Thesis
| Seah,C
|
| Cpa: a Case-Based Prolog Advisor
|
| MT93136
| 1993 MSc Thesis
| Steen,A
|
| Robots as Molecules: Statistical Mechanics for Velocity Control
|
| MT93137
| 1993 MSc Thesis
| Taylor,TJ
|
| Learning to Coordinate Behaviours on a Four-Legged Robot
|
| MT93138
| 1993 MSc Thesis
| Willington,M
|
| A Directed Automated Dialogue System for Eliciting, Representing and Accessing Knowledge in the Domain of Agroforestry
|
| MT93139
| 1993 MSc Thesis
| Yoshida,T
|
| Coloured Rippling
|
| Paper in Conference Proceedings
|
| PP1126
| 1993 Paper in Conference Proceedings
| Waite,M; Orr,M; Fisher,RB
|
| Statistical Partial Constraints for 3D Model Matching and Pose Estimation Problems
|
| PP1128
| 1993 Paper in Conference Proceedings
| Waite,M; Orr,M; Fisher,RB
|
| Statistical Practical Constraints for 3D Model Matching and Pose Estimation Problems
|
| PP116
| 1993 Paper in Conference Proceedings
| Basin,D; Constable,R
|
| Metalogical Frameworks
|
| PP197
| 1993 Paper in Conference Proceedings
| Kraan,I; Bundy,A; Basin,D
|
| Logic Program Synthesis from Proof Planning
|
| PP225
| 1993 Paper in Conference Proceedings
| King,K
|
| Building Responsive Task Models
|
| PP240
| 1993 Paper in Conference Proceedings
| Wu,X
|
| the HCV Induction Algorithm
|
| PP319
| 1993 Paper in Conference Proceedings
| Androutsopoulos,I; Ritchie,GD; Thanisch,P
|
| Interfacing a Natural Language Front-End to a Relational Database
|
| PP320
| 1993 Paper in Conference Proceedings
| Mellish,CS; Reiter,E
|
| Using Classification as a Programming Language
|
| PP321
| 1993 Paper in Conference Proceedings
| Mellish,CS; Reiter,E
|
| Optimizing the Costs and Benefits of Natural Language Generation
|
| PP324
| 1993 Paper in Conference Proceedings
| Walker,AV; Hallam,JC; Willshaw,D
|
| Bee-haviour in a Mobile Robot: the Construction of a Self-Organizing Cognitive Map and its Use in Robot Navigation within a Complex Natural Environment
|
| PP325
| 1993 Paper in Conference Proceedings
| Walker,AV; Hallam,JC; Willshaw,D
|
| Simple Spatial Memories for a Mobile Robot: a Bee-haviour Based Approach
|
| PP326
| 1993 Paper in Conference Proceedings
| Crocker,M
|
| Properties of the Principle-Based Sentence Processor
|
| PP327
| 1993 Paper in Conference Proceedings
| Fang,H; Ross,PM; Corne,D
|
| a Promising Genetic Algorithm Approach to Job-Shop Scheduling, Rescheduling and Open-Shop Scheduling Problems
|
| PP330
| 1993 Paper in Conference Proceedings
| Perez-Minana,E; Wallace,D; Fisher,RB
|
| Stochastic Image Restoration: Clean Images and Their Likelihood
|
| PP331
| 1993 Paper in Conference Proceedings
| Wren,DO; Fisher,RB
|
| Finding Robot Grasp Points from Range Data
|
| PP332
| 1993 Paper in Conference Proceedings
| Kaggelides,K; Elliott,P; Fisher,RB
|
| Locating the Eyes in CT Brain Scan Data
|
| PP333
| 1993 Paper in Conference Proceedings
| Kaggelides,K; Elliott,P; Fisher,RB
|
| Automatic Location of the Eyes in CT Images of the Head
|
| PP334
| 1993 Paper in Conference Proceedings
| Chung,P; Abbas,S; Robertson,DS
|
| Representing Design Information and Safety Constraints
|
| PP610
| 1993 Paper in Conference Proceedings
| Manning,H; Ireland,A; Bundy,A
|
| Increasing the Versatility of Heuristic Based Theorem Provers
|
| PP611
| 1993 Paper in Conference Proceedings
| Basin,D; Bundy,A; Kraan,I; Matthews,S
|
| a Framework for Program Development Based on Schematic Proof
|
| PP612
| 1993 Paper in Conference Proceedings
| Kraan,I; Basin,D; Bundy,A
|
| Middle-out Reasoning for Logic Program Syntehsis
|
| PP616
| 1993 Paper in Conference Proceedings
| Madden,P; Hesketh,J; Green,I; Bundy,A
|
| a General Technique for Automatically Optimizing Programs through the Use of Proof Plans
|
| PP620
| 1993 Paper in Conference Proceedings
| Wiggins,G; Lombart,V; Deville,Y
|
| Guiding Synthesis Proofs
|
| PP621
| 1993 Paper in Conference Proceedings
| Fisher,RB; Fitzgibbon,AW
|
| Invariant Fitting of Arbitrary Single Extremum Surfaces
|
| PP622
| 1993 Paper in Conference Proceedings
| Fisher,RB; Fitzgibbon,AW; Waite,M; Orr,M; Trucco,E
|
| Recognition of Complex 3-D Objects from Range Data
|
| PP626
| 1993 Paper in Conference Proceedings
| Borges,D; Fisher,RB
|
| Acquiring Generic Parts for Recognition
|
| PP627
| 1993 Paper in Conference Proceedings
| Fisher,RB
|
| Hierarchical Matching Beats the Non-Wildcard and Interpretation Tree Model Matching Algorithms
|
| PP628
| 1993 Paper in Conference Proceedings
| Bispo,EM; Fitzgibbon,AW; Fisher,RB
|
| Visually Salient 3D Model Acquisition from Range Data
|
| PP629
| 1993 Paper in Conference Proceedings
| Borges,E; Fisher,RB
|
| Segmentation of 3D Articulated Objects by Dynamic Grouping of Discontinuities
|
| PP630
| 1993 Paper in Conference Proceedings
| Waite,M; Orr,M; Hallam,JC; Fisher,RJ
|
| Statistical Partial Constraints for 3D Model Matching and Pose EStimation Problems
|
| PP631
| 1993 Paper in Conference Proceedings
| Fisher,RB; Naidu,D; Singhal,D
|
| Rejection of Spurious Reflections in Structured Illumination Range Finders
|
| PP632
| 1993 Paper in Conference Proceedings
| Borges,D; Fisher,RB
|
| Segemntacao e Acquisicao de Partes GEnericas para Reconhecimento
|
| PP633
| 1993 Paper in Conference Proceedings
| Crocker,M
|
| On the Nature of the Principle-Based Sentence Processor
|
| PP634
| 1993 Paper in Conference Proceedings
| Haggith,MC
|
| Disagreement in Creative Problem Solving
|
| PP637
| 1993 Paper in Conference Proceedings
| Robertson,DS; Augusti,J; Hesketh,J; Levy,J
|
| Expressing Program Requirements using Refinement Lattices
|
| PP638
| 1993 Paper in Conference Proceedings
| Yang,S; Robertson,DS; Lee,J
|
| KICS: a Knowledge-Intensive Case-Based Reasoning System for Building Regulations and Case Histories
|
| PP676
| 1993 Paper in Conference Proceedings
| Bowles,A; Brna,P
|
| Programming Plans and Programming Techniques
|
| PP681
| 1993 Paper in Conference Proceedings
| Trucco,E; Wallace,A
|
| Using Viewer-Centred Representations in Machine Vision
|
| PP682
| 1993 Paper in Conference Proceedings
| Gent,I; Walsh,T
|
| Towards an Understanding of Hill-climbing Procedures for SAT
|
| PP686
| 1993 Paper in Conference Proceedings
| Deacon,G; Low,PL; Malcolm,CA
|
| Orienting Objects in a Minimum Number of Robot Sweeping Motions
|
| PP688
| 1993 Paper in Conference Proceedings
| Corne,D; Smithers,T; Ross,PM
|
| Solving Design Problems by Computational Exploration
|
| PP689
| 1993 Paper in Conference Proceedings
| Thompson,HS; Anderson,A; Bard,E; Doherty-Sneddon,G; Newlands,A; Sotillo,C
|
| the HCRC Map Task Corpus: Natural Dialogue for Speech Recognition
|
| PP690
| 1993 Paper in Conference Proceedings
| Kowtko,J; McAllister,J; Sotillo,C; Weinert,R; Isard,S; Miller,J; Thompson,HS; Anderson,A; Bader,M; Bard,E; Boyle,E; Doherty-Sneddon,G; Garrod,S
|
| the HCRC Map Task Corpus: a Natural Spoken Dialogue Corpus
|
| PP691
| 1993 Paper in Conference Proceedings
| Pain,HG; Bull,S; Brna,P
|
| Collaboration and Reflection in the Construction of a Student Model for Intelligent Computer Assisted Language Learning
|
| PP692
| 1993 Paper in Conference Proceedings
| Pain,HG; Brna,P; Warr,K; Chiam,S
|
| Learning to Diagnose Algebra Errors
|
| PP693
| 1993 Paper in Conference Proceedings
| Pain,HG; Hernandez,R; Brna,P
|
| Learning ROLOG Debugging Skills
|
| PP694
| 1993 Paper in Conference Proceedings
| Pain,HG; Bull,S; Brna,P
|
| Student Modelling in an Intelligent Computer Assisted Learning System
|
| PP695
| 1993 Paper in Conference Proceedings
| Hallam,B; Hayes,GM
|
| Comparing Robot and Animal Behaviour
|
| PP696
| 1993 Paper in Conference Proceedings
| Chongtay,R; Goodhill,G; Hayes,GM
|
| Empirical Exploration of a Model of the Development of Ocular Dominance Columns
|
| PhD Thesis
|
| PT9303
| 1993 PhD Thesis
| Bental,D
|
| Recognising the Design Decisions in Prolog Programs as a Prelude to Critiquing
|
| PT9305
| 1993 PhD Thesis
| Bernaras Iturrioz,A
|
| A Method for Understanding Experimental Computer Programs in Artificial Intelligence Research
|
| PT9309
| 1993 PhD Thesis
| How,K
|
| A Processing Framework for Temporal Analysis and Its Application to Instructional Texts
|
| PT9311
| 1993 PhD Thesis
| King,K
|
| Making Diagnosis Explicit
|
| PT9313
| 1993 PhD Thesis
| Lowe,H
|
| The Application of Proof Plans to Computer Configuration Problems
|
| PT9317
| 1993 PhD Thesis
| Manandhar,S
|
| Relational Extensions to Feature Logic: Applications to Constraint Based Grammars
|
| PT9319
| 1993 PhD Thesis
| Sentance,S
|
| Recognising and Responding to English Article Using Errors; an Icall Based Approach
|
| PT9321
| 1993 PhD Thesis
| Webb,B
|
| Perception in Real and Artificial Insects: a Robotic Investigation of Cricket Phonotaxis
|
| PT9325
| 1993 PhD Thesis
| Wu,X
|
| Knowledge Acquisition from Data Bases
|
| Research Paper
|
| RP614
| 1993 Research Paper
| Gent,I; Walsh,T
|
| Towards an Understanding of Hill-Climbing Procedures for Sat
|
| RP615
| 1993 Research Paper
| Harris,M
|
| Vision Guided Part Alignment with Degraded Data
|
| RP616
| 1993 Research Paper
| Trucco,E; Umasuthan,M; Wallace,A
|
| Active Inspection Using Visibility, Sensor and Task Knowledge
|
| RP617
| 1993 Research Paper
| Trucco,E; Wallace,A
|
| Viewer-Centred Representations i: Machine Vision
|
| RP618
| 1993 Research Paper
| Wallace,A; Trucco,E
|
| Viewer-Centred Representations Ii: Human Vision
|
| RP619
| 1993 Research Paper
| Deacon,G; Low,PL; Malcolm,CA
|
| Orienting Objects in a Minimum Number of Robot Sweeping Motions
|
| RP620
| 1993 Research Paper
| Kaggelides,K; Elliot,P; Fisher,RB
|
| Locating the Eyes in Ct Brain Scan Data
|
| RP621
| 1993 Research Paper
| Fisher,RB; Trucco,E; Fitzgibbon,AW; Waite,M; Orr,M
|
| Acquisition and Interpretation of 3-D in Machine Vision: Imagine
|
| RP622
| 1993 Research Paper
| Corne,D; Fang,H; Mellish,CS
|
| Solving the Modular Exam Scheduling Problem with Genetic Algorithms
|
| 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
|
| RP624
| 1993 Research Paper
| Perez-Minana,E; Fisher,RB; Wallace,D
|
| Stochastic Image Restoration: Clean Images and Their Likelihood
|
| RP625
| 1993 Research Paper
| Lowe,J; Neveen,M; Lowe,H
|
| Cash Flow Management: an Expert System for the Construction Client
|
| RP626
| 1993 Research Paper
| Wilson,MS
|
| Behaviour-Based Robotic Assembly Systems: Reliability of Behavioural Modules
|
| RP627
| 1993 Research Paper
| Reiter,E
|
| Has a Concensus Nl Generation Architecture Appeared, and is it Psycholinguistically Plausible ?
|
| 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
|
| RP629
| 1993 Research Paper
| Hallam,B; Halperin,J; Hallam,JC
|
| An Ethological Model of Learning and Motivation for Implementation in Mobile Robots.
|
| RP630
| 1993 Research Paper
| Hallam,B
|
| Fast Robot Learning Using a Biological Model
|
| RP631
| 1993 Research Paper
| Reiter,E; Mellish,CS
|
| Optimizing the Costs and Benefits of Natural Language Generation
|
| RP632
| 1993 Research Paper
| Mellish,CS; Reiter,E
|
| Using Classification as a Programming Language
|
| RP633
| 1993 Research Paper
| Manning,AJ; Ireland,A; Bundy,A
|
| Increasing the Versatility of Heuristic Based Theorem Provers
|
| RP634
| 1993 Research Paper
| Gent,I; Walsh,T
|
| An Empirical Analysis of Search in Gsat
|
| RP635
| 1993 Research Paper
| Vargas-Vera,M; Vasconcelos,W; Robertson,DS
|
| Building Large-Scale Prolog Programs Using a Techniques Editing System
|
| RP636
| 1993 Research Paper
| Vargas-Vera,M; Robertson,DS; Inder,R
|
| Combining Prolog Programs in a Techniques Editing System
|
| RP637
| 1993 Research Paper
| Bowles,A; Brna,P
|
| Programming Plans and Programming Techniques
|
| RP638
| 1993 Research Paper
| Kraan,I; Basin,D; Bundy,A
|
| Middle-Out Reasoning for Logic Program Synthesis
|
| RP639
| 1993 Research Paper
| Androutsopoulos,I; Ritchie,GD; Thanisch,P
|
| Masque/Sql- an Efficient and Portable Natural Language Query Interface for Relational Databases
|
| RP640
| 1993 Research Paper
| Miranda,E
|
| From Symbols to Sound Artificial Intelligence Investigation of Sound Synthesis
|
| RP641
| 1993 Research Paper
| Bowles,A; Robertson,DS; Vasconcelos,W; Vargas-Vera,M; Bental,D
|
| Applying Prolog Programming Techniques
|
| RP642
| 1993 Research Paper
| Gent,I; Walsh,T
|
| Easy Problems are Sometimes Hard
|
| RP643
| 1993 Research Paper
| Borges,D; Fisher,RB
|
| Segmentation of 3D Articulated Objects by Dynamic Grouping of Discontinuities
|
| RP644
| 1993 Research Paper
| Madden,P; Bundy,A
|
| General Techniques for Automatic Program Optimization and Synthesis Through Theorem Proving
|
| RP645
| 1993 Research Paper
| Baker,S; Smaill,AD
|
| A Proof Environment for Arithmetic with the Omega Rule
|
| 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
|
| RP648
| 1993 Research Paper
| Liu,W; Bundy,A; Robertson,DS
|
| Recovering Incidence Functions
|
| RP649
| 1993 Research Paper
| McLean,RG; Bundy,A; Liu,W
|
| Assignment Methods for Incidence Calculus
|
| RP650
| 1993 Research Paper
| Waite,M; Orr,M; Fisher,RB; Hallam,JC
|
| Statistical Partial Constraints for 3D Model Matching and Pose Estimation Problems
|
| RP652
| 1993 Research Paper
| Fisher,RB
|
| Hierarchical Matching Beets the Non-Wildcard and Interpretation Tree Model Matching Algorithms
|
| RP653
| 1993 Research Paper
| Bispo,EM; Fitzgibbon,AW; Fisher,RB
|
| Visually Salient 3D Model Acquisition from Range Data
|
| RP654
| 1993 Research Paper
| Basin,D; Bundy,A; Kraan,I; Matthews,S
|
| A Framework for Program Development Based on Schematic Proof
|
| RP655
| 1993 Research Paper
| Fisher,RB; Naidu,D; Singhal,D
|
| Rejection of Spurious Reflections in Structured Illumination Range Finders
|
| 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
|
| RP657
| 1993 Research Paper
| Bull,S
|
| Towards User / System Collaboration in the Development of a Student Model for Intelligent Computer Assisted Language Learning
|
| RP658
| 1993 Research Paper
| Wiggins,G; Miranda,E; Smaill,AD; Harris,M
|
| Surveying Musical Representation Systems: a Framework for Evaluation
|
| RP659
| 1993 Research Paper
| Fisher,RB; Fitzgibbon,AW; Waite,M; Trucco,E; Orr,M
|
| Recognition of Complex 3-D Objects from Range Data
|
| RP660
| 1993 Research Paper
| Trucco,E; Fisher,RB
|
| Acquisition of Consistent Range Data Using Local Calibration
|
| RP661
| 1993 Research Paper
| Negrete-Yankelevich,S
|
| Proof Plans and Automatic Theorem Proving with Hints (Paper in Spanish)
|
| RP662
| 1993 Research Paper
| Lowe,H
|
| Proof Planning: a Methodology for Developing Ai Systems Involving Design
|
| RP663
| 1993 Research Paper
| Lowe,H
|
| Proof Planning and Maintainability of Ai Systems
|
| RP664
| 1993 Research Paper
| Lowe,H
|
| Synthesizing Computer Configurations from Specifications: Structuring Knowledge for Design
|
| 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
|
| 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
|
| RP667
| 1993 Research Paper
| Smaill,AD; Wiggins,G; Miranda,E
|
| Music Representation - Between the Musician and the Computer
|
| RP668
| 1993 Research Paper
| Westhead,M; Smaill,AD
|
| Automatic Characterisation of Musical Style
|
| RP669
| 1993 Research Paper
| Bundy,A
|
| Can Theorem Proving Keep the Planes Flying ?
|
| RP670
| 1993 Research Paper
| Trucco,E; Diprima,M; Roberto,V
|
| Visibility Scripts for Active Feature-Based Inspection
|
| RP671
| 1993 Research Paper
| Bundy,A; MacQueen,H
|
| The New Software Copyright Law
|
| RP672
| 1993 Research Paper
| Bundy,A
|
| What is the Difference Between Real Creativity and Mere Novelty ?
|
| RP677
| 1993 Research Paper
| Bundy,A
|
| Prospects for Artificial Intelligence
|
| RP739
| 1993 Research Paper
| Webb,B
|
| Modeling Biological Behaviour or "Dumb Animals and Stupid Robots"
|
| RP743
| 1993 Research Paper
| Westhead,M
|
| Robust Intelligent Control Through the Use of a Behaviour Based Control Paradigm
|
| Technical Paper
|
| TP17A
| 1993 Technical Paper
| Colles,TE; Hallam,JC; Smithers,T
|
| Control Process Language Compiler User Manual
|
| TP20
| 1993 Technical Paper
| Lowe,H
|
| The Clem Configuration System
|
| TP21
| 1993 Technical Paper
| Hallam,JC
|
| None yet
|
| TP22
| 1993 Technical Paper
| Hallam,JC
|
| None yet
|
| TP23A
| 1993 Technical Paper
| Richards,B
|
| Mollusc User'S Guide Version 1.1
|
| TP24
| 1993 Technical Paper
| Madden,P
|
| A Review of Work Relating to Program Transformation
|
| TP25
| 1993 Technical Paper
| Binsted,K
|
| Computer Generation of Linguistically Definable Riddles
|
| TP26
| 1993 Technical Paper
| Funk,P
|
| Development and Maintenance of Large Formal Specifications Supported by Case-Based Reasoning
|
| TP35
| 1993 Technical Paper
| Pettinaro,GC; Malcolm,CA
|
| A Program for Describing Two Similar Assemblies
|
| Working Paper
|
| WP241
| 1993 Working Paper
| Hayes,GM
|
| None yet
|
| WP253
| 1993 Working Paper
| Brna,P
|
| Computer Aided Recognition of Misconceptions About Simple Electrical Circuits
|
![[Search These Pages]](http://www.dai.ed.ac.uk/icons/dai_search.gif){kind=icon}
![[DAI Home Page]](http://www.dai.ed.ac.uk/icons/dai_home.gif){kind=icon}
![[Comment]](http://www.dai.ed.ac.uk/icons/dai_comment.gif){kind=icon}