<%@ 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 1991
<%-- Include the code for the lines and navigation --%>
<%@ include file="/arch/middle.jsp" %>
<%@ include file="copyright.html" %>
- CS-RR-202
- A.R. Davies and R.G. Wilson,
Curve and Corner Extraction using the Multiresolution Fourier Transform,
November 1, 1991
- CS-RR-201
- Yogesh Naik,
A Temporal Approach to Requirements Specification of Real-Time Systems,
November 1, 1991
- CS-RR-200
- K. Langley, D. Fleet and T.J. Atherton,
An Instantaneous Frequency-Based Computation of Transparent Motion,
November 1, 1991
- CS-RR-199
- I.D. Craig,
Formal Techniques in the Development of Blackboard Systems,
November 1, 1991
- CS-RR-198
- M. Joseph,
Problems, Promises and Performance: Some Questions for Real-Time System Specification,
November 1, 1991
- CS-RR-197
- A. Goswami, M. Bell and M. Joseph,
ISL: An Interval Logic for the Specification of Real-time Programs,
October 1, 1991
- CS-RR-196
- A.D. Calway, H. Knutsson and R.G. Wilson,
Multiresolution Estimation of 2-d Disparity Using a Frequency Domain Approach,
October 1, 1991
- CS-RR-195
- I.D. Craig,
Logicism and Meaning : The Case Against (Draft),
October 1, 1991
- CS-RR-194
- I.D. Craig,
The Role of Formal Specification in Rule-Based Real-Time AI (Extended Abstract),
September 1, 1991
- CS-RR-193
- Ian P. Gent and A.G. Cohn,
Reasoning about Hybrid Reasoning: a Discussion,
September 1, 1991
- CS-RR-192
- T.H. Axford and M.S. Joy,
List Processing in Parallel,
August 1, 1991
- CS-RR-191
- I.D. Craig,
Rule Interpreters in ELEKTRA,
August 1, 1991
- CS-RR-190
- W.B. Goh and G.R. Martin,
Deriving Optical flow in Noisy Image Sequences,
July 1, 1991
- CS-RR-189
- S.G. Matthews,
Adding Second Order Functions to Kahn Data Flow,
July 1, 1991
- CS-RR-188
- J.A. Dain,
Syntax Error Handling in Language Translation Systems,
June 1, 1991
- CS-RR-187
- I.D. Craig,
Meanings and Messages,
June 1, 1991
- CS-RR-186
- U. Zwick and M.S. Paterson,
The Memory Game,
August 1, 1991
- CS-RR-184
- I.D. Craig,
Elektra: A Reflective Production System,
March 1, 1991
- CS-RR-183
- I.D. Craig,
Extending Cassandra,
March 1, 1991
- CS-RR-182
- I.D. Craig,
Formal Specification of AI Systems: Four Case Studies,
March 1, 1991
- CS-RR-181
- I.D. Craig,
The Formal Specification of a Blackboard Framework,
May 1, 1991
- CS-RR-180
- I.D. Craig,
Making Cassandra Parallel and Distributed,
March 1, 1991
- CS-RR-173
- Ian P. Gent,
Finding Problems in Knowledge Bases Using Modal Logics,
February 1, 1991
- CS-RR-172
- Abha Moitra and M. Joseph,
Determining Timing Properties of Infinite Real-Time Programs,
January 1, 1991
- CS-RR-171
- M.S. Paterson and U. Zwick,
Shrinkage of de Morgan Formulae under Restriction,
January 1, 1991
<%-- Include the code for the document footer --%>
<%@ include file="/arch/footer.jsp" %>