<%@ 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 1993
<%-- Include the code for the lines and navigation --%>
<%@ include file="/arch/middle.jsp" %>
<%@ include file="copyright.html" %>
- CS-RR-260
- M. Farkas, W.M. Beynon and Y.P. Yung,
Agent-oriented Modelling for a Billiards Simulation,
December 1, 1993
- CS-RR-258
- Per Bro Miltersen,
Lower Bounds for Union-Split-Find Related Problems on Random Access Machines,
December 1, 1993
- CS-RR-257
- M.J. Zemerly, E. Papaefstathiou, T.J. Atherton, Darren J. Kerbyson and Graham R. Nudd,
Smart Integration: A Test Case Study,
December 1, 1993
- CS-RR-256
- M.J. Zemerly,
Hardware Characterisation of Multi-Processor Systems,
December 1, 1993
- CS-RR-255
- M.J. Zemerly and E. Papaefstathiou,
Characterisation Survey,
December 1, 1993
- CS-RR-254
- I.D. Alexander-Craig,
A New Interpretation of the Blackboard Architecture,
October 1, 1993
- CS-RR-253
- H. Koizumi, A. Maruoka and M.S. Paterson,
Consistency of Natural Relations on Sets,
October 1, 1993
- CS-RR-252
- Tim Shuttleworth and R.G. Wilson,
Note Recognition in Polyphonic Music using Neural Networks,
October 1, 1993
- CS-RR-251
- S.G. Matthews,
An Extensional Treatment of Lazy Data Flow Deadlock,
October 1, 1993
- CS-RR-250
- Vlado Dancik and M.S. Paterson,
Upper Bounds for the Expected Length of a Longest Common Subsequence of Two Binary Sequences.,
October 1, 1993
- CS-RR-249
- M.S. Paterson,
Computer Science Seminars 1992/93,
October 1, 1993
- CS-RR-248
- A.P. King and R.G. Wilson,
Multiresolution Image Analysis Based on Local Symmetries,
September 1, 1993
- CS-RR-247
- E. Papaefstathiou, Y. Papay, Graham R. Nudd, T.J. Atherton, C. Clarke, Darren J. Kerbyson, Andrew Stratton, R. Ziani and M.J. Zemerly,
A Layered Approach To Modelling Parallel Systems For Performance Prediction,
September 1, 1993
- CS-RT-246
- Ian P. Gent,
Analytic Proof Systems for Classical and Modal Logics of Restricted Quantification,
July 1, 1993
- CS-RR-245
- Zhiming Liu, M. Joseph and Tomasz Janowski,
Specifying Schedulability for Real-Time Programs,
July 1, 1993
- CS-RR-244
- Matthew S. Ryan and Graham R. Nudd,
Dynamic Character Recognition Using Hidden Markov Models,
May 1, 1993
- CS-RR-243
- Alain P. Hiltgen and M.S. Paterson,
PIk Mass Production and an Optimal Circuit for the Nechiporuk Slice,
June 1, 1993
- CS-RR-242
- D.J. Walker,
Process Calculus and Parallel Object-oriented Programming Languages,
April 1, 1993
- CS-RR-241
- Richard Cole, Ramesh Hariharan, M.S. Paterson and U. Zwick,
Tighter Lower Bounds on The Exact Complexity of String Matching,
March 1, 1993
- CS-RR-240
- Artur Czumaj and A.M. Gibbons,
Problems on Pairs of Trees and the Four Colour Problem of Planar Graphs,
February 1, 1993
- CS-RR-239
- L.A. Novak and A.M. Gibbons,
Superperfect Pairs of Trees in Graphs,
February 1, 1993
- CS-RR-238
- Matthew S. Ryan and Graham R. Nudd,
The Viterbi Algorithm,
February 1, 1993
- CS-RR-237
- Doron Peled and M. Joseph,
A Compositional Framework for Fault-Tolerance by Specification Transformation,
January 1, 1993
- CS-RR-236
- A.D. Calway and R.G. Wilson,
Curve Extraction in Images Using a Multiresolution Framework,
January 1, 1993
<%-- Include the code for the document footer --%>
<%@ include file="/arch/footer.jsp" %>