<%@ page language="java" contentType="text/html" %> <%-- Include common initialisation code --%> <%@ include file="/arch/common.jsp" %> <%-- The current tab --%> <% String currentTab = "Research"; %> <%-- Content of navigation pane --%> <%@ include file="nav.jsp" %> <% showCurrentLink=true; %> <%-- Current navigation location --%> <% String currentNav = "Reports and Theses"; %> <%-- Include the code for the document header --%> <%@ include file="/arch/header.jsp" %>

Research Reports 1987

<%-- Include the code for the lines and navigation --%> <%@ include file="/arch/middle.jsp" %> <%@ include file="copyright.html" %>
CS-RR-115
R.M. Howarth, A Heterogeneous Pyramid Array Architecture for Image Understanding, December 1, 1987
CS-RR-114
R.F. Thomas, ITS Methodology for Problem Solving and Programming, December 1, 1987
CS-RR-113
I.D. Craig and R.F. Thomas, Learning to Program: A Cognitive Model for an ITS, December 1, 1987
CS-RR-112
R.W. McColl and G.R. Martin, Quantisation of Digitised Colour Images, November 1, 1987
CS-RR-111
W.M. Beynon and Y.W. Yung, Implementing a Definitive Notation for Interactive Graphics, November 1, 1987
CS-RR-110
I.D. Craig, Blackboard Systems, November 1, 1987
CS-RR-109
W.M. Beynon, Monotone Boolean Functions as Combinatorially Piecewise Linear Maps (preliminary version), November 1, 1987
CS-RR-108
A.D. Calway and R.G. Wilson, Hierarchical Descriptors for Nonstationary 1 and 2 Dimensional Signal Processing, October 1, 1987
CS-RR-107
M.F. Rafter, FORMATTED STREAMS: Extensible Formatted I/O for C++ Using Object-Oriented Programming, October 1, 1987
CS-RR-106
M. Campbell-Kelly, Charles Babbage's Table of Logarithms (1827), September 1, 1987
CS-RR-105
A.M. Gibbons, A. Israeli and W. Rytter, Parallel O(log(n)) Time Edge-Colouring of Trees and Halin Graphs, June 1, 1987
CS-RR-104
W. Rytter, On Efficient Parallel Computations for Some Dynamic Programming Problems, June 1, 1987
CS-RR-103
I.D. Craig and D.H. Wilson, CONFER: A Knowledge System for Bio-process Control, June 1, 1987
CS-RR-102
J.A. Dain, Minimum Distance Error Correction, June 1, 1987
CS-RR-101
I.D. Craig, The Blackboard Architecture: Example Systems, May 1, 1987
CS-RR-100
A.M. Gibbons and W. Rytter, Observations on the Disjointness Problem for Rational Subsets of Free Partially Commutative Monoids, May 1, 1987
CS-RR-099
W. Rytter, June 100 Exercises in the Theory of Automata and Formal Languages, April 1, 1987
CS-RR-098
I.D. Craig, The Blackboard Architecture: A Definition and its Implications, March 1, 1987
CS-RR-097
I.D. Craig, SeRPenS - A Production Rule Interpreter, March 1, 1987
CS-RR-096
M. Joseph and P. Pandya, Specification and Verification of Total Correctness of Distributed Programs, February 1, 1987
CS-RR-095
M.S. Joy and T.H. Axford, A Standard for a Graph Representation for Functional Programs, February 1, 1987
CS-RR-094
I.D. Craig, The BB-SR System, January 1, 1987
CS-RR-093
W.M. Beynon, Definitive Principles for Interactive Graphics, February 1, 1987
CS-RR-092
I.D. Craig, An Overview of CASSANDRA-II, January 1, 1987
CS-RR-091
I.D. Craig, A Distributed Blackboard Architecture, January 1, 1987
CS-RR-090
I.D. Craig, CASSANDRA-II: A Distributed Blackboard System, January 1, 1987
CS-RR-089
M.S. Paterson, Improved Sorting Networks with O(log n) Depth, January 1, 1987
CS-RR-088
M.S. Joy and V.J. Rayward-Smith, NP-Completeness of a Combinator Optimisation Problem, January 1, 1987
<%-- Include the code for the document footer --%> <%@ include file="/arch/footer.jsp" %>