| WP269
| 1998 Working Paper
| Taylor,TJ
|
| Nidus Design Document
|
| WP268
| 1998 Working Paper
| Tuson,AL
|
| An Initial Investigation of the Flowshop Sequencing Problem
|
| WP267
| 1998 Working Paper
| Tuson,AL
|
| Directing Search Using an Idle-Time Heuristic for the Flowshop Sequencing Problem
|
| WP266
| 1998 Working Paper
| Tuson,AL
|
| An Examination of Recombination in the Flowshop Sequencing Problem
|
| WP265
| 1998 Working Paper
| Tuson,AL
|
| An Examination of Alternative Representations for the Permutation Flowshop Sequencing Problem
|
| WP264
| 1998 Working Paper
| Tuson,AL
|
| Issues and Aspects in the Development of a Prototype Emergency Resource Redistribution System for the Developing World
|
| WP263
| 1997 Working Paper
| Taylor,TJ
|
| The Cosmos Artificial Life System
|
| WP262
| 1997 Working Paper
| Whittle,JN
|
| A Survey of Analogical Approaches to Programming
|
| WP261
| 1996 Working Paper
| Tuson,AL; Wheeler,R; Ross,PM
|
| A Prototype Resource Management System for the Third World
|
| WP260
| 1996 Working Paper
| Jamnik,M
|
| Diagrammatic Reasoning Systems
|
| WP259
| 1996 Working Paper
| Taylor,TJ
|
| The Cosmos Environment and Replica Programming Language
|
| WP258
| 1996 Working Paper
| Taylor,TJ
|
| On the Incorporation of a Developmental Process in a System of Self-Replicating Programs
|
| WP257
| 1995 Working Paper
| Wright,M; Deacon,G
|
| Orienting 2.5D Objects of Arbitrary Shape
|
| WP256
| 1994 Working Paper
| Carrera-Sanchez,R
|
| The Mode Analysis for Logic Programs in Toads
|
| WP255
| 1994 Working Paper
| Negrete-Yankelevich,S
|
| Some Examples of Proof Planning in Logical Frameworks
|
| WP254
| 1994 Working Paper
| Monroy-Borja,R
|
| Abduction Mechanisms
|
| WP253
| 1993 Working Paper
| Brna,P
|
| Computer Aided Recognition of Misconceptions About Simple Electrical Circuits
|
| WP241
| 1993 Working Paper
| Hayes,GM
|
| None yet
|
| WP252
| 1992 Working Paper
| Brna,P
|
| How do Beliefs Affect the Construction of Electrical Circuits ?
|
| WP251
| 1992 Working Paper
| Brna,P
|
| Experiments in Circuit Construction: do Students Reason with, and About Processes ?
|
| WP250
| 1992 Working Paper
| Brna,P
|
| Guiding and Supporting the Exploration of Electrical Circuits
|
| WP249
| 1992 Working Paper
| Brna,P
|
| The Specification of Objects, Processes and Concepts
|
| WP240
| 1992 Working Paper
| Frank,I
|
| Further Thoughts on Interleaving Bridge Suit-Plans
|
| WP239
| 1992 Working Paper
| Frank,I
|
| Interleaving Independently Derived Bridge Suit-Plans
|
| WP238
| 1992 Working Paper
| Deacon,G
|
| An Algorithm for Orienting Objects in a Minimum Number of Robot Sweeping Motions
|
| WP237
| 1992 Working Paper
| Balch,P
|
| Force Sensing in an Industrial Assembly - Progress Report
|
| WP236
| 1992 Working Paper
| Balch,P
|
| Direct Rtx Controller - Hardware Description
|
| WP235
| 1992 Working Paper
| Balch,P
|
| A Software Architecture for Robot Assembly
|
| WP234
| 1992 Working Paper
| Balch,P
|
| Rtcserl - Controlling the Rtx Via the Pc and a Serial Line Command Interface
|
| WP233
| 1992 Working Paper
| Orr,M
|
| On Estimating Rotations
|
| WP232
| 1992 Working Paper
| Orr,M
|
| A Mickey Mouse Guide to Kalman Filtering
|
| WP248
| 1991 Working Paper
| Brna,P
|
| Recognising Objects in Electrical Circuits
|
| WP247
| 1991 Working Paper
| Brna,P
|
| The Structural Description of Electrical Objects
|
| WP246
| 1991 Working Paper
| Brna,P
|
| A Framework for Describing Misconceptions in Relation to Building Simple Electrical Circuits
|
| WP245
| 1990 Working Paper
| Brna,P
|
| An Outline Design for a System to Explore the Automated Recognition of Misconceptions
|
| WP244
| 1990 Working Paper
| Brna,P
|
| Representing Circuit Construction Tasks
|
| WP243
| 1990 Working Paper
| Brna,P
|
| Issues Relating to the Circuit Animator
|
| WP242
| 1990 Working Paper
| Brna,P
|
| The Representation of Electrical Processes
|
| WP231
| 1990 Working Paper
| Baker,S
|
| Notes on the Implementation of the Cut Elimination Theorem
|
| WP230
| 1990 Working Paper
| Dehua,L
|
| On the Huge Thinking Systems
|
| WP229
| 1990 Working Paper
| Dehua,L
|
| The Various Models of Social (Collective) Thinking Processes in Scientific Research
|
| WP228
| 1990 Working Paper
| Cai,L
|
| Zero-Drift Effects in Location of Tangent Joins of Planar Curves
|
| WP227
| 1990 Working Paper
| Carletta,J
|
| A General Architecture for Interactive Explanations
|
| WP226
| 1990 Working Paper
| Thornton,C
|
| The Representation of Abstract Classes
|
| WP225
| 1990 Working Paper
| Thornton,C
|
| Knowledge Quantification and Algorithmic Complexity
|
| WP224
| 1990 Working Paper
| Thornton,C
|
| Generalised Clustering and the Construction of Template-Based Representations
|
| WP223
| 1990 Working Paper
| Thornton,C
|
| The Combinatorics of Leaky Learning
|
| WP222
| 1990 Working Paper
| Thornton,C
|
| Vertical Bias Shifts
|
| WP221
| 1990 Working Paper
| Thornton,C
|
| Three Types of Incorrect Description Bias
|
| WP220
| 1989 Working Paper
| Petropoulakis,L
|
| Robot Orientation Angles Evaluation and Limitations - the Adept 1
|
| WP219
| 1989 Working Paper
| Petropoulakis,L; Malcolm,CA; Howe,J
|
| Rapt: an Assessment of an Off-Line System for Programming Robotic Assemblies
|
| WP218
| 1989 Working Paper
| Nowell,P
|
| A Trained Dtw Algorithm for Word Spotting in Phoneme Strings
|
| WP217
| 1988 Working Paper
| Whitelock,P
|
| The Organisation of a Bilingual Lexicon
|
| WP216
| 1988 Working Paper
| Robertson,DS; Bundy,A; Muetzelfeldt,B; Uschold,M
|
| The Ecologic System - See Technical Paper
|
| WP215
| 1988 Working Paper
| Robertson,A
|
| Tolerance Representation in Ai-Based Design
|
| WP214
| 1988 Working Paper
| Horn,C
|
| The Nurprl Proof Development System
|
| WP213
| 1988 Working Paper
| Guinchiglia,F
|
| On Tautology Decision Techniques
|
| WP212
| 1987 Working Paper
| Brna,P; Bundy,A; Pain,HG; Lynch,L
|
| Impurities and the Proposed Prolog Story
|
| WP211
| 1987 Working Paper
| Fisher,RB
|
| The Design of Imagine Ii Scene Analysis Program
|
| WP210
| 1987 Working Paper
| Fisher,RB
|
| Details of a Network Engine for Algebraic and Geometric Reasoning
|
| WP209
| 1987 Working Paper
| Jackson,P; Reichgelt,H
|
| A Modal Proof Method for Doxastic Reasoning in Incomplete Theories
|
| WP208
| 1987 Working Paper
| Jackson,P; Reichgelt,H
|
| A General Proof Method for Arbitrary First-Order Modal Logics
|
| WP207
| 1987 Working Paper
| Aylett,J; Fisher,RB; Fothergill,A
|
| Wpfm: the Workspace Prediction and Fast Matching System
|
| WP206
| 1987 Working Paper
| Jackson,P
|
| Abstract Architectures for Knowledge Engineering
|
| WP205
| 1987 Working Paper
| Fisher,RB
|
| Solving Algebraic Constraints in a Parallel Network, as Applied to Geometric Reasoning
|
| WP204
| 1987 Working Paper
| Orr,M
|
| Coordinate Transforms Using Quaternions
|
| WP203
| 1987 Working Paper
| Orr,M
|
| Geometric Constraints in 3D Computer Vision
|
| WP202
| 1987 Working Paper
| Heald,S
|
| A Discussion of Modelling Schemes Used in Robotics and Vision Systems
|
| WP201
| 1987 Working Paper
| Moffat,D; Ritchie,GD
|
| A Preliminary Formalization of Nonlinear Planners
|
| WP200
| 1987 Working Paper
| Cai,L
|
| Diffusion Smoothing of Dense Range Data
|
![[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}