Technical Reports

Quick index

• 2005 Tech Reports
• 2004 Tech Reports
• 2003 Tech Reports
• 2002 Tech Reports
• 2001 Tech Reports
• 2000 Tech Reports
• 1999 Tech Reports
• 1998 Tech Reports
• 1997 Tech Reports
• 1996 Tech Reports
• 1995 Tech Reports
• 1994 Tech Reports
• 1993 Tech Reports
• 1992 Tech Reports
• 1991 Tech Reports
• 1990 Tech Reports
• 1989 Tech Reports
• 1988 Tech Reports
• 1987 Tech Reports

2005

1. NP union co-NP has polymomial circuit size - Bruce Litow
2. Rational Weight Finite Automaton Bounded-Length Behavior Equality - Bruce Litow
3. A Census Algorithm for Chinese Remainder Pseudorank with Experimental Results - Bruce Litow and David Laing

2004

1. The Integer Linear Recurrence Zero Set Under the Microscope - Bruce Litow
2. Graph Traversal & Graph Transformation - Jason Holdsworth
3. On a Special Case of Unary Regular Language Containment - Bruce Litow
4. Compression of Vertex Transitive Graphs - Bruce Litow, Narsingh Deo, and Aurel Cami
5. On Adjoining the Primes to MT - Bruce Litow
6. Mining Frequency-Incorporated Interdependencies in Large Area-Aggregate Spatiotemporal Datasets - Ickjai Lee
7. Fast Qualitative Reasoning about Categories in Conceptual Spaces - Ickjai Lee
8. Cluster Validity Through Graph-based Boundary Analysis - Jianhua Yang and Ickjai Lee
9. Mining Multivariate Associations within GIS Environments - Ickjai Lee

2003

1. Integer Coprimality is in NC - Bruce Litow
2. A Note on Commutative Multivariate Rational Series - Bruce Litow
3. Graph Compression and the Zeros of Polynomials - Bruce Litow and Narsingh Deo
4. Inequality of Finite Behaviors of Rational Weight Finite Automata is in R - Bruce Litow
5. Polynomial Equation Elimination via Tarski Algebra - Bruce Litow
6. Protein Folding and Spin Glasses - Bruce Litow and Arianne Ford
7. A bounded coefficient series representation for unary regular languages - Bruce Litow

2002

1. On the Boolean Closure of Semilinear Sets I - Bruce Litow and Klaas Hartmann
2. Withdrawn Time Bounded Computing - Bruce Litow
3. Testing Formal Polynomial Equality - Bruce Litow
4. A Combinatorial Application fo the Baker-Hausdorff Theorem - Bruce Litow and Jason Holdsworth

2001

1. Nilpotent Finite Automata Over the Rationals - Bruce Litow and Olivier de Vel

2000

1. System Description: PTTP+GLiDeS - Semantically Guided PTTP   Marianne Brown and Geoff Sutcliffe
2. Evaluating General Purpose Automated Theorem Proving Systems   Geoff Sutcliffe and Christian Sutner.

1999

1. The Nature of Breadth-First Search   Jason Holdsworth

2. The TPTP Problem Library - v2.2.0   Christian B. Suttner and Geoff Sutcliffe

3. Forbidden Pairs Combinatorics   Narsingh Deo and Bruce Litow

4. On the Basic Parameters of Automaton-Based Image Compression   Bruce Litow and Olivier de Vel

5. A Note on the Discrete Convolution Theorem   Bruce Litow

1998

1. The CADE-14 ATP System Competition   Geoff Sutcliffe and Christian B. Suttner

2. REMOVED: Line-Based Face Recognition under Varying Pose Stefan Aeberhard and Olivier de Vel

3. REMOVED: Object Recognition using Random Image-lines Olivier de Vel and Stefan Aeberhard

4. On Hadamard Square Roots of Unity Bruce Litow

5. REMOVED: A Simple Subexponential Time Algorithm for Hamiltonian Circuit Bruce Litow

1997

1. On the structure of the pixel pattern of a line in the plane Bruce Litow and Peter Stephenson

2. A Recursive GSA Acquisition Algorithm for Image Compression Bruce Litow and Olivier de Vel

3. Generating Dynamic Program Analysis Tools Anthony M. Sloane

4. A Study of Shape in Dynamic Handwritten Signature Verification Gopal K. Gupta and Rick C. Joyce

5. A Jumping Spider to Index Concepts that Span Pages Curtis E. Dyreson

6. Content-based Navigation in a Mini-World Web Curtis E. Dyreson

8. The TPTP Problem Library - v2.1.0 Christian B. Suttner, Geoff Sutcliffe

9. REMOVED: View-based Object Recognition Using Image Lines Olivier de Vel and Stefan Aeberhard

10. REMOVED: Face Recognition using Multiple Image View Line Segments Stefan Aeberhard and Olivier de Vel

1996

1. REMOVED: Lines and the Two-Dimensional Lattice Peter Stephenson and Bruce Litow

2. Bounded Length UCFG Equivalence Bruce Litow

3. Weakly Bounded Probabilistic Polytime is Contained in POLYSIZE Bruce Litow

4. Optimal Distributed Algorithms in Unlabelled Tori and Chordal Rings Bernard Mans

5. Using Artificial Neural Networks for Meteor-Burst Communications Trail Prediction Stuart Melville, Geoff Sutcliffe, David Fraser

6. The Practise of Clausification in automatic Theorem Proving Geoff Sutcliffe and Stuart Melville

7. Information Retrieval from an Incomplete Data Cube Curtis Dyreson

8. An Experiment in Class Management Using the World-Wide Web Curtis Dyreson

9. The TPTP Problem Library Christian B. Suttner and Geoff Sutcliffe

10. Teaching Computer Science as the Science of Information Gopal Gupta

11. On the Adam Property for Circulant Graphs Bernard Mans and Bruce Litow

12. Randomised Techniques to Efficiently Approximate Spectral Coefficients and Autocorrelation Coefficients. David Wessels

13. Nano-Mechanical ComputingUsing Multiple-Valued Logic Programmable Logic Arrays David Wessels

14. Optimising Project Planning Through Feasible Path Analysis David Wessels

15. Mathematics in the TPTP Problem Library (v1.2.1) Geoff Sutcliffe and Christian B. Suttner

16. Knowledge Structuring, Navigation and Retrieval in a Virtual World Wide Web Shyam Kapur and Olivier de Vel

17. REMOVED: The Rational Sequence Problem Bruce Litow

18. Text Summarisation for Knowledge Filtering Agents in Distributed Heterogeneous Environments Helen Leong, Shyam Kapur and Olivier de Vel

19. Analysis of Generalised Stochastic Automaton Image Compression Bruce Litow and Olivier de Vel

20. Supporting Valid-time Indeterminacy Curtis E. Dyreson and Richard T. Snodgrass

1995

1. The Weighted Finite Automaton Inference Problem Bruce Litow and Olivier de Vel

2. Compact Search Trees for Main Memory Indices James Bell

3. Decidable Cases of the Rational Sequence Problem B. Litow

4. WITHDRAWN: Integer Division is in NC Andrew Chiu, George Davida, and Bruce Litow

5. A Size Efficient Polylog Time Context-Free Language Recognition Algorithm Bruce Litow

6. The TPTP Problem Library Christian B. Suttner and Geoff Sutcliffe

7. Efficiently Supporting Temporal Granularities in a DBMS Curtis E. Dyreson, Richard T. Snodgrass, & Marshall Freiman.

8. Beyond Traditional Program Slicing Anthony M. Sloane & Jason Holdsworth

9. Portable Distributed Priority Queues with MPI Bernard Mans

10. Multi-scale Adaptive Segmentation using Edge and Region Based Attributes Brendan McCane and Terry Caelli

11. The Boomerang White Paper: A Page As You Like It Curtis E. Dyreson and Anthony M. Sloane

12. Learning to Recognise 3D Objects from 2D Views Brendan McCane, Terry Caelli & Olivier de Vel

13. A Tool for Introducing Persistent Programming Lukito Nugroho & Geoff Sutcliffe

14. Automatic Filtering of Now-centric Data Curtis E. Dyreson

15. The Design of the CADE-13 ATP System Competition Geoff Sutcliffe and Christian B. Suttner

16. ATP System Results for the TPTP Problem Library (upto TPTP v1.1.3) Geoff Sutcliffe and Christian B. Suttner

1994

1. Compiler Detection of Function Call Side Effects - D.A. Spuler & A.S.M. Sajeev

2. Optimal Binary Split Trees Revisited - D.A. Spuler

3. Compiler Code Generation for Multiway Branch Statements as a Static Search Problem - D.A. Spuler

4. Learning and Using UNIX(tm) - G.K. Gupta & L.G. Siebuhr

5. A Stereo Matching Algorithm Using Curve Segments and Cluster Analysis - B. McCane & O. de Vel

6. Evaluation of Automatically-Generated Compilers - Anthony M. Sloane

7. The Influence of Graph Structure on Generalized Dimension Exchange - B. Litow

8. Comparative Performance Analysis of Non-Linear Dimensionality Reduction Methods - S. Li, D. Coomans & O. de Vel

9. Optimization in a Hierarchical Distributed Performance Monitoring System - L. Shi , O. de Vel, J. Cao & M. Cosnard

10. Implementation of an Intelligent Document Understanding and Reproduction System - Michael Sharpe, Geoff Sutcliffe , & Nizam Ahmed

1993

1. Procedures with Preconditions as Parallel Programs - A.S.M. Sajeev

2. Supporting a Rapid Prototyping System for Distributed Algorithms on a Transputer Network - J. Cao, O. de Vel & K.L. Wong

3. Aspects of Shape-from-X - B. McCane

4. The Performance of Statistical Pattern Recognition Methods in High Dimensional Settings - S. Aeberhard, D. Coomans & O. de Vel

5. An Atmospheric Cloud Model for Image Synthesis and Deterministic and Non-deterministic Animation - B. McCane & P. Stephenson

6. Prolog-D-Linda v2: A New Embedding of Linda in SICStus Prolog - G. Sutcliffe

7. The Simulation of the Behaviour and Evolution of Artificial Organisms - R. Milward, O. de Vel

8. Performance Analysis of a Load Balancing Algorithm - S.H. Hosseini, K. Vairavan (U. Wisconsin-Milwaukee), B. Litow

9. A Context-Free Language Decision Problem - B. Litow

10. New Fast Algorithms for Variable Selection Based on Classifier Performance - S. Aeberhard, O. de Vel & D. Coomans

11. The TPTP Problem Library v1.1.0 - C. Suttner, G. Sutcliffe, T. Yemenis

1992

1. Extensions to Regularised Discriminant Analysis - S. Aeberhard, D. Coomans & O. de Vel

2. An Empirical Study of Nearly Optimal Binary Search Trees - D.A. Spuler & G.K. Gupta

3. The Best Algorithm for Searching a Binary Search Tree - D.A. Spuler

4. The Optimal Binary Search Tree for Anderssons's Search Algorithm - D.A. Spuler

5. Two-Way Comparison Search Trees A Generalization of Binary Search Trees and Split Trees - D.A. Spuler

6. Compiler Optimization for ANSI C - D.A. Spuler

7. Static Detection of Preprocessor Macro Errors in C - D.A. Spuler & A.S.M. Sajeev

8. Self-Assessment Procedure on Principles of Compilers - A.S.M. Sajeev

9. Binary Split Tree Insertion and Deletion Algorithms - D.A. Spuler & G.K. Gupta

10. Array and Wavefront Array Processors - O. de Vel & P. Thomas

11. Comparative Performance of Multilayer Perceptrons and Conventional Supervised and Unsupervised Classifiers for Coastal Terrain Classification - O. de Vel & J. van den Muyzenburg

12. Backwards Context Approximation - J. Farrell

13. Implementation of an IPC Rapid Prototyping System on a Transputer Network - J. Cao & O. de Vel

1991

1. The Use of Linear-time Systolic Algorithms for the Solution of Toeplitz Problems - D.R. Sweet

2. . Resource Sharing By Time Stealing Between DOS PCs On A LAN - S. Misra & M. Asawa

3. Query Plan Correction in Distributed Database Systems - Y. Jiang, J. Cao & G.K. Gupta

4. Dynamic Distributed Query Processing Through Query Migration - Y. Jiang, J. Cao & G.K. Gupta

5. An Abstract Model of Rollback Recovery Control in Distributed Systems - J. Cao

6. Efficient Synchronous Checkpointing in Distributed Systems - J. Cao &K.C. Wang

7. An Evaluation of Self-Adjusting Binary Search Tree Techniques - J. Bell & G.K. Gupta

8. . Programming Persistence In x - A.S.M. Sajeev & A.J. Hurst

9. Implementing Linear Hashing in Main Memory - J. Bell & G.K. Gupta

1990

1989

5. User Authorisation Based on Keystroke Latencies - R. Joyce & G.K. Gupta

6. Mapping Conceptual Graphs onto Natural Language - R. Joyce & J. Bell

7. Blue Skies to Red Sunsets - R. Joyce & P. Stephenson

8. Dynamic Data Balancing Algorithm for a Shared-Nothing Multiprocessor Database System - Y. Jiang, P. Chaudhuri, G.K. Gupta

1988

3. A Knowledge Representation Environment for Shared World Knowledge - R. Joyce

4. The Propagation of Rounding Errors in Pivoting Techniques for Toeplitz Matrix Solvers - D.R. Sweet

1987

1. The Use of Pivoting to Improve the Numerical Performance of Toeplitz Matrix Algorithms - D.R. Sweet

2. Humor Generation - R. Joyce