PP881
| Paper in Conference Proceedings
| Renault,S
|
| Towards a Complete Proof Procedure to Prove Properties of Normal Logic Programs Under the Completion
|
PP639
| 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
|
PP223
| Paper in Conference Proceedings
| King,K
|
| a Model Based Knowledge Acquisition Toolkit for Building Medical Diagnostic Support Systems in Developing Countries
|
PP160
| Paper in Conference Proceedings
| Reiter,E; Mellish,CS
|
| Using Classification to Generate Text
|
PP1174
| 1998 Paper in Conference Proceedings
| Tuson,AL; Wheeler,R; Ross,PM
|
| An Evolutionary/Meta-Heursitic Approach To Emergency Resource Redistribution in the Developing World
|
PP1173
| 1998 Paper in Conference Proceedings
| Ratford,MS; Tuson,AL; Thompson,HS
|
| The Single Chromosome's Guide to Dating
|
PP1169
| 1998 Paper in Conference Proceedings
| Baron,P; Fisher,RB
|
| A Voxel-Based Representation for the Evolutionary Shape Optimisation of a Simplified Beam: A Case-Study of a Problem-Centered to Genetic Operator Design.
|
PP1167
| 1998 Paper in Conference Proceedings
| Tuson,AL; Ross,PM; Duncan,T
|
| On Interactive Neighbourhood Search Schedulers
|
PP1156
| 1998 Paper in Conference Proceedings
| Werghi,N; Fisher,RB; Ashbrook,A
|
| Towards object modelling by incorporating geometric constraints
|
PP1151
| 1998 Paper in Conference Proceedings
| Werghi,N; Fisher,RB; Ashbrook,A; Robertson,C
|
| Modelling Objects Having Quadric Surfaces Incorporating Geometric Constraints.
|
PP1147
| 1998 Paper in Conference Proceedings
| Ashbrook,A; Fisher,RB; Robertson,C
|
|
|
PP1138
| 1998 Paper in Conference Proceedings
| Chandrinos,K; Pilu,M; Fisher,RB; Trahanias,P
|
| Image Processing Techniques for the Qualification of Atherosclerotic Changes
|
PP1136
| 1998 Paper in Conference Proceedings
| Ashbrook,A; Fisher,RB; Werghi,N; Robertson,C
|
| Aligning Arbitrary Surfaces using Pairwise Geometric Histograms
|
PP1135
| 1998 Paper in Conference Proceedings
| Gomes,HM; Fisher,RB; Hallam,JC
|
| A Retina-like Image Representation of Primal Sketch Features using a Neural Network Approach
|
PP1134
| 1998 Paper in Conference Proceedings
| Ashbrook,A; Fisher,RB; Robertson,C
|
| Finding Surface Correspondences for Object recognition and Registration using Pairwise Geometric Histograms
|
PP1133
| 1998 Paper in Conference Proceedings
| Werghi,N; Fisher,RB; Robertson,C
|
| Modelling Objects Having Quadric Surfaces Incorporating Geometric Constraints
|
PP1132
| 1998 Paper in Conference Proceedings
| Werghi,N; Fisher,RB; Ashbrook,A; Robertson,C
|
| Towards object modelling by incorporating geometric constraints
|
PP1127
| 1998 Paper in Conference Proceedings
| Ashbrook,A; Fisher,RB; Robertson,C
|
| Segmentation on Range Data into Rigid Subsets using Patches
|
PP1115
| 1998 Paper in Conference Proceedings
| Gomes,HM; Fisher,RB; Hallam,JC
|
| A Retina-like Image Representation of Primal Sketch Features using a Neural Network Approach
|
PP1114
| 1998 Paper in Conference Proceedings
| Fisher,RB; MacKirdy,A
|
| Integrating iconic and structured matching
|
PP1205
| 1997 Paper in Conference Proceedings
| Whittle,JN; Bundy,A; Lowe,H
|
| An Editor for helping Novices to Learn Standard {ML}
|
PP1204
| 1997 Paper in Conference Proceedings
| Whittle,JN; Bundy,A; Lowe,H
|
| Supporting Programming by Analogy in the Learning of Functional Programming Languages
|
PP1203
| 1997 Paper in Conference Proceedings
| Pechoucek,M; Lowe,H; Bundy,A
|
| Proof Planning and Industrial Configuration
|
PP1202
| 1997 Paper in Conference Proceedings
| Janicic,; Green,I; Bundy,A
|
| A Comparison of decision procedures in Presburger arithmetic
|
PP1201
| 1997 Paper in Conference Proceedings
| Jamnik,M; Bundy,A; Green,I
|
| Automation of Diagrammatic Proofs in Mathematics
|
PP1200
| 1997 Paper in Conference Proceedings
| Ross,PM; Hart,E; Corne,D
|
| Some Observations about GA Based Exam Timetabling
|
PP1195
| 1997 Paper in Conference Proceedings
| Jamnik,M; Bundy,A; Green,I
|
| Automation of Diagrammatic Reasoning
|
PP1193
| 1997 Paper in Conference Proceedings
| Richardson,JG; Fuchs,B
|
| Development of Correct Transformation Schemata for Prolog Programs
|
PP1192
| 1997 Paper in Conference Proceedings
| Fribourg,L; Richardson,JG
|
| Symbolic verification with gap-order constraints
|
PP1191
| 1997 Paper in Conference Proceedings
| Coghill,G; Chantler,M; Shen,Q; Leitch,R
|
| Towards model switching for diagnosis of dynamic systems
|
PP1190
| 1997 Paper in Conference Proceedings
| Siu,C; Shen,Q; Milne,R
|
| A Fuzzy Rule- and Case-based Expert System for Turbomachinery Diagnosis
|
PP1189
| 1997 Paper in Conference Proceedings
| Siu,C; Shen,Q; Milne,R
|
| A Fuzzy Expert System for Vibration Cause Identification in Rotating Machines
|
PP1188
| 1997 Paper in Conference Proceedings
| Case,SJ; Shen,Q; Banares Alcantara,R; Ponton,J
|
| Detecting Inverse Responses in Chemical Processes with Qualitative Simulation
|
PP1187
| 1997 Paper in Conference Proceedings
| Case,SJ; Shen,Q
|
| Detecting Inverse Responses in Chemical Reaction Processes with Fuzzy Qualitative Simulation
|
PP1186
| 1997 Paper in Conference Proceedings
| Biris,E; Shen,Q
|
| Navigation mobile robot with a fuzzy logic controller
|
PP1185
| 1997 Paper in Conference Proceedings
| Case,C; Shen,Q
|
| Applying qualitative simulation for inverse response detection
|
PP1183
| 1997 Paper in Conference Proceedings
| Shen,Q; Mulvihill,B; Leitch,R
|
| Causal ordering based explanation generation for diagnosis of dynamic systems
|
PP1181
| 1997 Paper in Conference Proceedings
| O'Donnell,M
|
| RST-Tool : An RST Analysis Tool
|
PP1179
| 1997 Paper in Conference Proceedings
| Deacon,G; Wright,M; Malcolm,CA
|
| Qualitative Transitions in Object Reorienting Behaviour, Part 1 : The Effects of Varying Friction
|
PP1178
| 1997 Paper in Conference Proceedings
| Ross,PM; Tuson,AL
|
| Directing the Search of Evolutionary and Neighbourhood-Search Optimisers for the Flowshop Sequencing Problem with an Idle-Time Heuristic
|
PP1177
| 1997 Paper in Conference Proceedings
| 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-Centered Approach to Genetic Operator Design
|
PP1176
| 1997 Paper in Conference Proceedings
| Smith,FS; Shen,Q
|
| Choosing The Right Fuzzy Logic Controller
|
PP1175
| 1997 Paper in Conference Proceedings
| Trewin,SM; Pain,HG
|
| Dynamic Modelling of Keyboard Skills : Supporting Users with Motor Disabilities
|
PP1172
| 1997 Paper in Conference Proceedings
| Tuson,AL; Wheeler,R; Ross,PM
|
| Emergency Resource Redistribution In The Developing World: Towards a Practical Evolutionary/Meta-Heursitic Scheduling System
|
PP1171
| 1997 Paper in Conference Proceedings
| Ross,PM; Tuson,AL
|
| Directing the Search of Evolutionery and Neighbourhood-Search Optimisers for the Flowshop Sequencing Problem with an Idle-Time Heuristic
|
PP1170
| 1997 Paper in Conference Proceedings
| Baron,P
|
| A Voxel-based Representation for the Evolutionary Shape Optimisation of a Simplified Beam: A Case-Study of a Problem-Centered Approach to Generic Operator Design
|
PP1168
| 1997 Paper in Conference Proceedings
| Ratford,MS; Tuson,AL; Thompson,HS
|
| Applying Sexual Selection as a Mechanism for Obtaining Multiple Distinct Solutions
|
PP1166
| 1997 Paper in Conference Proceedings
| Deacon,G; Wright,M; Malcolm,CA
|
| Qualitative Transitions in Object Reorienting Behaviour, Part 1 : The Effects of Varying the Centre of Mass
|
PP1165
| 1997 Paper in Conference Proceedings
| Deacon,G; Malcolm,CA
|
| Qualitive Transitions in Object Reorienting Behaviour, Part 1 : The effects of Varying Friction
|
PP1164
| 1997 Paper in Conference Proceedings
| Robertson,C; Sandnes,E
|
| "A Novices' Interface to Programming Digital Synthesizers Based on Genetic Algorithms
|
PP1163
| 1997 Paper in Conference Proceedings
| Robertson,C; Megson,G
|
| Neural Network Analysis of Hue Spectra from natural Images
|
PP1161
| 1997 Paper in Conference Proceedings
| Oberlander,J; Mellish,CS; O'Donnell,M
|
| Exploring a gallery with intelligent labels
|
PP1160
| 1997 Paper in Conference Proceedings
| Knott,A; O'Donnell,M
|
| Defeasible Rules in Content Selection and Text Structuring
|
PP1159
| 1997 Paper in Conference Proceedings
| Boulton,R; Bundy,A; Slind,A; Gordon,M
|
| A Prototype Interface between CLAM and HOL
|
PP1158
| 1997 Paper in Conference Proceedings
| Boulton,R
|
| A Tool to Support Formal reasoning about Computer Languages
|
PP1157
| 1997 Paper in Conference Proceedings
| Ijspeert,AJ; Hallam,JC; Willshaw,D
|
| Artificial Lampreys: Comparing Naturally and Artificially Evolved Swimming Controllers
|
PP1155
| 1997 Paper in Conference Proceedings
| O'Donnell,M
|
| Variable-Length On-Line Document Generation
|
PP1154
| 1997 Paper in Conference Proceedings
| O'Donnell,M
|
| An RST Analysis Tool
|
PP1153
| 1997 Paper in Conference Proceedings
| O'Donnell,M
|
| Variable-Length On-Line Documentation Generation
|
PP1152
| 1997 Paper in Conference Proceedings
| Werghi,N; Fisher,RB; Ashbrook,A; Robertson,C
|
| Improving model shape acquisition by incorporating geometric constraints
|
PP1150
| 1997 Paper in Conference Proceedings
| Perkins,SJ; Hayes,GM
|
| Incremental Acquisition of Complex Behaviour Using Structured Evolution
|
PP1146
| 1997 Paper in Conference Proceedings
| Ashbrook,A; Fisher,RB
|
| Constructing Models of Articulating Objects: Range Data Partitioning
|
PP1131
| 1997 Paper in Conference Proceedings
| Ashbrook,A; Fisher,RB; Robertson,C; Werghi,N
|
| Segmentation of Range Data into Rigid Subsets using Planar Surface Patches
|
PP1113
| 1997 Paper in Conference Proceedings
| Ashbrook,A; Fisher,RB
|
| Segmentation of Range Data for the Automatic Construction of Models of Articulated Objects
|
PP1112
| 1997 Paper in Conference Proceedings
| Werghi,N; Fisher,RB; Ashbrook,A; Robertson,C
|
| Improving model shape acquisition by incorporating geometric constraints.
|
PP1111
| 1997 Paper in Conference Proceedings
| Ashbrook,A; Fisher,RB
|
| Constructing Models of Articulating Objects : Range Data Partitioning
|
PP1110
| 1997 Paper in Conference Proceedings
| Fisher,RB; Fitzgibbon,AW; Eggert,D
|
| Extracting Surface Patches from Complete Range Descriptions
|
PP1084
| 1997 Paper in Conference Proceedings
| Baron,P; Fisher,RB; Mill,F; Sherlock,A; Tuson,AL
|
| A Voxel Based Approach to Evolutionary Shape Optimisation
|
PP999
| 1996 Paper in Conference Proceedings
| Perez-Minana,E; Ross,PM; Hallam,JC
|
| Multi-layer Perceptron Design Using Delaunay Triangulation
|
PP998
| 1996 Paper in Conference Proceedings
| Corne,D; Hart,E; Ross,PM
|
| Investigating Multiploidy's Niche
|
PP997
| 1996 Paper in Conference Proceedings
| Fang,H; Corne,D; Ross,PM
|
| A Genetic Algorithm for Job-Shop Problems with Various Schedule Quality Criteria
|
PP996
| 1996 Paper in Conference Proceedings
| Corne,D; Ross,PM
|
| Peckish Initialisation Strategies for Evolutionary Timetabling
|
PP995
| 1996 Paper in Conference Proceedings
| Ross,PM; Corne,D; Terashima-Marin,H
|
| The Phase-Transition niche for Evolutionary Algorithms in Timetabling
|
PP994
| 1996 Paper in Conference Proceedings
| ,; Hayes,GM
|
| A Neural Network for Moving Light Display Trajectory
|
PP992
| 1996 Paper in Conference Proceedings
| Trewin,SM
|
| A Study of Input Device Manipulation Difficulties
|
PP991
| 1996 Paper in Conference Proceedings
| Zaki,OF; Mellish,CS
|
| The Translation of the Arabic Tenses to the English T/A
|
PP990
| 1996 Paper in Conference Proceedings
| Mellis,E; Whittle,JN
|
| Internal Analogy in Theorem Proving
|
PP923
| 1996 Paper in Conference Proceedings
| Yeh,C; Mellish,CS
|
| An Empirical Study on the Generation of Description \for Nominal Anaphors in Chinese
|
PP1199
| 1996 Paper in Conference Proceedings
| Hart,E; Corne,D; Ross,PM
|
| Investigating Multiploidy's Niche
|
PP1130
| 1996 Paper in Conference Proceedings
| Mitsakakis,N; Fisher,RB; Walker,AV
|
| Classification of humpback whalesong units using a self organizing feature map
|
PP1129
| 1996 Paper in Conference Proceedings
| Wright,M; Fitzgibbon,AW
|
| Beyond the Hough transform: further properties of the R0 mapping and their applications
|
PP1079
| 1996 Paper in Conference Proceedings
| Park,N; Robertson,DS
|
| A Connectionist Representation of Symbolic Compnents, Dynamic Bindings and Basic Inference Operations
|
PP1078
| 1996 Paper in Conference Proceedings
| Demiris,J; Hayes,GM
|
| Imitative Learning Mechanisms in Robots and Humans
|
PP1077
| 1996 Paper in Conference Proceedings
| Al-Lakany,HM; Hayes,GM
|
| A Neural Network for Moving Light Display Trajectory Prediction
|
PP1076
| 1996 Paper in Conference Proceedings
| Moukas,A; Hayes,GM
|
| Synthetic Robotic Language Acquisition by Observation
|
PP1075
| 1996 Paper in Conference Proceedings
| Mellish,CS; Levine,J
|
| Corect: The Collaborative Requirements Capture Tool
|
PP1074
| 1996 Paper in Conference Proceedings
| Rogers,I; Levine,J; Pattison,C; Plowman,L
|
| A domain Aware Tool for Guiding Req'Ts Capture ....
|
PP1070
| 1996 Paper in Conference Proceedings
| Thompson,HS; McKelvie,D
|
| A software Architecture for SGML Annotation
|
PP1069
| 1996 Paper in Conference Proceedings
| Thompson,HS
|
| Why 'turn-taking
|
PP1066
| 1996 Paper in Conference Proceedings
| Mota,Ed; Robertson,DS
|
| Representing Interaction of Agents at Different Time Granularities
|
PP1065
| 1996 Paper in Conference Proceedings
| Robertson,DS
|
| Distributed Specification
|
PP1064
| 1996 Paper in Conference Proceedings
| Robertson,DS
|
| Domain Specific Problem Description
|
PP1063
| 1996 Paper in Conference Proceedings
| Robertson,DS
|
| An Empirical Study of the LSS specification Toolkit in Use
|
PP1056
| 1996 Paper in Conference Proceedings
| Smaill,AD; Green,I
|
| Higher-Order Annotated Terms for Proof Search
|
PP1055
| 1996 Paper in Conference Proceedings
| Cantu Ortiz,F; Bundy,A; Smaill,AD; Basin,D
|
| Experiments in Automating Hardware Verification using Inductive Proof Planning
|
PP1054
| 1996 Paper in Conference Proceedings
| Bundy,A; Giunchiglia,F; Sebastiani,R; Walsh,T
|
| Computing Abstraction Hierarchies by Numerical Simulation
|
PP1053
| 1996 Paper in Conference Proceedings
| O'Donnell,M
|
| Input Specification in the WAG Sentence Generation system
|
PP1051
| 1996 Paper in Conference Proceedings
| Wickler,GJ; Pryor,L
|
| Competence and Capability Assessment
|
PP1050
| 1996 Paper in Conference Proceedings
| Wickler,GJ; Pryor,L
|
| On Competence and Meta-Knowledge
|
PP1049
| 1996 Paper in Conference Proceedings
| Lund,HH; Miglino,O; Nolfi,S
|
| Evolving Autonomous Robots
|
PP1048
| 1996 Paper in Conference Proceedings
| Lee,W; Hallam,JC; Lund,HH
|
| A Hybrid GP/GA Approach for Co-Evolving Controllers and Robot Bodies to Achieve Fitness-Specified Tasks
|
PP1047
| 1996 Paper in Conference Proceedings
| Lund,HH; Miglino,O
|
| From Simulated to Real Robots
|
PP1045
| 1996 Paper in Conference Proceedings
| Veelaert,P; Peremans,H
|
| Adaptive Animat Navigation Based on a Flexibility Model for the Environment
|
PP1044
| 1996 Paper in Conference Proceedings
| Veelaert,P; Peremans,H
|
| Mobile Robot Navigation Based on Flexibility Maps of the Environment
|
PP1043
| 1996 Paper in Conference Proceedings
| Chen,J; Peremans,H; van Campenhout,J
|
| Ultrasonic Perception: Tri-aural Sensor Array for Mobile Robots using a Competition Neural Network Approach
|
PP1042
| 1996 Paper in Conference Proceedings
| Peremans,H; Veelaert,P
|
| Improved Tri-aural Perception through Robot Motion
|
PP1039
| 1996 Paper in Conference Proceedings
| Smaill,AD; Green,I
|
| Higher-Order Annotated Terms for Proof Search
|
PP1038
| 1996 Paper in Conference Proceedings
| Binsted,K; Ritchie,GD
|
| Speculations on Story Puns
|
PP1037
| 1996 Paper in Conference Proceedings
| Wright,M; Fitzgibbon,AW; Giblin,P; Fisher,RJ
|
| Beyond the Hough Transform: Further Properties of the RO Mapping and their Applications
|
PP1036
| 1996 Paper in Conference Proceedings
| Pilu,M; Fisher,RB
|
| Part Segmentation from 2D Edge Images by the MDL Criterion
|
PP1035
| 1996 Paper in Conference Proceedings
| Pilu,M; Fitzgibbon,AW; Fisher,RB
|
| Training PDMs on Models: The Case of Deformable Superellipses
|
PP1034
| 1996 Paper in Conference Proceedings
| Fisher,RB; Gionis,A
|
| Surface Reflectance Recover under Point Light Illumination
|
PP1033
| 1996 Paper in Conference Proceedings
| Grove,T; Fisher,RB
|
| Attention in Iconic Object Matching
|
PP1032
| 1996 Paper in Conference Proceedings
| Borges,D; Fisher,RB
|
| Class-based Recognition of 3D Objects Represnted by Volumetic Primitive
|
PP1031
| 1996 Paper in Conference Proceedings
| Pilu,M; Fisher,RB
|
| Model-Driven Grouping and Recognition of Generic Object Parts from Single Images
|
PP1030
| 1996 Paper in Conference Proceedings
| Eggert,D; Fitzgibbon,AW; Fisher,RB
|
| Simultaneous Registration of Multiple Range Views for Use in Reverse Engineering
|
PP1029
| 1996 Paper in Conference Proceedings
| Fitzgibbon,AW; Pilu,M; Fisher,RB
|
| Direct Least Squares Fitting of Ellipses
|
PP1028
| 1996 Paper in Conference Proceedings
| Pilu,M; Fitzgibbon,AW; Fisher,RB
|
| Ellipse-specific Direct Least-square Fitting
|
PP1027
| 1996 Paper in Conference Proceedings
| Pilu,M; Fisher,RB
|
| Recovery of Generic solid Parts by Parametrically Deformable Aspects
|
PP1026
| 1996 Paper in Conference Proceedings
| Fisher,RB; Fitzgibbon,AW; Gionis,A; Wright,M; Eggert,D
|
| A Hand-held Optical Surface Scanner for Environmental Modeling and Virtual Reality
|
PP1025
| 1996 Paper in Conference Proceedings
| Bispo,EM; Fisher,RB
|
| Free-form Surface Matching for Surface Inspection
|
PP1015
| 1996 Paper in Conference Proceedings
| Al-Jabri,S; Mellish,CS
|
| Using Classification for Mapping Semantic Representations...
|
PP1014
| 1996 Paper in Conference Proceedings
| Nicolov,N; Mellish,CS; Ritchie,GD
|
| Approximate Generation from Non-Hierarchical Representations
|
PP1013
| 1996 Paper in Conference Proceedings
| Yeh,C; Mellish,CS
|
| An Evaluation of Anaphor Generation in Chinese
|
PP1012
| 1996 Paper in Conference Proceedings
| Knott,A; Mellish,CS; Oberlander,J; O'Donnell,M
|
| Sources of Flexibility in Dynamic Hypertext Generation
|
PP1011
| 1996 Paper in Conference Proceedings
| Bassols-Gadella,N; Mellish,CS; Nicholov,N
|
| A Case-Based Algorithm for Catalan Stress Assignment
|
PP1010
| 1996 Paper in Conference Proceedings
| Marchant,B; Cerbah,F; Mellish,CS
|
| The Ghostwriter Project:....
|
PP1009
| 1996 Paper in Conference Proceedings
| Rogers,I; Plowman,L; Levine,J; Pattison,C
|
| The Collaborative Requirements Capture Tool: A Multiparadigm..
|
PP1008
| 1996 Paper in Conference Proceedings
| Levine,J; Rogers,I; Bennington,T; Pattison,C
|
| Class Hierarchies as a Multi Purpose Knowledge Representation
|
PP1007
| 1996 Paper in Conference Proceedings
| Sie,C; Shen,Q; Milne,R
|
| A Fuzzy Expert System for Turbomachinery Diagnosis
|
PP1006
| 1996 Paper in Conference Proceedings
| Leitch,R; Coghill,G; Shen,Q; Chantler,M; Ravindranathan,M
|
| Choices for the Construction of Appropriate Models
|
PP1004
| 1996 Paper in Conference Proceedings
| Kim,D; Corne,D; Ross,PM
|
| Industrial Plant Pipe-Route Optimisation with Genetic Algorithms
|
PP1003
| 1996 Paper in Conference Proceedings
| Tuson,AL; Ross,PM
|
| Cost Based Operator Rate Adaptation: An Investigation
|
PP1002
| 1996 Paper in Conference Proceedings
| Turner,A; Corne,D; Ritchie,GD; Ross,PM
|
| Obtaining Multiple Distinct Solutions with Genetic Algorithm Niching Methods
|
PP1001
| 1996 Paper in Conference Proceedings
| Gathercole,C; Ross,PM
|
| An Adverst Interaction between Crossover and Restricted Tree Depth in Genetic Programming
|
PP1000
| 1996 Paper in Conference Proceedings
| Tuson,AL; Ross,PM
|
| Co-evolution of Operator Settings in Genetic Algorithms
|
PP986
| 1995 Paper in Conference Proceedings
| Chantler,M; Leitch,R; Shen,Q; Coghill,G
|
| A Methodology for the Development of Model-Based Diagnostic Systems
|
PP985
| 1995 Paper in Conference Proceedings
| Leitch,G; Shen,Q; Chantler,M; Coghill,G
|
| Model Properties and Classification of Approaches
|
PP984
| 1995 Paper in Conference Proceedings
| Chantler,M; Shen,Q; Leitch,R; Coghill,G
|
| On choosing Candidate Generation and Prediction Techniques
|
PP983
| 1995 Paper in Conference Proceedings
| Conlon,T; Pain,HG
|
| Persistent Collaboration: Marrying the Technology Push with the Learning Pull
|
PP982
| 1995 Paper in Conference Proceedings
| Aziz,N; Pain,HG; Brna,P
|
| Modelling and Mending Student's Misconceptions in Translating Algebra Word Problems Using a Belief Revision System in TAPS
|
PP981
| 1995 Paper in Conference Proceedings
| Sentance,S; Pain,HG
|
| A Generative Learner Model in the Domain of Second Language Learning
|
PP980
| 1995 Paper in Conference Proceedings
| Salles,P; Muetzelfeldt,R; Pain,HG
|
| Qualitative Models in Ecogology and their Use in Intelligent Tutoring Systems
|
PP979
| 1995 Paper in Conference Proceedings
| Aziz,N; Pain,HG; Brna,P
|
| Handling Contradictions in Student Modelling in Translating Algebraic Problems Systems (TAPS)
|
PP978
| 1995 Paper in Conference Proceedings
| Malcolm,CA
|
| The SOMASS System: a Hybrid Symbolic and Behaviour-based System to Plan and Execute Assemblies by Robot
|
PP926
| 1995 Paper in Conference Proceedings
| Crowe,J
|
| Constraint-Based Event Recognition for Information Extraction
|
PP925
| 1995 Paper in Conference Proceedings
| Knott,A
|
| An Empirical Methodology for Determining a Set of Coherence Relations
|
PP924
| 1995 Paper in Conference Proceedings
| Mota,Ed; Haggith,MC; Smaill,AD; Robertson,DS
|
| Time Granularity in Simulation Models of Ecological Systems
|
PP921
| 1995 Paper in Conference Proceedings
| Androutsopoulos,I; Ritchie,GD; Thanisch,P
|
| Experience using TSQL2 in a Natural Language Front-end
|
PP920
| 1995 Paper in Conference Proceedings
| Nicolov,N; Mellish,CS; Ritchie,GD
|
| Sentence Generation from Conceptual Graphs
|
PP914
| 1995 Paper in Conference Proceedings
| Wolfart,E; Fisher,RB; Walker,AV
|
| Position Refinement for a Navigating Robot using Motion Information Based on Honey Bee Stratagies
|
PP913
| 1995 Paper in Conference Proceedings
| Fillatreau,P; Fisher,RB
|
| Non-polyhedral Landmark Recognition using 3D Depth Images and Partially Correct Models
|
PP912
| 1995 Paper in Conference Proceedings
| Hasselbring,W; Fisher,RB
|
| Using the PROSET-Linda Prototype Language for Investigating MIMD Algorithms for Machine Learning
|
PP911
| 1995 Paper in Conference Proceedings
| Lorusso,A; Eggert,D; Fisher,RB
|
| A Comparison of Four Algorithms for Estimating 3-D Rigid Transformations
|
PP910
| 1995 Paper in Conference Proceedings
| Wright,M; Fitzgibbon,AW; Fisher,RB
|
| Convex Hulls, Occluding Contours, Aspect Graphs and the Hough Trnasform
|
PP909
| 1995 Paper in Conference Proceedings
| Fitzgibbon,AW; Fisher,RB
|
| A Buyer's Guide to Conic Fitting
|
PP908
| 1995 Paper in Conference Proceedings
| Fisher,RB; Oliver,PI
|
| Multi-Variate Cross-Correlation and Image Matching
|
PP906
| 1995 Paper in Conference Proceedings
| Pilu,M; Fisher,RB
|
| Equal Distance Sampling of Supereclipse Models
|
PP905
| 1995 Paper in Conference Proceedings
| Park,N; Robertson,DS
|
| A Localist Network Architecture for Log Inference Based on Temporal Synchrony Approach to Dynamic Variable Binding
|
PP904
| 1995 Paper in Conference Proceedings
| Walker,AV; Milano,N; Hallam,JC
|
| Are Sonar Errors in the Ear of the Beholder?: Towards and Understand of Complete Sonar Echoes
|
PP903
| 1995 Paper in Conference Proceedings
| Wren,DO; Fisher,RB
|
| Planning Dextrous Hand Precison Grasps from Range Data, Using Preshaping and Finger Trajectories
|
PP902
| 1995 Paper in Conference Proceedings
| Wren,DO; Fisher,RB
|
| Dextrous Hand Grasping Strategies using Preshapes and Digit Trajectories
|
PP887
| 1995 Paper in Conference Proceedings
| Levine,J; Mellish,CS
|
| The IDAS User Trials: Quantitative Evaluation
|
PP884
| 1995 Paper in Conference Proceedings
| Bull,S
|
| Handling Native and Non-Native Language Transfer in CALL: Theory and Practice
|
PP883
| 1995 Paper in Conference Proceedings
| Bull,S; Pain,HG
|
| Did I Say What I Think I Said, and Do You Agree with Me?: Inspecting and Questioning the Student Model
|
PP882
| 1995 Paper in Conference Proceedings
| Bull,S; Smith,ML
|
| Using Targeted Negotiation to Support Students' Learning
|
PP879
| 1995 Paper in Conference Proceedings
| Conlon,T; Pain,HG
|
| Persistent Collaboration
|
PP878
| 1995 Paper in Conference Proceedings
| Conlon,T
|
| Automated Analysis for Knowledge Based Modelling
|
PP877
| 1995 Paper in Conference Proceedings
| Melis,E
|
| A Model of Analogy Driven Proof-Plan Construction
|
PP876
| 1995 Paper in Conference Proceedings
| Melis,E
|
| Theorem Proving by Analogy -- a Compelling Example
|
PP874
| 1995 Paper in Conference Proceedings
| Bundy,A; Lombart,V
|
| Relational Rippling: a General Approach
|
PP763
| 1995 Paper in Conference Proceedings
| Kado,K; Ross,PM; Corne,D
|
| Investigating Genetic Algorithms for Facility Layout Problems
|
PP1209
| 1995 Paper in Conference Proceedings
| Chen-Burger,J; Robertson,DS; Fraser,J; Lissoni,C
|
| KBST: A Support Tool for Business Modelling in BSDM
|
PP872
| 1994 Paper in Conference Proceedings
| Hanby,V; Dil,A
|
| Error Bounds in System Simulation Produced by Discretization of System and Boundary Variables
|
PP869
| 1994 Paper in Conference Proceedings
| Hayes,GM; Demiris,J
|
| a Robot Controller Using Learning by Imitation
|
PP868
| 1994 Paper in Conference Proceedings
| Westhead,M; Smaill,AD
|
| Automatic Characterisation of Musical Style
|
PP867
| 1994 Paper in Conference Proceedings
| Negere,S; Smaill,AD
|
| Guiding Proof Search in Logical Frameworks with Rippling
|
PP864
| 1994 Paper in Conference Proceedings
| Wiggins,G
|
| Improving the Whelk System: a Type-Theoretic Reconstruction
|
PP863
| 1994 Paper in Conference Proceedings
| Lombart,V; Wiggins,G; Deville,Y
|
| Guiding Synthesis Proofs
|
PP862
| 1994 Paper in Conference Proceedings
| Richards,B; Kraan,I; Smaill,AD; Wiggins,G
|
| Mollusc: a General Proof Development Shell for Sequent Based Logics
|
PP861
| 1994 Paper in Conference Proceedings
| Smaill,AD; Wiggins,G; Miranda,Y
|
| Music Representation - Between the Musician and the Computer
|
PP760
| 1994 Paper in Conference Proceedings
| Fisher,RB
|
| Performance Comparison of Ten Variations on the Interpretation Tree Matching Algorithm
|
PP759
| 1994 Paper in Conference Proceedings
| Fitzgibbon,AW; Fisher,RB
|
| Lack-of-Fit Detection Using the Run-Distribution Test
|
PP758
| 1994 Paper in Conference Proceedings
| Borges,G; Fisher,RB
|
| a Radial Basis Function Neural Network for Parts Identification of these Divisional Shapes
|
PP757
| 1994 Paper in Conference Proceedings
| Fitzgibbon,AW; Bispo,EM; Fisher,RB; Trucco,E
|
| Automatic Acquisition of CAD Models from Multiple Range View
|
PP756
| 1994 Paper in Conference Proceedings
| Fitzgibbon,AW; Fisher,RB
|
| Lack of Fit Detection Using the Run-Distribution Test
|
PP755
| 1994 Paper in Conference Proceedings
| Trucco,E; Fisher,RB; Fitzgibbon,AW
|
| Direct Calibration and Data Consistency in 3D Laser Scanning
|
PP751
| 1994 Paper in Conference Proceedings
| Robertson,DS; Park,N; Agusti,J
|
| Layered Design of KBS from Specification to Hardware
|
PP750
| 1994 Paper in Conference Proceedings
| Vargas-Vera,M; Robertson,DS
|
| An Environment for Building Programs Based on Knowledge of their Construction
|
PP749
| 1994 Paper in Conference Proceedings
| Robertson,DS; Hesketh,J
|
| Making Specification Design More Accountable
|
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
|
PP738
| 1994 Paper in Conference Proceedings
| Ishizaki,M
|
| Rational Agents in Task-Oriented Dialogues
|
PP735
| 1994 Paper in Conference Proceedings
| Webb,B
|
| Robotic Experiments in Cricket Phonotaxis
|
PP734
| 1994 Paper in Conference Proceedings
| Bull,S; Musson,T
|
| Goal-Oriented Software: When the Development Process is Different
|
PP733
| 1994 Paper in Conference Proceedings
| Bull,S; Pain,HG; Brna,P
|
| Student Modelling beyond Domain Knowledge
|
PP732
| 1994 Paper in Conference Proceedings
| Vasconcelos,W
|
| Estracting Prolog Programming Techniques
|
PP731
| 1994 Paper in Conference Proceedings
| Park,N; Robertson,DS; gardner,K
|
| from Dynamic Bindings to Further Symbolic Knowledge Representation Using Synchronous Action
|
PP730
| 1994 Paper in Conference Proceedings
| Park,N; Robertson,DS; gardner,K
|
| Reasoning with Limited Unification in a Connectionist Rule-Based System
|
PP729
| 1994 Paper in Conference Proceedings
| Pryor,L; Collins,G
|
| Opportunities: a Unifying Framework for Planning and Execution
|
PP728
| 1994 Paper in Conference Proceedings
| Caglioti,V; Mainardi,F; Pilu,M; Sorrenti,D
|
| Improving Pose Estimation by Using Object, Camera and Image Uncertainty
|
PP727
| 1994 Paper in Conference Proceedings
| Funk,D; Robertson,DS
|
| Requirements Specification of Telecommunication Services Assisted by Case-Based Reasoning
|
PP726
| 1994 Paper in Conference Proceedings
| Funk,P; Robertson,DS
|
| Case-Based Selection of Requirements Specification for Telecommunication Systems
|
PP725
| 1994 Paper in Conference Proceedings
| Al-Jabri,S; Mellish,CS
|
| Generating Arabic Words from Semantic Descriptions
|
PP724
| 1994 Paper in Conference Proceedings
| Perkins,SJ; Hayes,GM
|
| Real Time Optical Flow Based Range Sensing in Mobile Robots
|
PP723
| 1994 Paper in Conference Proceedings
| Chesters,W; Hayes,GM
|
| Connectionist Environment Modelling in a Real Robot
|
PP722
| 1994 Paper in Conference Proceedings
| Good,J; Brna,P; Pain,HG
|
| Prolog Unification: Diverse Teaching Strategies for Novices
|
PP718
| 1994 Paper in Conference Proceedings
| Monroy-Borja,R; Bundy,A; Ireland,A
|
| Proof Plans for the Correction of False Conjectures
|
PP717
| 1994 Paper in Conference Proceedings
| gardner,K; Cox,R
|
| Internal and External Representations in Teaching Logic
|
PP716
| 1994 Paper in Conference Proceedings
| gardner,K; Gurr,C; Oberlander,J; Cox,R
|
| the Cognitive Properties of Graphical and Algebraic Representations
|
PP715
| 1994 Paper in Conference Proceedings
| Cox,R; gardner,K; Oberlander,J
|
| Graphical Effects in Learning Logic: Reasoning Representation and Individual Differences
|
PP712
| 1994 Paper in Conference Proceedings
| Fang,H; Ross,PM; Corne,D
|
| a Promising Hybrid/GA Approach for Open-Shop Scheduling Problems
|
PP711
| 1994 Paper in Conference Proceedings
| Ross,PM; Corne,D; Fang,F
|
| Genetic Algorithms for Timetabling and Scheduling Problems
|
PP710
| 1994 Paper in Conference Proceedings
| Corne,D; Ross,PM; Fang,A
|
| Evolutionary Timetabling: Practice, Prospects and Work in Progress
|
PP706
| 1994 Paper in Conference Proceedings
| Levine,J; Mellish,CS
|
| CORECT: Combining CSCW with Natural Language Generation for Collaborative Requirements Capture
|
PP705
| 1994 Paper in Conference Proceedings
| Yeh,C; Mellish,CS
|
| An Empirical Study on the Generation of Zero Anaphors in Chinese
|
PP704
| 1994 Paper in Conference Proceedings
| Yang,S; Robertson,DS
|
| a Case-Based Reasoning System for Regulatory Information
|
PP703
| 1994 Paper in Conference Proceedings
| Yang,S; Robertson,DS; Lee,J
|
| Use of Case-Based Reasoning in the Domain of Building Regulations
|
PP700
| 1994 Paper in Conference Proceedings
| Binsted,K; Ritchie,GD
|
| An Implemented Model of Punning Riddles
|
PP698
| 1994 Paper in Conference Proceedings
| Wright,M; Cipolla,R; Giblin,P
|
| Skeletonisation Using and Extended Eucidean Distance Transform
|
PP697
| 1994 Paper in Conference Proceedings
| Deacon,G; Malcolm,CA
|
| a Robot System Designed for Task-Level Assembly
|
PP678
| 1994 Paper in Conference Proceedings
| Trucco,E; Fisher,RB
|
| Acquisition of Consistent Range Data Using Local Calibration
|
PP227
| 1994 Paper in Conference Proceedings
| Correa da Silva,FS; Robertson,DS; Hesketh,J
|
| Automated Reasoning with Uncertainties
|
PP696
| 1993 Paper in Conference Proceedings
| Chongtay,R; Goodhill,G; Hayes,GM
|
| Empirical Exploration of a Model of the Development of Ocular Dominance Columns
|
PP695
| 1993 Paper in Conference Proceedings
| Hallam,B; Hayes,GM
|
| Comparing Robot and Animal Behaviour
|
PP694
| 1993 Paper in Conference Proceedings
| Pain,HG; Bull,S; Brna,P
|
| Student Modelling in an Intelligent Computer Assisted Learning System
|
PP693
| 1993 Paper in Conference Proceedings
| Pain,HG; Hernandez,R; Brna,P
|
| Learning ROLOG Debugging Skills
|
PP692
| 1993 Paper in Conference Proceedings
| Pain,HG; Brna,P; Warr,K; Chiam,S
|
| Learning to Diagnose Algebra Errors
|
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
|
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
|
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
|
PP688
| 1993 Paper in Conference Proceedings
| Corne,D; Smithers,T; Ross,PM
|
| Solving Design Problems by Computational Exploration
|
PP686
| 1993 Paper in Conference Proceedings
| Deacon,G; Low,PL; Malcolm,CA
|
| Orienting Objects in a Minimum Number of Robot Sweeping Motions
|
PP682
| 1993 Paper in Conference Proceedings
| Gent,I; Walsh,T
|
| Towards an Understanding of Hill-climbing Procedures for SAT
|
PP681
| 1993 Paper in Conference Proceedings
| Trucco,E; Wallace,A
|
| Using Viewer-Centred Representations in Machine Vision
|
PP676
| 1993 Paper in Conference Proceedings
| Bowles,A; Brna,P
|
| Programming Plans and Programming Techniques
|
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
|
PP637
| 1993 Paper in Conference Proceedings
| Robertson,DS; Augusti,J; Hesketh,J; Levy,J
|
| Expressing Program Requirements using Refinement Lattices
|
PP634
| 1993 Paper in Conference Proceedings
| Haggith,MC
|
| Disagreement in Creative Problem Solving
|
PP633
| 1993 Paper in Conference Proceedings
| Crocker,M
|
| On the Nature of the Principle-Based Sentence Processor
|
PP632
| 1993 Paper in Conference Proceedings
| Borges,D; Fisher,RB
|
| Segemntacao e Acquisicao de Partes GEnericas para Reconhecimento
|
PP631
| 1993 Paper in Conference Proceedings
| Fisher,RB; Naidu,D; Singhal,D
|
| Rejection of Spurious Reflections in Structured Illumination Range Finders
|
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
|
PP629
| 1993 Paper in Conference Proceedings
| Borges,E; Fisher,RB
|
| Segmentation of 3D Articulated Objects by Dynamic Grouping of Discontinuities
|
PP628
| 1993 Paper in Conference Proceedings
| Bispo,EM; Fitzgibbon,AW; Fisher,RB
|
| Visually Salient 3D Model Acquisition from Range Data
|
PP627
| 1993 Paper in Conference Proceedings
| Fisher,RB
|
| Hierarchical Matching Beats the Non-Wildcard and Interpretation Tree Model Matching Algorithms
|
PP626
| 1993 Paper in Conference Proceedings
| Borges,D; Fisher,RB
|
| Acquiring Generic Parts for Recognition
|
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
|
PP621
| 1993 Paper in Conference Proceedings
| Fisher,RB; Fitzgibbon,AW
|
| Invariant Fitting of Arbitrary Single Extremum Surfaces
|
PP620
| 1993 Paper in Conference Proceedings
| Wiggins,G; Lombart,V; Deville,Y
|
| Guiding Synthesis Proofs
|
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
|
PP612
| 1993 Paper in Conference Proceedings
| Kraan,I; Basin,D; Bundy,A
|
| Middle-out Reasoning for Logic Program Syntehsis
|
PP611
| 1993 Paper in Conference Proceedings
| Basin,D; Bundy,A; Kraan,I; Matthews,S
|
| a Framework for Program Development Based on Schematic Proof
|
PP610
| 1993 Paper in Conference Proceedings
| Manning,H; Ireland,A; Bundy,A
|
| Increasing the Versatility of Heuristic Based Theorem Provers
|
PP334
| 1993 Paper in Conference Proceedings
| Chung,P; Abbas,S; Robertson,DS
|
| Representing Design Information and Safety Constraints
|
PP333
| 1993 Paper in Conference Proceedings
| Kaggelides,K; Elliott,P; Fisher,RB
|
| Automatic Location of the Eyes in CT Images of the Head
|
PP332
| 1993 Paper in Conference Proceedings
| Kaggelides,K; Elliott,P; Fisher,RB
|
| Locating the Eyes in CT Brain Scan Data
|
PP331
| 1993 Paper in Conference Proceedings
| Wren,DO; Fisher,RB
|
| Finding Robot Grasp Points from Range Data
|
PP330
| 1993 Paper in Conference Proceedings
| Perez-Minana,E; Wallace,D; Fisher,RB
|
| Stochastic Image Restoration: Clean Images and Their Likelihood
|
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
|
PP326
| 1993 Paper in Conference Proceedings
| Crocker,M
|
| Properties of the Principle-Based Sentence Processor
|
PP325
| 1993 Paper in Conference Proceedings
| Walker,AV; Hallam,JC; Willshaw,D
|
| Simple Spatial Memories for a Mobile Robot: a Bee-haviour Based Approach
|
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
|
PP321
| 1993 Paper in Conference Proceedings
| Mellish,CS; Reiter,E
|
| Optimizing the Costs and Benefits of Natural Language Generation
|
PP320
| 1993 Paper in Conference Proceedings
| Mellish,CS; Reiter,E
|
| Using Classification as a Programming Language
|
PP319
| 1993 Paper in Conference Proceedings
| Androutsopoulos,I; Ritchie,GD; Thanisch,P
|
| Interfacing a Natural Language Front-End to a Relational Database
|
PP240
| 1993 Paper in Conference Proceedings
| Wu,X
|
| the HCV Induction Algorithm
|
PP225
| 1993 Paper in Conference Proceedings
| King,K
|
| Building Responsive Task Models
|
PP197
| 1993 Paper in Conference Proceedings
| Kraan,I; Bundy,A; Basin,D
|
| Logic Program Synthesis from Proof Planning
|
PP116
| 1993 Paper in Conference Proceedings
| Basin,D; Constable,R
|
| Metalogical Frameworks
|
PP1128
| 1993 Paper in Conference Proceedings
| Waite,M; Orr,M; Fisher,RB
|
| Statistical Practical Constraints for 3D Model Matching and Pose Estimation Problems
|
PP1126
| 1993 Paper in Conference Proceedings
| Waite,M; Orr,M; Fisher,RB
|
| Statistical Partial Constraints for 3D Model Matching and Pose Estimation Problems
|
PP311
| 1992 Paper in Conference Proceedings
| Haggith,MC; Robertson,DS; Walker,DA; Sinclair,F; Muetzelfeldt,R
|
| TEAK: Tools for Eliciting Agroforestry Knowledge
|
PP306
| 1992 Paper in Conference Proceedings
| Fitzgibbon,AW; Fisher,RB
|
| Practical Aspect-Graph Derivation Incorporation Feature Segmentation Performance
|
PP304
| 1992 Paper in Conference Proceedings
| Fitzgibbon,AW; Fisher,RB
|
| Suggestive Modelling for Machine Vision
|
PP302
| 1992 Paper in Conference Proceedings
| Beck,H; Gomes,C
|
| Principles underlying the decomposition of job shop scheduling problems
|
PP300
| 1992 Paper in Conference Proceedings
| Tate,AB
|
| O-Plan 2: Modularity and Interfaces
|
PP299
| 1992 Paper in Conference Proceedings
| Tate,AB; Drabble,B; Kirby,R
|
| O-Plan 2: the Open Planning Architecture
|
PP297
| 1992 Paper in Conference Proceedings
| Kingston,J
|
| Building Knowledge Systems Toolkits and Case Studies
|
PP296
| 1992 Paper in Conference Proceedings
| Kingston,J
|
| User Interfaces for Knowledge Based Systems and Tools
|
PP290
| 1992 Paper in Conference Proceedings
| Tate,AB
|
| Snythetic Intelligence - KBS for Design and Planning
|
PP237
| 1992 Paper in Conference Proceedings
| Bundy,A; Frank,I; Basin,D
|
| An Adaption of Proof Planning to Declarer Play in Bridge
|
PP236
| 1992 Paper in Conference Proceedings
| Bundy,A; Walsh,T; Nunes,A
|
| the Use of Proof Plans to Sum Series
|
PP235
| 1992 Paper in Conference Proceedings
| Bundy,A; Hesketh,J; Smaill,AD
|
| Using Middle-out Reasoning to Transform Naive Programs into Tail-Recursive Ones
|
PP233
| 1992 Paper in Conference Proceedings
| Bundy,A; Brna,P; Pain,HG
|
| a Framework for the Principled Debugging of PROLOG Programs: How to Debug Non-Terminating Programs
|
PP232
| 1992 Paper in Conference Proceedings
| Rock,S
|
| Understanding Repetition in Natural Language Instructions - the Semantics of Extent
|
PP231
| 1992 Paper in Conference Proceedings
| Nakata,K
|
| Behavioural Specification with Nonmonotonic Temporal Logic
|
PP228
| 1992 Paper in Conference Proceedings
| Reiter,E; Dale,R
|
| a Fast Algorithm for the Generation of Referring Expressions
|
PP226
| 1992 Paper in Conference Proceedings
| Bental,D
|
| Using Clausal Join and Clausal Split to Recognise Language-Specific Programming Design Decisions
|
PP222
| 1992 Paper in Conference Proceedings
| King,K
|
| Artificial Intelligence for Developing Countries: Promises and Possibilities
|
PP221
| 1992 Paper in Conference Proceedings
| Bowles,A; Mellish,CS
|
| Using Abstract Interpretation in a Prolog Tutoring System
|
PP220
| 1992 Paper in Conference Proceedings
| Mellish,CS; Reiter,E
|
| Using Classification to Generate Text
|
PP219
| 1992 Paper in Conference Proceedings
| Poynter,L; Levine,J; Walker,J; Reiter,E; Tyson,P; Mellish,CS
|
| The Intelligent Documentation Advisory System
|
PP215
| 1992 Paper in Conference Proceedings
| Mellish,CS
|
| Term Encodable Description Systems
|
PP209
| 1992 Paper in Conference Proceedings
| Cox,R
|
| Exploratory Learning from Computer-Based Systems
|
PP208
| 1992 Paper in Conference Proceedings
| Borges,D; Fisher,RB
|
| Computational Properties of Rotation Parametrizations
|
PP207
| 1992 Paper in Conference Proceedings
| Wu,X
|
| KEShell2: An Intelligent Learning Database System
|
PP206
| 1992 Paper in Conference Proceedings
| Trucco,E; Thirion,E; Umasuthan,M; Wallace,A
|
| Visibility Scripts for Active Feature-Based Inspection
|
PP204
| 1992 Paper in Conference Proceedings
| Trucco,E; Fisher,RB
|
| Computing Surface-Based Representations from Range Images
|
PP199
| 1992 Paper in Conference Proceedings
| Fisher,RB
|
| Non-Wildcard Matching Beats the Interpretation Tree
|
PP196
| 1992 Paper in Conference Proceedings
| Yang,S; Robertson,DS
|
| An Overview of the Intelligence Information System for Building Regulations and Standards
|
PP192
| 1992 Paper in Conference Proceedings
| Wiggins,G; Bundy,A; Kraan,H; Hesketh,J
|
| Synthesis and Transformation of Logic Programs Through Constructive, Inductive Proof
|
PP190
| 1992 Paper in Conference Proceedings
| Whitelock,P
|
| Shake-and-Bake Translation
|
PP189
| 1992 Paper in Conference Proceedings
| Webb,B
|
| the Connection Between AI and Biology in the Study of Behaviour
|
PP188
| 1992 Paper in Conference Proceedings
| Walsh,T; Giunchiglia,F
|
| Theories of Abstraction: a Historical Perspective
|
PP185
| 1992 Paper in Conference Proceedings
| Walsh,T; Nunes,A; Bundy,A
|
| the Use of Proof Plans to Sum Series
|
PP182
| 1992 Paper in Conference Proceedings
| Trucco,E
|
| On Shape-Preseving Boundary Conditions for Diffusion Smoothing
|
PP174
| 1992 Paper in Conference Proceedings
| Smithers,T; Tang,M
|
| AI-Based Design and Simulation of Hydroelectric Power Systems
|
PP171
| 1992 Paper in Conference Proceedings
| Sentance,S
|
| Analysing Misconceptions in the Domain of Second Language Learning
|
PP170
| 1992 Paper in Conference Proceedings
| Ross,B
|
| Semantics-Based Partial Evaluation of PROLOG Programs
|
PP169
| 1992 Paper in Conference Proceedings
| Ross,B
|
| Using Algebraic Semantics for Proving PROLOG Program Termination and Transformation
|
PP168
| 1992 Paper in Conference Proceedings
| Rock,S
|
| Understanding Repetition in Natural Language Instructions -- the Semantics of Extent
|
PP167
| 1992 Paper in Conference Proceedings
| Robertson,DS
|
| a Simple PROLOG Techniques Editor for Novice Users
|
PP164
| 1992 Paper in Conference Proceedings
| Reiter,E; Dale,R
|
| a Fast Algorithm for the Generation of Referring Expressions
|
PP162
| 1992 Paper in Conference Proceedings
| Reiter,E; Mellish,CS; Levine,J
|
| Automatic Generation of On-Line Documentation in the IDAS Project
|
PP159
| 1992 Paper in Conference Proceedings
| Pain,HG
|
| Supporting Children with Learning Difficulties in Spelling
|
PP156
| 1992 Paper in Conference Proceedings
| Orr,M; Hallam,JC; Fisher,RB
|
| Fusion Through Interpretation
|
PP153
| 1992 Paper in Conference Proceedings
| Madden,P
|
| Automatic Program Optimization Through Proof Transformation
|
PP152
| 1992 Paper in Conference Proceedings
| Logan,B; Corne,D; Smithers,T
|
| the Edinburgh Designer System: An Architecture for Solving Ill Structured Problems
|
PP150
| 1992 Paper in Conference Proceedings
| Logan,B; Corne,D; Smithers,T
|
| Enduring Support: On Defeasible Reasoning in Design Support Systems
|
PP148
| 1992 Paper in Conference Proceedings
| Ireland,A
|
| the Use of Planning Critics in Mechanizing Inductive Proof
|
PP147
| 1992 Paper in Conference Proceedings
| Horn,C; Smaill,AD
|
| Theorem Proving and Program Synthesis with OYSTER
|
PP146
| 1992 Paper in Conference Proceedings
| Hesketh,J; Bundy,A; Smaill,AD
|
| Using Middle-out Reasoning to Control the Synthesis of Tail Recursive Programs
|
PP143
| 1992 Paper in Conference Proceedings
| Giunchiglia,G; Walsh,T
|
| Tree Subsumption: Reasoning with Outlines
|
PP137
| 1992 Paper in Conference Proceedings
| Bowles,A; Mellish,CS
|
| Using Abstract Interpretation in a Prolog Tutoring System
|
PP132
| 1992 Paper in Conference Proceedings
| Crocker,M; Lewin,I
|
| Parsing as Deduction: Rules versus Principles
|
PP130
| 1992 Paper in Conference Proceedings
| Chongstitvatana,P; Conkie,A
|
| Active Mobile Stereo Vision for Robotic Assembly
|
PP126
| 1992 Paper in Conference Proceedings
| Brna,P; Caiger,A
|
| the Application of Cognitive Diagnosis to the Quantitative Analysis of Simple Electrical Circuits
|
PP120
| 1992 Paper in Conference Proceedings
| Bental,D
|
| Using Clausal Join and Clausal Split to Recognise Language-Specific Programming Design Decisions
|
PP119
| 1992 Paper in Conference Proceedings
| Beaven,J
|
| Shake-and-Bake Machine Translations
|
PP118
| 1992 Paper in Conference Proceedings
| Basin,D; Walsh,T
|
| Difference Matching
|
PP117
| 1992 Paper in Conference Proceedings
| Basin,D; Smaill,AD; Matthews,S
|
| Experience with FSo as a Framework Theory
|
PP115
| 1992 Paper in Conference Proceedings
| Basin,D
|
| Extracting Circuits from Constructive Proofs
|
PP113
| 1992 Paper in Conference Proceedings
| Baker,S; Ireland,A; Smaill,AD
|
| On the Use of the Constructive Omega-Rule within Automated Deduction
|
PP1121
| 1992 Paper in Conference Proceedings
| Orr,M; Hallam,JC; Fisher,RB
|
| Fusion through Interpretation
|
PP99
| 1991 Paper in Conference Proceedings
| Thompson,HS; Sadler,L
|
| Structural Non-Correspondence in Translation
|
PP97
| 1991 Paper in Conference Proceedings
| Tang,M; Smithers,T
|
| Object-Oriented Stimulation of Behaviour in Design Support
|
PP96
| 1991 Paper in Conference Proceedings
| Smithers,T; Tang,M; Tomes,N
|
| the Castlemaine Project: Development of an AI-Based Design Support System
|
PP93
| 1991 Paper in Conference Proceedings
| Thompson,HS
|
| Structural Non-Correspondence in Translation
|
PP92
| 1991 Paper in Conference Proceedings
| Ross,B; Smaill,AD
|
| An Algebraic Semantics of Prolog Program Termination
|
PP9
| 1991 Paper in Conference Proceedings
| Cameron-Jones,R
|
| Visual Interpretation of Lambertian Surface Deformation
|
PP86
| 1991 Paper in Conference Proceedings
| Ritchie,GD
|
| Learning from AM
|
PP82
| 1991 Paper in Conference Proceedings
| Orr,M; Fisher,RB; Hallam,JC
|
| Uncertain Reasoning: Intervals Versus Probability
|
PP8
| 1991 Paper in Conference Proceedings
| Basin,D; Traverso,P; Giunchiglia,F
|
| Automatic Meta-Theory Creation and System Extension
|
PP78
| 1991 Paper in Conference Proceedings
| Nehmzow,U; Smithers,T; Hallam,JC
|
| Location Recognition in a Mobile Robot Using Self-Organising Feature Maps.
|
PP77
| 1991 Paper in Conference Proceedings
| Nehmzow,U; Smithers,T
|
| Mapbuilding Using Self-Organising Networks in "Really Useful Robots"
|
PP76
| 1991 Paper in Conference Proceedings
| Naidu,D; Fisher,RB
|
| a Comparative Analysis of Algorithms for Determining the Peak Position of a Stripe to Sub-Pixel Accuracy
|
PP7
| 1991 Paper in Conference Proceedings
| Basin,D; Howe,D
|
| Some Normalization Properties of Martin-Lof's Type Theory and Applications
|
PP22
| 1991 Paper in Conference Proceedings
| Lowe,H
|
| the Use of Theorem Proving Techniques in Expert Systems for Configuration
|
PP21
| 1991 Paper in Conference Proceedings
| Giunchiglia,F; Walsh,T
|
| Using Abstraction
|
PP20
| 1991 Paper in Conference Proceedings
| Dale,R; Haddock,N
|
| Generating Referring Expressions Involving Relations
|
PP19
| 1991 Paper in Conference Proceedings
| Black,A; van de Plassche,J; Williams,B
|
| Analysis of Unknown Words through Morphological Decomposition
|
PP18
| 1991 Paper in Conference Proceedings
| Logan,B; Millington,K; Smithers,T
|
| Being Economical with the Truth: Assumption-Based Context Management in the Edinburgh Designer System
|
PP17
| 1991 Paper in Conference Proceedings
| Harris,M
|
| Attracting Similar Shapes Towards Each Other
|
PP16
| 1991 Paper in Conference Proceedings
| Fisher,RB
|
| Recognition with Second-Order Topographic Surface Features
|
PP15
| 1991 Paper in Conference Proceedings
| Donnett,J; Smithers,T
|
| Lego Vehicles: a Technology for Studying Intelligent Systems
|
PP14
| 1991 Paper in Conference Proceedings
| Donnett,J; McGonigle,B
|
| Evolving Speed Control in Mobile Robots: from Blindness to Kinetic Vision
|
PP13
| 1991 Paper in Conference Proceedings
| Correa da Silva,FS; Robertson,DS; Chung,P
|
| Automated Reasoning about an Uncertain Domain
|
PP12
| 1991 Paper in Conference Proceedings
| Chongstitvatana,P; Conkie,A
|
| Behaviour Based Assembly Experiments Using Vision Sensing
|
PP1145
| 1991 Paper in Conference Proceedings
| Orr,M; Fisher,RB; Hallam,JC
|
| Computing with Uncertainty: Intervals versus Probability
|
PP1120
| 1991 Paper in Conference Proceedings
| Orr,M; Fisher,RB; Hallam,JC
|
| Computing with Uncertainity: Intervals versus Probability
|
PP112
| 1991 Paper in Conference Proceedings
| Smithers,T; Tang,M
|
| Towards AI-Based Design
|
PP110
| 1991 Paper in Conference Proceedings
| Whitelock,P
|
| Shake-and-Bake Translation
|
PP11
| 1991 Paper in Conference Proceedings
| Cawsey,A
|
| Using Plausible Inference Rules in Description Planning
|
PP109
| 1991 Paper in Conference Proceedings
| Whitelock,P
|
| What Sort of Trees do we Speak? a Computational Model of Syntax-Prosody Interface in Tokyo Japanese Association for Computational Linguistic
|
PP103
| 1991 Paper in Conference Proceedings
| Thompson,HS; Dixon,M; Lamping,J
|
| Compose-Reduce Parsing
|
PP100
| 1991 Paper in Conference Proceedings
| Thompson,HS
|
| Generation and Translation - Towards a Formalism-Independent Characterisation
|
PP10
| 1991 Paper in Conference Proceedings
| Cawsey,A
|
| Generating Interactive Explanations
|
PP553
| 1990 Paper in Conference Proceedings
| Smaill,AD; Wiggins,G
|
| Hierarchical Music Representation for Composition and Analysis
|
PP526
| 1990 Paper in Conference Proceedings
| Nehmzow,U; Hallam,JC; Smithers,T
|
| Adaptive Behaviour in Really Useful Robot Project
|
PP519
| 1990 Paper in Conference Proceedings
| Lewin,I
|
| a Quantifier Scoping Algorithm Without a Free Variable Constraint
|
PP512
| 1990 Paper in Conference Proceedings
| Hayes,GM; Fisher,RB
|
| Evaluation of a Real Time Kinetic Depth System
|
PP504
| 1990 Paper in Conference Proceedings
| Guinchiglia,F; Walsh,T
|
| the Use of Abstraction in Automatic Inference
|
PP498
| 1990 Paper in Conference Proceedings
| Fisher,RB
|
| Extracting Second-Order Topographic Surface Features from Range Data
|
PP497
| 1990 Paper in Conference Proceedings
| Fisher,RB
|
| Determining Back Facing Curved Model Surfaces by Analysis at the Boundary
|
PP496
| 1990 Paper in Conference Proceedings
| Fisher,RB
|
| Reducing Viewsphere Complexity
|
PP493
| 1990 Paper in Conference Proceedings
| Deacon,G
|
| Achieving Robotic Assembly by Sensing and Controlling Spatial Relationships
|
PP488
| 1990 Paper in Conference Proceedings
| Desimone,R; Hollidge,T
|
| Case Studies in Fleet Operation Modelling: An Application of AI Scheduling Techniques
|
PP475
| 1990 Paper in Conference Proceedings
| Donnett,J; Smithers,T
|
| Neuronal Group Selection Theory: a Grounding in Robotics
|
PP464
| 1990 Paper in Conference Proceedings
| Crabtree,B; Crouch,R; Moffat,D; Pirie,N; Pulman,S; Ritchie,GD; Tate,AB
|
| Interacting with an Intelligent Planning System using English Sentences
|
PP463
| 1990 Paper in Conference Proceedings
| Correa da Silva,FS; Bundy,A
|
| On Some Equivalence Relations Between Incidence Calculus and Dempster-Shafer Theory of Evidence
|
PP460
| 1990 Paper in Conference Proceedings
| Conkie,A; Chongstitvatana,P
|
| An Uncalibrated Stereo Visual Servo System
|
PP458
| 1990 Paper in Conference Proceedings
| Cawsey,A; Raudaskoski,P
|
| Repair Work in Human-Computer Dialogue
|
PP455
| 1990 Paper in Conference Proceedings
| Carletta,J
|
| Modelling Variations in Goal-Directed Dialogue
|
PP454
| 1990 Paper in Conference Proceedings
| Bundy,A; van Harmelen,F; Smaill,AD; Ireland,A
|
| Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs
|
PP452
| 1990 Paper in Conference Proceedings
| Bundy,A
|
| the Use of Proof Plans in Formal Methods
|
PP443
| 1990 Paper in Conference Proceedings
| Bundy,A; van Harmelen,F; Horn,C; Smaill,AD
|
| The Oyster Clam System
|
PP441
| 1990 Paper in Conference Proceedings
| Bundy,A; Smaill,AD; van Harmelen,F
|
| Extensions to the Rippling-out Tactic for Guiding Inductive Proofs
|
PP439
| 1990 Paper in Conference Proceedings
| Bundy,A; Smaill,AD; Hesketh,J
|
| Turning Eureka Steps into Calculations in Automatic Program Synthesis
|
PP438
| 1990 Paper in Conference Proceedings
| Brown,MA; Fisher,RB
|
| a Distributed Blackboard System for Vision Applications
|
PP429
| 1990 Paper in Conference Proceedings
| Blokland,R; Thompson,HS; Cutting,D
|
| Ibrow: a System for Constructing Browsers in LISP
|
PP427
| 1990 Paper in Conference Proceedings
| Bernaras,A; Smithers,T
|
| On the Application of Software Engineering Techniques in Artificial Intelligence Research
|
PP424
| 1990 Paper in Conference Proceedings
| Basin,D
|
| Equality of Terms Containing Associative Commutative Functions and Commutative Binding Operators is Isomorphism Complete
|
PP317
| 1990 Paper in Conference Proceedings
| Crabtree,B; Crouch,R; Moffat,D; Pirie,N; Pulman,S; Ritchie,GD; Tate,AB
|
| Interacting with an Intelligence Planning System using English Sentences
|
PP1109
| 1990 Paper in Conference Proceedings
| Fisher,RB
|
| Reducing Viewsphere Complexity
|
PP609
| 1989 Paper in Conference Proceedings
| Wiggins,G; Harris,M; Smaill,AD
|
| Representing Music for Analysis and Composition
|
PP604
| 1989 Paper in Conference Proceedings
| Williams,B; Thompson,HS
|
| Modelling Phonological Processes in Continuous Speech Recognition
|
PP600
| 1989 Paper in Conference Proceedings
| Valley,K
|
| Realising the Potential of Expert System Shells in Education
|
PP596
| 1989 Paper in Conference Proceedings
| Thompson,HS; McKelvie,D; McInnes,F
|
| Robust Lexical Access for Continuous Speech Using Dynamic Time Warping and Finite State Transducers
|
PP594
| 1989 Paper in Conference Proceedings
| Thompson,HS
|
| Evaluation of Phoneme Lattices: Four Methods Compared
|
PP592
| 1989 Paper in Conference Proceedings
| Thompson,HS
|
| Hill Climbing to Improve the Performance of Rule Based Segmentation and Labelling
|
PP590
| 1989 Paper in Conference Proceedings
| Thompson,HS
|
| a Chart Parsing Realisation of Dynamic Programming: Best First Enumeration of Paths in a Lattice
|
PP587
| 1989 Paper in Conference Proceedings
| Thornton,C
|
| the Factorial Productivity of Mark-Raising Generalisation
|
PP579
| 1989 Paper in Conference Proceedings
| Trucco,E; Groppello,P; Burbello,F
|
| Experiments with Segment Based Stereo using Dynamic Programming
|
PP578
| 1989 Paper in Conference Proceedings
| Trucco,E
|
| Towards Volumetric Description of Range Images
|
PP558
| 1989 Paper in Conference Proceedings
| Smithers,T
|
| Intelligent Control in AI Based Design Support Systems
|
PP556
| 1989 Paper in Conference Proceedings
| Smithers,T; Conkie,A; Doheny,A; Logan,B; Millington,K
|
| Design as Intelligent Behaviour: An AI in Design Research Programme
|
PP546
| 1989 Paper in Conference Proceedings
| Reape,MK
|
| a Logical Treatment of Semi-Free Word Order and Bounded Discontinuous Consituency
|
PP544
| 1989 Paper in Conference Proceedings
| Ritchie,GD
|
| On the Generative Power of Two Level Morphological Rules
|
PP529
| 1989 Paper in Conference Proceedings
| Nehmzow,U; Hallam,JC; Smithers,T
|
| Really Useful Robots
|
PP422
| 1989 Paper in Conference Proceedings
| Malcolm,CA; Smithers,T; Hallam,JC
|
| An Emerging Paradigm in Robot Architecture
|
PP414
| 1989 Paper in Conference Proceedings
| Mellish,CS
|
| Some Chart Based Techniques for Parsing Ill-Formed Input
|
PP411
| 1989 Paper in Conference Proceedings
| Madden,P
|
| the Specialization and Transformation of Constructive Existence Proofs
|
PP409
| 1989 Paper in Conference Proceedings
| McIlvenny,P
|
| Communicative Action and Computers: Re Embodying Conversation Analysis
|
PP393
| 1989 Paper in Conference Proceedings
| Logan,B; Newton,S
|
| the Intractability of Design: Is Design too Complex for Expert Systems?
|
PP392
| 1989 Paper in Conference Proceedings
| Logan,B; Smithers,T
|
| the Role of Prototypes in Creative Design
|
PP390
| 1989 Paper in Conference Proceedings
| Li,S
|
| 3D Object Recognition from Range Images: Computational Framework and Neural Networks
|
PP384
| 1989 Paper in Conference Proceedings
| Hallam,JC; Forster,P; Howe,J
|
| Map Free Localisation in a Partially Moving 3-D World: the Edinburgh Feature Based Navigator
|
PP377
| 1989 Paper in Conference Proceedings
| Giunchiglia,F; Walsh,T
|
| Theorem Proving with Definitions
|
PP376
| 1989 Paper in Conference Proceedings
| Giunchiglia,F; Walsh,T
|
| Abstract Theorem Proving
|
PP366
| 1989 Paper in Conference Proceedings
| Fisher,RB
|
| Geometric Constraints from Planar Surface Patch Matchings
|
PP365
| 1989 Paper in Conference Proceedings
| Fisher,RB; Orr,J
|
| Experiments with a Network Based Geometric Reasoning Engine
|
PP364
| 1989 Paper in Conference Proceedings
| Engdahl,E; Cooper,K
|
| Null Subjects in Zurich German
|
PP362
| 1989 Paper in Conference Proceedings
| Dale,R
|
| Cooking up Referring Expressions
|
PP350
| 1989 Paper in Conference Proceedings
| Cawsey,A
|
| the Structure of Tutorial Discourse
|
PP347
| 1989 Paper in Conference Proceedings
| Cai,L
|
| Spline Smoothing - a Special Case of Diffusion Smoothing
|
PP346
| 1989 Paper in Conference Proceedings
| Bundy,A; van Harmelen,F; Hesketh,J; Smaill,AD; Stevens,A
|
| a Rational Reconstruction and Extension of Recursion Analysis
|
PP338
| 1989 Paper in Conference Proceedings
| Bowles,A; Wilk,P
|
| Tracing Requirements for Multi-Layered Meta-Programming
|
PP337
| 1989 Paper in Conference Proceedings
| Blokland,R; Thompson,HS
|
| a Parser for Feature-Based Speech Recognition
|
PP316
| 1989 Paper in Conference Proceedings
| Ritchie,GD
|
| On the Generative Power of Two-Level Morphological Rules
|
PP583
| 1988 Paper in Conference Proceedings
| Trehan,R
|
| a Parallel Chart Parser for the Commited Choice Non-Deterministic (CCND) Logic Languages
|
PP1108
| 1988 Paper in Conference Proceedings
| Fisher,RB; Orr,M
|
| A Parallel Network for Solving Algebraic and Geometric Constraints
|
PP1107
| 1988 Paper in Conference Proceedings
| Fisher,RB; Orr,M
|
| Solving Geometric Constraints in a Parallel Network
|
PP1144
| 1987 Paper in Conference Proceedings
| Fisher,RB
|
| Model Invocation for Three Dimentional Scene Understanding
|
PP1106
| 1987 Paper in Conference Proceedings
| Fisher,RB
|
| Modeling Second-Order Volumetric Features
|
PP1105
| 1987 Paper in Conference Proceedings
| Fisher,RB
|
| Model Invocation for Three Dimentional Scene Understanding
|
PP1143
| 1986 Paper in Conference Proceedings
| Fisher,RB
|
| SMS: A Suggestive Modeling System for Object Recognition
|
PP1142
| 1986 Paper in Conference Proceedings
| Fisher,RB
|
| Identity Independent Object Segmentation in 2 1/2D Sketch Data
|
PP1119
| 1986 Paper in Conference Proceedings
| Orr,M; Fisher,RB
|
| Geometric Reasoning for Computer Vision
|
PP1104
| 1986 Paper in Conference Proceedings
| Fisher,RB
|
| A Suggestive Modeling System for Object Recognition
|
PP1103
| 1986 Paper in Conference Proceedings
| Fisher,RB
|
| Identify Independent Object Segmentation in 2 1/2D Sketch Data
|
PP1102
| 1986 Paper in Conference Proceedings
| Fisher,RB
|
| Recognizing Objects Using Surface Information and Object Models
|
PP1101
| 1983 Paper in Conference Proceedings
| Fisher,RB
|
| Using Surfaces And Object Models To Recognize Partially Obscured Objects
|
PP1100
| 1982 Paper in Conference Proceedings
| Fisher,RB
|
| A Structured Pattern Matching Approach To Intermediate Level Vision
|
PP1125
| 1980 Paper in Conference Proceedings
| Fisher,RB; Peterson,A
|
| A Facility For Interactive Digital Signal Processing
|
PP1148
| 0 Paper in Conference Proceedings
| Robertson,C; Fisher,RB; Corne,D; Werghi,N; Ashbrook,A
|
| Investigating Evolutionary Optimisation of Constrained Functions to Capture Shape Descriptions from Range Data
|
PP1137
| 0 Paper in Conference Proceedings
| Robertson,C; Fisher,RB; Corne,D
|
| Investigating Evolutionery Optimisation of Constrained Functions to Capture Shape Descriptions from Range Data
|