Browse

ftp://agora.leeds.ac.uk (244)

	ftp://agora.leeds.ac.uk/scs/doc/reports/1993/93_1.ps.Z, 19930209 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 93.1 Efficient Mesh Partitioning for Parallel P.D.E. Solvers on Distributed Memory Machines1 by D C Hodgson & P K Jimack Division of Computer Science January 1993 1Extended version of the paper which appears in the proceedings
	ftp://agora.leeds.ac.uk/scs/doc/reports/1993/93_2.ps.Z, 19930210 Univ
	ftp://agora.leeds.ac.uk/scs/doc/reports/1993/93_4.ps.Z, 19930210 Univ
	ftp://agora.leeds.ac.uk/scs/doc/reports/1993/93_3.ps.Z, 19930210 Univ
	ftp://agora.leeds.ac.uk/scs/doc/reports/1993/93_7.ps.Z, 19930218 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 93.7 Models in Decision Analysis by Simon French Division of Operational Research and Information Systems February 1993 Part I Uncertainty and Imprecision : Modelling and Analysis
	ftp://agora.leeds.ac.uk/scs/doc/reports/1993/93_8.ps.Z, 19930218 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 93.8 A Consistent User Model for a GIS Incorporating Remotely Sensed Data by Mark Gahegan Division of Operational Research and Information Systems February 1993
	ftp://agora.leeds.ac.uk/scs/doc/reports/1993/93_10.ps.Z, 19930219 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 93.10 Query-centred Interpretation of Remotely-Sensed Images within a GIS by Mark Gahegan and Julien Flack Division of Operational Research and Information Systems February 1993 To be presented at the European Conference of
	ftp://agora.leeds.ac.uk/scs/doc/reports/1993/93_6.ps.Z, 19930318 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 93.6 Harmonising a Lexical Database With a Corpus-Based Grammar by Clive Souter Division of Artificial Intelligence January 1993 1. Background. In the last six years at Leeds, much work has been done on the automatic extraction
	ftp://agora.leeds.ac.uk/scs/doc/reports/1993/93_5.ps.Z, 19930318 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 93.5 Towards a Standard Format for Parsed Corpora by Clive Souter Division of Artificial Intelligence January 1993 1. Introduction. This paper will review the different formatting styles used in the annotation of existing
	ftp://agora.leeds.ac.uk/scs/doc/reports/1993/93_12.ps.Z, 19930325 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 93.12 A Parameterised Module System for Constructing Typed Logic Programs by P M Hill1 D i v i s i on of A r t i c i a l In te l l i g e n ce March 1993 1Supported by SERC grant GR/H/79862
	ftp://agora.leeds.ac.uk/scs/doc/reports/1993/93_11.ps.Z, 19930331 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 93.11 NightWatch: An Astronomical Observation Scheduler using Constraint Satisfaction with Delayed Evaluation by J E Spragg & B M Smith D i v i s i o n o f A rt i c i a l In te l l i g en c e March 1993
	ftp://agora.leeds.ac.uk/scs/doc/reports/1993/93_13.ps.Z, 19930401 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 93.13 Taking a Closer Look at a Simple Bipos Language Model by Joerg Ueberla D i v i s i on of A r t i c i a l In te l l i g e n ce March 1993 1 Introduction A speech recognizer has to choose, at each point in the utterance,
	ftp://agora.leeds.ac.uk/scs/doc/reports/1993/93_17.ps.Z, 19930419 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 93.17 A Model To Support the Integration of Image Understanding Techniques within a GIS* by Mark Gahegan & Julien Flack Division of Operational Research and Information Systems April 1993 *Presented at the 25th International
	ftp://agora.leeds.ac.uk/scs/doc/reports/1993/93_15.ps.Z, 19930419 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 93.15 User Involvement in Office Automation: Overcoming the Barriers by M M Kaddah* & T G Gough Division of Operational Research and Information Systems April 1993 *Academic Computing Services, The American University in Cairo,
	ftp://agora.leeds.ac.uk/scs/doc/reports/1993/93_14.ps.Z, 19930420 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 93.14 State Language Models for Speech Recognition1 by Joerg Ueberla D i v i s i on of A r t i c i a l In te l l i g e n ce April 1993 1Also published as Report CMP TR 93-03, School of Computing Science, Simon Fraser
	ftp://agora.leeds.ac.uk/scs/doc/reports/1993/93_19.ps.Z, 19930421 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 93.19 The Completion of Typed Logic Programs and SLDNF-Resolution by P M Hill D i v i s i o n o f A r t i c i a l In te l l i g e n ce April 1993 Work supported by SERC Grant GR/H/79862
	ftp://agora.leeds.ac.uk/scs/doc/reports/1993/93_9.ps.Z, 19930511 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 93.9 Experiments with a Reassignment Heuristic for Large Constraint Satisfaction Problems by B M Smith D i v i s i o n o f A r t i c i a l In te l l i g e n ce February 1993
	ftp://agora.leeds.ac.uk/scs/doc/reports/1993/93_20.ps.Z, 19930518 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 93.20 The Shallow Level of Knowledge Representation by N D Silver & P L Mott D i v i s i on of A r t i c i a l In te l l i g e n ce May 1993
	ftp://agora.leeds.ac.uk/scs/doc/reports/1993/93_21.ps.Z, 19930617 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 93.21 New NAG Library Software for First-order Partial Differential Equations by S V Pennington & M Berzins D i v i s i o n o f C o m p u te r S c i en ce June 1993 To appear in ACM Transactions on Mathematical Software.
	ftp://agora.leeds.ac.uk/scs/doc/reports/1993/93_22.ps.Z, 19930628 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 93.22 Enriching Rules in a Driver Duty Estimator by Liping Zhao, Anthony Wren & Raymond Kwan Division of Operational Research & Information Systems June 1993 Presented at the VIth International Workshop on Computer Aided
	ftp://agora.leeds.ac.uk/scs/doc/reports/1993/93_23.ps.Z, 19930630 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 93.23 Bus Scheduling with Trip Coordination and Complex Constraints by Raymond S.K. Kwan and Mohammad A. Rahin Division of Operational Research & Information Systems June 1993 Presented at the VIth International Workshop on
	ftp://agora.leeds.ac.uk/scs/doc/reports/1993/93_18.ps.Z, 19930705 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 93.18 Temporal Error Control for Convection-Dominated Equations in Two Space Dimensions by M Berzins Division of Computer Science April 1993
	ftp://agora.leeds.ac.uk/scs/doc/reports/1993/93_24.ps.Z, 19930705 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 93.24 Applications of Information Technology for Bus and Driver Scheduling by Raymond Kwan, Anthony Wren, Liping Zhao Ross Clement & Mohammad Rahin Division of Operational Research & Information Systems June 1993 To be
	ftp://agora.leeds.ac.uk/scs/doc/reports/1993/93_25.ps.Z, 19930707 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 93.25 A Two-Way Parallel Partition Method for Solving Tridiagonal Systems by C Walshaw & S J Farr D i v i s i o n o f C o m p u te r S c i en ce June 1993
	ftp://agora.leeds.ac.uk/scs/doc/srg/KR89.ps, 19930714 This is a slightly revised version of a paper which appears in Principles of Representational Reasoning, ed R Brachman et al, Morgan Kaufmann, Los Altos, 1989. Modelling Topological and Metrical Properties in Physical Processes. D.A. Randell and A.G. Cohn Dept of Computer Science University of Warwick,
	ftp://agora.leeds.ac.uk/scs/doc/srg/QR92.ps, 19930714 Qualitative Simulation Based On A Logic Of Space And Time This paper was presented at the 6th International Workshop on Qualitative Reasoning about Physical Systems, Heriot-Watt University, Edinburgh Z. Cui, A.G. Cohn and D.A. Randell School of Computer Studies University of Leeds, Leeds, LS2 9JT, UK
	ftp://agora.leeds.ac.uk/scs/doc/srg/CADE92.ps, 19930714 Computing Transitivity Tables: This paper appeared in Proc CADE, LCNS, Springer Verlag, 1992. A Challenge For Automated Theorem Provers D A Randell, A G Cohn and Z Cui Division of Artificial Intelligence School of Computer Studies University of Leeds, Leeds LS2 9JT, England fdr, agc,
	ftp://agora.leeds.ac.uk/scs/doc/srg/SSD93.ps, 19930714 Qualitative and Topological Relationships Appeared in Advances in Spatial Databases, Lecture Notes in Computer Science No. 692, ed D Abel and B C Ooi, Springer Verlag, Berlin, pp 296-315, 1993 Z Cui 1, A G Cohn 2 and D A Randell 3 1 Advanced Computation Laboratory, Imperial Cancer Research Fund London
	ftp://agora.leeds.ac.uk/scs/doc/srg/IJCAI93-WS.ps, 19930714 Modal and Non Modal Qualitative Spatial Logics This paper was presented at the workshop on spatial and temporal reasoning, IJCAI93 , Chambery. A G Cohn
	ftp://agora.leeds.ac.uk/scs/doc/srg/AAAI92.ps, 19930714 Qualitative Simulation Based On A Logical Formalism Of Space And Time This paper appeared in the Proceedings of AAAI92. Z. Cui, A.G. Cohn and D.A. Randell Division of Artificial Intelligence School of Computer Studies University of Leeds, Leeds, LS2 9JT, England fcui,agc,drg@dcs.leeds.ac.uk
	ftp://agora.leeds.ac.uk/scs/doc/srg/KR89-fig.ps, 19930714 C(x,y) DC(x,y) P(x,y) PP(x,y) O(x,y) DR(x,y) EC(x,y) PO(x,y) TPP(x,y) NTPP(x,y)NTP(x,y)TP(x,y) x=y TPI(x,y) DC EC PO = DC EC PO x Figure 1 Figure 2: The basic mereological lattice T C Figure 5 Part of the continuity/redescription table NTS NTPPTPPTS TS TPP NTS NTPP p p p p => Figure 3: Inversion of
	ftp://agora.leeds.ac.uk/scs/doc/srg/KR92.ps, 19930714 A Spatial Logic based on Regions and Connection This paper is a slightly revised version of a paper that appeared in the 3rd Int. Conf. on Knowledge Representation and Reasoning, Morgan Kaufmann, 1992. David A. Randell, Zhan Cui and Anthony G. Cohn Division of Artificial Intelligence School of Computer
	ftp://agora.leeds.ac.uk/scs/doc/srg/QP89.ps, 19930714 1 1 2 This paper appeared in `Recent Advances in Qualitative Physics' ed. P Struss and B Faltings, MIT Press, 1992 Naive Topology: modelling the force pump D. A. Randell, A. G. Cohn and Z. Cui 12.1 Introduction AI has long sought computationally efficient and expressive ways to represent non-trivial
	ftp://agora.leeds.ac.uk/scs/doc/reports/1993/93_35.ps.Z, 19930906 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 93.35 A Best Approximation Property of the Moving Finite Element Method by P K Jimack Division of Computer Science September 1993
	ftp://agora.leeds.ac.uk/scs/doc/srg/QUARDET93.ps, 19930915 This paper is a slightly revised version of a paper that appeared in Qualitative Reasoning and Decision Technologies, ed. P Carrete & M G Singh, CIMNE, Barcelona, 1993 QUALITATIVE SPATIAL REASONING AND REPRESENTATION 1 A G Cohn, D A Randell, Z Cui and B Bennett Division of Artificial Intelligence School
	ftp://agora.leeds.ac.uk/scs/doc/reports/1993/93_34.ps.Z, 19930929 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 93.34 An Efficient Buffering Approach to Processing Large Two-Dimensional Data Sets in the Geosciences by J E McCormack, M N Gahegan, S A Roberts & J Hogg1 Division of Operational Research and Information Systems August 1993
	ftp://agora.leeds.ac.uk/scs/doc/reports/1993/93_26.ps.Z, 19930929 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 93.26 Parallelisation of the Rolls-Royce CFDS-ANSE Code by James M. Cameron Division of Computer Science September 1993
	ftp://agora.leeds.ac.uk/scs/doc/srg/ONTOLOGY93.ps, 19931006 Taxonomies of Logically Defined Qualitative Spatial Relations This paper will appear in N Guarino and R Poli (eds.), Formal Ontology in Conceptual Analysis and Knowledge Representation, Kluwer 1994 A G Cohn, D A Randell and Z Cui Division of Artificial Intelligence School of Computer Studies University
	ftp://agora.leeds.ac.uk/scs/doc/reports/1993/92_32.ps.Z, 19931112 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 92.32 Dynamic Load Balancing for PDE Solvers on Adaptive Unstructured Meshes by Chris Walshaw & Martin Berzins Division of Computer Science December 1992
	ftp://agora.leeds.ac.uk/scs/doc/reports/1993/93_38.ps.Z, 19940415 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 93.38 A Formal Expression of the Safety and Functional Requirements of a Safety-Critical System by MMWest, T F Buckley & P H Jesty Division of Computer Science December 1993 This report is an expanded version of Research Report
	ftp://agora.leeds.ac.uk/scs/doc/reports/1993/93_41.ps.Z, 19940415 The Phase Transition in Constraint Satisfaction Problems: A Closer Look at the Mushy Region Barbara M. Smith Division of Artificial Intelligence School of Computer Studies University of Leeds Leeds LS2 9JT, U.K. e-mail: bms@scs.leeds.ac.uk Tel.: (+44)-532-335444 Fax: (+44)-532-335468
	ftp://agora.leeds.ac.uk/scs/doc/reports/1994/94_11.ps.Z, 19940428 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 94.11 An Efficient Method for Contour Tracking using Active Shape Models by A M Baumberg & D C Hogg Division of Artificial Intelligence April 1994
	ftp://agora.leeds.ac.uk/scs/doc/reports/1994/94_13.ps.Z, 19940504 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 94.13 SAFETY AND SOCIAL ASPECTS OF INTELLIGENT VEHICLE-HIGHWAY SYSTEMS by Margaret M West Division of Computer Science April 1994
	ftp://agora.leeds.ac.uk/scs/doc/srg/AAAI94-WS.ps, 19940505 Defining the Syntax and the Semantics of a Visual Programming Language in a Spatial Logic To be presented at the AAAI-94 Spatial and Temporal Reasoning Workshop. A G Cohn and J M Gooday Division of AI, School of Computer Studies, University of Leeds, Leeds LS2 9JT, England. 1 Introduction The importance
	ftp://agora.leeds.ac.uk/scs/doc/reports/1993/93_32.ps.Z, 19940517 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 93.32 An Integrated Framework for Information Systems Planning and its Initial Application by Gwo-Guang Lee & Tom Gough Division of Operational Research and Information Systems July 1993
	ftp://agora.leeds.ac.uk/scs/doc/reports/1994/94_7.ps.Z, 19940517 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 94.7 Exploiting object oriented methods for multi-modal trip planning systems by J.E. McCormack & S.A. Roberts Division of Operational Research and Information Systems April 1994
	ftp://agora.leeds.ac.uk/scs/doc/reports/1994/94_12.ps.Z, 19940517 Reconstruction of Music Scores from Primitive Subsegmentation K.C.Ng and R.D.Boyle Division of Artificial Intelligence, School of Computer Studies, The University of Leeds, Leeds LS2 9JT, United Kingdom. Email : kia@scs.leeds.ac.uk, roger@scs.leeds.ac.uk May 17, 1994 1
	ftp://agora.leeds.ac.uk/scs/doc/reports/1993/93_37.ps.Z, 19940517 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 93.37 Shape Models from Image Sequences by X Shen & D C Hogg Division of Artificial Intelligence October 1993
	ftp://agora.leeds.ac.uk/scs/doc/reports/1994/94_3.ps.Z, 19940517 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 94.3 MAVT and Outranking A Comparison of Two Multi-Criteria Decision Analytic Methods by Lisa Simpson Division of Operational Research and Information Systems February 1994
	ftp://agora.leeds.ac.uk/scs/doc/reports/1993/93_36.ps.Z, 19940517 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 93.36 Learning Flexible Models from Image Sequences by A M Baumberg & D C Hogg Division of Artificial Intelligence October 1993
	ftp://agora.leeds.ac.uk/scs/doc/reports/1994/94_14.ps.Z, 19940517 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 94.14 Using Shape and Intensity to Track Non-Rigid Objects by N J Byrne1, A M Baumberg & D C Hogg Division of Artificial Intelligence May 1994 1School of Electronic Engineering, Dublin City University
	ftp://agora.leeds.ac.uk/scs/doc/reports/1994/94_2.ps.Z, 19940517 In Search of Exceptionally Difficult Constraint Satisfaction Problems Research Report 94.2 Barbara M. Smith Division of Artificial Intelligence School of Computer Studies University of Leeds Leeds LS2 9JT, U.K.
	ftp://agora.leeds.ac.uk/scs/doc/reports/1994/94_15.ps.Z, 19940517 A Monophonic Pitch Tracking Algorithm D. Cooper Department of Music, The University of Leeds, Leeds LS2 9JT, United Kingdom Email : mus6dc@sun.leeds.ac.uk and K. C. Ng Division of Artificial Intelligence, School of Computer Studies, The University of Leeds, Leeds LS2 9JT, United Kingdom Email :
	ftp://agora.leeds.ac.uk/scs/doc/reports/1994/94_4.ps.Z, 19940517 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 94.4 Overview of the trip planning system prototype by J.E. McCormack & S.A. Roberts Division of Operational Research and Information Systems April 1994 Introduction This report is a summary of the development of the prototype
	ftp://agora.leeds.ac.uk/scs/doc/reports/1993/93_33.ps.Z, 19940517 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 93.33 A Perspective on Recent Developments in Utility Theory by Simon French & Zhigang Xie Division of Operational Research and Information Systems July 1993 Presented at Decision Making: towards the 21st Century, Madrid,
	ftp://agora.leeds.ac.uk/scs/doc/reports/1993/93_31.ps.Z, 19940517 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 93.31 Bus Driver Scheduling - An Overview by Anthony Wren & Jean-Marc Rousseau* Division of Operational Research and Information Systems July 1993 *Centre de Recherche sur les Transports, Universite de Montreal, Quebec, Canada
	ftp://agora.leeds.ac.uk/scs/doc/reports/1993/93_39.ps.Z, 19940517 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 93.39 An Interactive Learning Mechanism for Encouraging the Strategic Use of Information Systems by Gwo-Gwang Lee* & Tom Gough Division of Operational Research and Information Systems December 1993 *Mingchi Institute of
	ftp://agora.leeds.ac.uk/scs/doc/reports/1994/94_10.ps.Z, 19940518 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 94.10 A New Low Complexity Distance and Its use For Vector Quantization of Images by N B Venkateswarlu & R D Boyle Division of Artificial Intelligence March 1994
	ftp://agora.leeds.ac.uk/scs/doc/reports/1994/94_9.ps.Z, 19940518 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 93.9 Some Further Results of Three Stage ML Classification Applied to Remotely Sensed Images1 by N B Venkateswarlu, S. Balaji,2 P S V S K Raju2 & R D Boyle Division of Artificial Intelligence March 1994 1to appear in Pattern
	ftp://agora.leeds.ac.uk/scs/doc/reports/1994/94_16.ps.Z, 19940602 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 94.16 Locating the Phase Transition in Binary Constraint Satisfaction Problems by B M Smith Division of Artificial Intelligence May 1994
	ftp://agora.leeds.ac.uk/scs/doc/srg/ECAI94-WS.ps, 19940602 Conceptual Neighbourhoods in Temporal and Spatial Reasoning To be presented at the ECAI-94 Spatial and Temporal Reasoning Workshop. J M Gooday and A G Cohn Division of Artificial Intelligence School of Computer Studies University of Leeds, Leeds LS2 9JT, England. Telephone: (+44) 532 335430 Email:
	ftp://agora.leeds.ac.uk/scs/doc/reports/1994/94_17.ps.Z, 19940607 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 94.17 An Empirical Study of Video Application Performance over ATM and Ethernet Networks 1 by M Kara, R Drew, N D Hunter, J Jackson P M Dew Division of Computer Science May 1994 1To be presented and to appear in the Proceedings
	ftp://agora.leeds.ac.uk/scs/doc/reports/1994/94_18.ps.Z, 19940607 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 94.18 Using Dynamic Load Balancing in Distributed Information Systems by Mourad Kara Division of Computer Science May 1994
	ftp://agora.leeds.ac.uk/scs/doc/reports/1994/94_19.ps.Z, 19940607 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 94.19 Parallel Generation of Partitioned, Unstructured Meshes1 by D C Hodgson & P K Jimack Division of Computer Science June 1994 1To appear at Computational Structures Technology 94, Athens
	ftp://agora.leeds.ac.uk/scs/doc/reports/1994/94_20.ps.Z, 19940614 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 94.20 An Optimal Finite Element Mesh for Linear Elastic Sructural Analysis1 by P K Jimack Division of Computer Science June 1994 1To appear in the Proceedings of Computational Structures Technology 1994, Athens
	ftp://agora.leeds.ac.uk/scs/doc/srg/KR94-BB.ps, 19940621 Spatial Reasoning with Propositional Logics This paper is a slightly revised version of a paper that appeared in the 4th Int. Conf. on Knowledge Representation and Reasoning, Morgan Kaufma nn, 1994. Brandon Bennett Division of AI School of Computer Studies University of Leeds Leeds LS2 9JT, England
	ftp://agora.leeds.ac.uk/scs/doc/reports/1994/94_5.ps.Z, 19940622 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 94.5 The specification of trip planning systems : Report on the development of the trip planning system prototype by J.E. McCormack Division of Operational Research and Information Systems June 1994 *Research funded by SERC
	ftp://agora.leeds.ac.uk/scs/doc/srg/KR94-NG.ps, 19940622 How Far Can We `C' Defining a `Doughnut' Using Connection Alone This paper is a slightly revised version of a paper that appeared in Proceedings of the 4rd Int. Conf. on Knowledge Representation and Reasoning, Morgan Kaufmann, 1994 (pp.246-257). N. M. Gotts Division of Artificial Intelligence School of
	ftp://agora.leeds.ac.uk/scs/doc/srg/Arrowhead.ps, 19940622 Exploiting Temporal Continuity in Qualitative Spatial Calculi This paper is due to appear in Reginald G. Golledge and Max J. Egenhofer (eds) (forthcoming) Spatial and Temporal Reasoning in Geographical Information Systems, Elsevier. A.G. Cohn1, N.M. Gotts1, Z. Cui2, D.A. Randell3, B. Bennett1 and J.M.
	ftp://agora.leeds.ac.uk/scs/doc/srg/PHILCOGSCI.ps, 19940629 A Comparison Of Structures In Spatial And Temporal Logics To appear in Philosophy and the Cognitive Sciences, R. Casati, G. White (eds.), H older-Pichler-Tempsky, Vienna, 1994. A G Cohn, J M Gooday and B Bennett Division of Artificial Intelligence School of Computer Studies University of Leeds, Leeds
	ftp://agora.leeds.ac.uk/scs/doc/reports/1994/94_21.ps.Z, 19940713 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 94.21 A Global Plan Policy for Coherent Cooperation in Distributed Dynamic Load Balancing Algorithms by Mourad Kara Division of Computer Science July 1994
	ftp://agora.leeds.ac.uk/scs/doc/reports/1994/94_24.ps.Z, 19940802 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 94.24 Parallel Algorithm Design on the WPRAM Model by J M Nash, P M Dew, M E Dyer & J R Davy Division of Computer Science July 1994
	ftp://agora.leeds.ac.uk/scs/doc/reports/1994/94_6.ps.Z, 19940818 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 94.6 Development of the trip planning system prototype : Annotated and indexed source code reference by J.E. McCormack Division of Operational Research and Information Systems June 1994 *Research funded by SERC Project
	ftp://agora.leeds.ac.uk/scs/doc/reports/1994/94_26.ps.Z, 19940818 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 94.26 Removing Local Concavities from Delaunay Triangulations1 by J R Davy & P M Dew Division of Computer Science August 1994 1Submitted to Computer Aided Design
	ftp://agora.leeds.ac.uk/scs/doc/reports/1994/94_25.ps.Z, 19940818 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 94.25 A Polymorphic Library for Constructive Solid Geometry1 by J R Davy & P M Dew Division of Computer Science August 1994 1Submitted to Journal of Functional Programming
	ftp://agora.leeds.ac.uk/scs/doc/reports/1994/94_23.ps.Z, 19940825 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 94.23 A Module System for Meta-Programming1 by P M Hill Division of Artificial Intelligence August 1994 1Presented at the International Workshop on Meta Programming in Logic 1994 and to be published by Springer-Verlag in the
	ftp://agora.leeds.ac.uk/scs/doc/reports/1994/94_22.ps.Z, 19940825 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 94.22 Meta-Programming in Logic Programming1 by P M Hill & J G Gallagher2 Division of Artificial Intelligence August 1994 1To be published in Volume V of the Handbook of Logic in Artificial Intellegence and Logic Programming,
	ftp://agora.leeds.ac.uk/scs/doc/srg/ECAI94-WS2.ps, 19940924 Some Observations and Puzzles about Composing Spatial and Temporal Relations This paper is a slightly revised version of a paper that was presented in the workshop on Spatial and Temporal Reasoning, held at ECAI94, the 11th European Conference on Artificial Intelligence. Brandon Bennett Division of
	ftp://agora.leeds.ac.uk/scs/doc/reports/1994/94_27.ps.Z, 19940930 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 94.27 The Design and Development of a Fully Integrated Hospital Information System by T S Chen* & T G Gough Division of Operational Research and Information Systems August 1994 *Department of Medical Informatics, National Cheng
	ftp://agora.leeds.ac.uk/scs/doc/srg/Buffalo-AGC.ps, 19941005 A Theory of Spatial Regions with Indeterminate Boundaries A G Cohn and N M Gotts Division of AI, School of Computer Studies, University of Leeds, Leeds, LS2 9JT, UK. email: fagc,ngottsg@scs.leeds.ac.uk.
	ftp://agora.leeds.ac.uk/scs/doc/srg/Buffalo-NG.ps, 19941005 Defining A `Doughnut' Made Difficult N M Gotts Division of AI, School of Computer Studies, University of Leeds, England email:ngotts@scs.leeds.ac.uk
	ftp://agora.leeds.ac.uk/scs/doc/reports/1994/94_29.ps.Z, 19941012 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 94.29 Identifying the requirement for history of time-varying objects during an object-oriented analysis 1 by L.C.Valet & S.A.Roberts Division of Operational Research and Information Systems, E-mail : flaurent,
	ftp://agora.leeds.ac.uk/scs/doc/reports/1994/94_30.ps.Z, 19941014 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 94.30 Optimal Eigenvalue and Asymptotic Large Time Approximations Using the Moving Finite Element Method by P K Jimack Division of Computer Science October 1994
	ftp://agora.leeds.ac.uk/scs/doc/reports/1994/94_31.ps.Z, 19941024 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 94.31 Knowledge-Based Segmentation and Feature Analysis of Hand-Wrist Radiographs1 by N D Efford Division of Artificial Intelligence October 1994 1funded by the SERC, grant GR/G52562
	ftp://agora.leeds.ac.uk/scs/doc/reports/1994/94_32.ps.Z, 19941122 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 94.32 Logic Programming With the Occur-Check by P M Hill Division of Artificial Intelligence November 1994
	ftp://agora.leeds.ac.uk/scs/doc/reports/1994/94_34.ps.Z, 19941209 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 94.34 New Methods for the Initialisation of Clusters by Mohammed Al-Daoud & Stuart Roberts Division of Operational Research and Information Systems December 1994
	ftp://agora.leeds.ac.uk/scs/doc/reports/1994/94_33.ps.Z, 19941219 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 94.33 Types and Sets in G odel and Z Unix File System Case Study by Margaret M. West Division of Computer Science December 1994
	ftp://agora.leeds.ac.uk/scs/doc/reports/1994/94_35.ps.Z, 19941221 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 94.35 Securing the Strategic Value of Information Systems: Constructing Strategic Function Chains by Gwo-Guang Lee & Tom Gough Division of Operational Research and Information Systems December 1994 National Taiwan Institue of
	ftp://agora.leeds.ac.uk/scs/doc/reports/1994/94_36.ps.Z, 19950124 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 94.36 Sparse Constraint Graphs and Exceptionally Hard Problems by Barbara M. Smith and Stuart A. Grant Division of Artificial Intelligence December 1994
	ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_2.ps.Z, 19950330 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 95.2 Changing Learning Culture with Electronic Bulletin Boards1 by Roger Boyle, Jim Jackson & Rik Wade Division of Artificial Intelligence January 1995 1To be presented at CAL-95, Cambridge, April 1995
	ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_8.ps.Z, 19950330 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 95.8 The Progressive Party Problem: Integer Linear Programming and Constraint Programming Compared by B M Smith, S C Brailsford1, P M Hubbard1 & H P Williams1 Division of Artificial Intelligence March 1995 1Faculty of
	ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_3.ps.Z, 19950330 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 95.3 A Theory of Modules and its Implementation in SEQUEL 11.0 by Mark Tarver Division of Artificial Intelligence January 1995
	ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_6.ps.Z, 19950330 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 95.6 The Performance of Parallel Algorithmic Skeletons 1 by H Deldarie, J R Davy & P M Dew Division of Computer Science March 1995 1Presented at Zeuis Workshop '95
	ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_4.ps.Z, 19950330 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 95.4 Generic 3-D Shape Model: Acquisitions and Applications by X Shen & D C Hogg Division of Artificial Intelligence February 1995
	ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_1.ps.Z, 19950330 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 95.1 A Domain Decomposition Preconditioner for a Parallel Finite Element Solver on Distributed Unstructured Grids by D C Hodgson & P K Jimack Division of Computer Science January 1995
	ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_14.ps.Z, 19950426 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 95.14 A Tutorial on Constraint Programming by Barbara M. Smith Division of Artificial Intelligence April 1995
	ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_15.ps.Z, 19950427 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 95.15 Applying Efficient Techniques for Finding Nearest Neighbours in GIS Applications by Mohammed Al-Daoud & Stuart Roberts Division of Operational Research and Information Systems April 1995
	ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_9.ps.Z, 19950501 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 95.9 Learning Spatiotemporal Models From Training Examples by A M Baumberg & D C Hogg Division of Artificial Intelligence March 1995
	ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_11.ps.Z, 19950515 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 95.11 Bringing Decision Support to a Count by Lisa Simpson Division of Operational Research & Information Systems April 1995 2
	ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_12.ps.Z, 19950515 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 95.12 Extending G odel for Expressing Restricted Quantifications and Arrays by Jonas Barklund1 & Patricia M. Hill2 Division of Artificial Intelligence March 1995 1 Computing Science Department, Uppsala University
	ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_16.ps.Z, 19950515 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 95.16 Towards a Constructive Approach to Act-Conditional Subjective Expected Utility Models by Zhigang Xie & Simon French Division of Operational Research and Information Systems April 1995
	ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_5.ps.Z, 19950605 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 95.5 Extending the Point Distribution Model using Polar Coordinates by Tony Heap & David Hogg Division of Artificial Intelligence February 1995
	ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_10.ps.Z, 19950606 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 95.10 Uncertainty in RODOS by Simon French, David Ranyard & Jim Smith1 Division of Operational Research & Information Systems March 1995 1Department of Statistics, University of Warwick Contents
	ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_17.ps.Z, 19950609 1 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 95.17 Improving Visualisation Through Collaboration by Jason Wood, Helen Wright & Ken Brodlie Division of Computer Science May 1995 Presented at the Sixth Eurographics Workshop on Visualisation in Scientific Computing, Chia,
	ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_18.ps.Z, 19950622 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 95.18 Fast K-MEANS Clustering Algorithms by M. B. Al-Daoud, N. B. Venkateswarlu & S. A. Roberts Division of Operational Research and Information Systems June 1995
	ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_19.ps.Z, 19950704 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 95.19 EXPERIMENTS IN THE EVALUATION OF THE MIN-CONFLICTS HEURISTIC by Margaret M West Division of Artificial Intelligence June 1995 Experiments in the Evaluation of the Min-Conflicts Heuristic
	ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_20.ps.Z, 19950714 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 95.20 Developing a Corpus -Based Grammar Model Within a Continuous Commercial Speech Recognition Package by Eric Atwell, Gavin Churcher & Clive Souter Division of Artificial Intelligence June 1995 1
	ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_22.ps.Z, 19950718 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 95.22 Bringing Professionalism to Computer Science by Roger Boyle Division of Artificial Intelligence July 1995
	ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_23.ps.Z, 19950718 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 95.23 Automatic Detection of Key Signature using Note Distribution by K. C. Ng, R. D. Boyle & D. Coopery Division of Artificial Intelligence, School of Computer Studies y Department of Music July 1995
	ftp://agora.leeds.ac.uk/scs/doc/srg/AISB95-WS.ps, 19950721 Towards a Decision Procedure for the RCC Theory of Spatial Regions (extended abstract) Brandon Bennetty Division of Artificial Intelligence School of Computer Studies University of Leeds, Leeds LS2 9JT, England brandon@scs.leeds.ac.uk February 16, 1995 Overview Randell, Cui and Cohn (1992) have given a
	ftp://agora.leeds.ac.uk/scs/doc/srg/GIS94.ps, 19950721 Spatial Regions with Undetermined Boundaries A G Cohn and N M Gotts Division of AI, School of Computer Studies, University of Leeds, Leeds, LS2 9JT, UK. email: fagc,ngottsg@scs.leeds.ac.uk.
	ftp://agora.leeds.ac.uk/scs/doc/srg/IJCAI95-WS.ps, 19950721 Carving Up Space: Existential Axioms for a Formal Theory of Spatial Regions Brandon Bennetty Division of Artificial Intelligence School of Computer Studies University of Leeds, Leeds LS2 9JT, England brandon@scs.leeds.ac.uk July 11, 1995
	ftp://agora.leeds.ac.uk/scs/doc/srg/QR95.ps, 19950721 A Mereological Approach to Representing Spatial Vagueness Nicholas Mark Gotts and Anthony G Cohn Division of Artificial Intelligence School of Computer Studies University of Leeds, Leeds LS2 9JT, UK Telephone: +44-113-233-6806 Fax: +44-113-233-5468 Email: fngotts,agcg@scs.leeds.ac.uk
	ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_21.ps.Z, 19950721 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 95.21 Exercising management among IT graduates by Roger Boyle Division of Artificial Intelligence July 1995
	ftp://agora.leeds.ac.uk/scs/doc/srg/GISDATA.ps, 19950721 The `Egg-Yolk' Representation Of Regions with Indeterminate Boundaries A G Cohn and N M Gotts January 11, 1995
	ftp://agora.leeds.ac.uk/scs/doc/srg/COSIT95.ps, 19950721 A Hierarchical Representation of Qualitative Shape based on Connection and Convexity A G Cohn Division of Artificial Intelligence, School of Computer Studies, University of Leeds,Leeds LS2 JJT, UK. Telephone: +44 113 2335482. Email: agc@scs.leeds.ac.uk.
	ftp://agora.leeds.ac.uk/scs/doc/srg/IGPL.ps, 19950721 Modal Logics for Qualitative Spatial Reasoning BRANDON BENNETT, Division of Artificial Intelligence, School of Computer Studies, University of Leeds, Leeds LS2 9JT, England. E-mail: brandon@scs.leeds.ac.uk
	ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_24.ps.Z, 19950811 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 95.24 Designing Scalable Caching Methods for the WPRAM Model1 by K. Zamanifar, J. M. Nash & P. M. Dew Division of Computer Science July 1995 1Submitted to CSI Computer Conference (CSICC'95)
	ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_27.ps.Z, 19950825 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 95.27 An Extension of the MIDI File Format: Expressive MIDI - expMIDI by David Cooper, Kia Ng & Roger Boyle Division of Artificial Intelligence, School of Computer Studies Department of Music August 1995
	ftp://agora.leeds.ac.uk/scs/doc/srg/compsurv.ps, 19950907 The Challenge of Qualitative Spatial Reasoning A G Cohn Division of Artificial Intelligence School of Computer Studies University of Leeds Leeds LS2 9JT England. The principal goal of Qualitative Reasoning (QR) is to represent not only our everyday commonsense knowledge about the physical world, but
	ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_28.ps.Z, 19950928 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 95.28 Open Book Assessment in Computing Degree Programmes1 by Tony Jenkins Division of Operational Research and Information Systems September 1995 1Presented at the Computer Science Discipline Network Conference, London,
	ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_26.ps.Z, 19951006 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 95.26 Automated Pivot Location for the Cartesian-Polar Hybrid Point Distribution Model by Tony Heap & David Hogg Division of Artificial Intelligence August 1995
	ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_25.ps.Z, 19951009 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 95.25 The Phase Transition Behaviour of Maintaining Arc Consistency by Stuart A. Grant and Barbara M. Smith Division of Artificial Intelligence August 1995
	ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_33.ps.Z, 19951113 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 95.33 A 3D unstructured mesh adaption algorithm for time dependent shock dominated problems by W. Speares & M.Berzins Division of Computer Science November 1995
	ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_31.ps.Z, 19951113 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 95.31 Incremental Constraint Satisfaction for Variational Design Systems1 by Edgard Lamounier, Terrence Fernando, and Peter M. Dew2 Division of Computer Science November, 1995 1Extended version of the paper presented at
	ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_29.ps.Z, 19951113 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 95.29 THE USE OF FORMAL METHODS IN ATT SYSTEMS A SAFETY-CRITICAL CASE STUDY1 by M M West, K M Hobley & P H Jesty Division of Computer Science October 1995 1This report is an updated version of Research Report 93.38: A Formal
	ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_32.ps.Z, 19951113 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 95.32 A numerical investigation of steady and unsteady compressible jets by W. Speares, J.Ware & M.Berzins Division of Computer Science November 1995
	ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_34.ps.Z, 19951208 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 95.34 Scalable Caching Techniques for a Weakly Coherent Memory1 by K. Zamanifar, J. M. Nash & P. M. Dew Division of Computer Science December 1995 1Submitted to Abstract Machines Workshop'96
	ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_35.ps.Z, 19951208 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 95.35 Where the Exceptionally Hard Problems Are 1 by Barbara M Smith & Stuart A Grant Division of Artificial Intelligence December 1995 1A revised version of a paper presented at the CP'95 Workshop on Studying and Solving
	ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_13.ps.Z, 19951208 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 95.13 Determinacy and Determinacy Analysis by Patricia M Hill1 & Andy M King2 Division of Artificial Intelligence November 1995 1Supported by EPSRC Grant GR/H/79862. 2Supported, in part, by ESPRIT project 6707 ParForce"
	ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_36.ps.Z, 19951218 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 95.36 Exploiting Degrees of Freedom Analysis for Interactive Constraint-Based Design by Yung T Tsai, Terrence Fernando & Peter M Dew Division of Computer Science December 1995
	ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_37.ps.Z, 19960105 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 95.37 Sensitivity Analysis in Statistical Decision Theory: A Decision Analytic View1 by David Rios Insua2, Jacinto Martin3, Les Proll Simon French & Abdellah Salhi4 Division of Operational Research and Information Systems
	ftp://agora.leeds.ac.uk/scs/doc/reports/1996/96_01.ps.Z, 19960105 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 96.01 Constructive Solid Geometry Using Algorithmic Skeletons1 by J R Davy, H. Deldari & P M Dew Division of Computer Science Jan 1996 1To appear in Proc. 5th Eurographics Workshop on Programming Paradigms for Graphics,
	ftp://agora.leeds.ac.uk/scs/doc/reports/1996/96_02.ps.Z, 19960117 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 96.2 New Parallel Conjugate Directions Method for Unconstrained Optimisation by K. Bassiri and D. Hutchinson Division of Computer Science January 1996
	ftp://agora.leeds.ac.uk/scs/doc/reports/1996/96_03.ps.Z, 19960131 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 96.03 ANIMATION IS APPROXIMATION1 by Margaret M. West2 Division of Computer Science January 1996 1This report is an updated version of a paper presented at BCS{FACS Christmas Workshop in Semantics, Imperial College, London,
	ftp://agora.leeds.ac.uk/scs/doc/reports/1996/96_05.ps.Z, 19960305 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 96.05 An Empirical Study of Dynamic Variable Ordering Heuristics for the Constraint Satisfaction Problem by Ian P Gent1, Ewen MacIntyre1, Patrick Prosser1, Barbara M Smith & Toby Walsh2 Division of Artificial Intelligence
	ftp://agora.leeds.ac.uk/scs/doc/reports/1996/96_08.ps.Z, 19960311 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 96.08 An Investigation Into The Use of Median Indicator Kriging To Assist in Post Accident Radiation Assessment by Jackie Carter & Stuart Roberts Division of Operational Research & Information Systems March 1996 1
	ftp://agora.leeds.ac.uk/scs/doc/reports/1996/96_07.ps.Z, 19960311 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 96.07 Virtual Memory Tiling for Spatial Data Handling in GIS by J E McCormack Division of Operational Research and Information Systems February 1996
	ftp://agora.leeds.ac.uk/scs/doc/reports/1996/96_04.ps.Z, 19960311 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 96.04 Using a Commercial Speech Recogniser Within the Domain of Air Traffic Control by Gavin E Churcher, Clive Souter & Eric S Atwell Division of Artificial Intelligence February 1996 We are grateful to the University of Leeds
	ftp://agora.leeds.ac.uk/scs/doc/reports/1996/96_09.ps.Z, 19960315 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 96.09 The Arc and Path Consistency Phase Transitions1 by Stuart A Grant & Barbara M Smith Division of Artificial Intelligence March 1996 1A revised version of a paper submitted to the Second International Conference on
	ftp://agora.leeds.ac.uk/scs/doc/reports/1996/96_10.ps.Z, 19960321 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 96.10 Producing Train Driver Shifts by Computer by A S K Kwan, R S K Kwan, M E Parker & A Wren Division of Operational Research & Information Systems March 1996 1
	ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_30.ps.Z, 19960326 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 95.30 An Evaluation of the Normalised 8-Point Algorithm by Stuart Butterfield & David Hogg Division of Artificial Intelligence November 1995
	ftp://agora.leeds.ac.uk/scs/doc/reports/1996/96_12.ps.Z, 19960418 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 96.12 Scalable Dynamic Load Balancing using a Highly Concurrent Shared Data Type1 by J. M. Nash, P. M. Dew, J R Davy & M. E. Dyer Division of Computer Science March 1996 1Presented at Second European School of Computer Science,
	ftp://agora.leeds.ac.uk/scs/doc/reports/1996/96_11.ps.Z, 19960418 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 96.11 Concurrent Sharing through Abstract Data-types: A Case Study1 by D. M. Goodeve, J. R. Davy, J. M. Nash & P. M. Dew Division of Computer Science March 1996 1Presented at Workshop on Abstract Machine Models for Parallel and
	ftp://agora.leeds.ac.uk/scs/doc/reports/1996/96_14.ps.Z, 19960428 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 96.15 Capturing Branch-and-Bound using Shared Abstract Data-types1 by D. M. Goodeve, R. H. Briggs & J. R. Davy Division of Computer Science April 1996 1To be presented at UK Parallel '96, Guildford, Surrey, July 1996
	ftp://agora.leeds.ac.uk/scs/doc/reports/1994/94_28.ps.Z, 19960514 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 94.28 New Parallel Variants on Parallel Multi-Dimensional Search for Unconstrained Optimisation by K. Bassiri and D. Hutchinson Division of Computer Science October 1994
	ftp://agora.leeds.ac.uk/scs/doc/reports/1996/96_18.ps.Z, 19960529 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 96.18 Loadserver - A Hybrid Dynamic Load Balancing Algorithm for Tree-based Applications 1 by F Haron & J R Davy Division of Computer Science May 1996 1To appear in Proc. National Conference on Research and Development in
	ftp://agora.leeds.ac.uk/scs/doc/reports/1996/96_16.ps.Z, 19960529 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 96.16 Implementation Issues Relating to the WPRAM Model for Scalable Computing 1 by J.M.Nash, P.M.Dew, J.R.Davy & M.E.Dyer Division of Computer Science May 1996 1Presented at EuroPar'96, Lyon, France
	ftp://agora.leeds.ac.uk/scs/doc/reports/1996/96_17.ps.Z, 19960529 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 96.17 Scalable and Portable Computing Using the WPRAM Model 1 by J.M.Nash, P.M.Dew & M.E.Dyer Division of Computer Science May 1996 1Presented at the 1996 Leeds workshop on Abstract Machine Models for Parallel and Distributed
	ftp://agora.leeds.ac.uk/scs/doc/srg/AIandMsymp.ps, 19960625 Formalizing Commonsense Topology: The INCH Calculus Nicholas Mark Gotts Division of Artificial Intelligence, School of Computer Studies University of Leeds, Leeds LS2 9JT, UK Telephone: +44-113-233-6806; Fax:+44-113-233-5468; Email:ngotts@scs.leeds.ac.uk Introduction: Topology for AI Work on formalizing
	ftp://agora.leeds.ac.uk/scs/doc/srg/eccv.ps, 19960625 Generation of Semantic Regions from Image Sequences Jonathan H. Fernyhough, Anthony G. Cohn and David C. Hogg Division of Artificial Intelligence, School of Computer Studies University of Leeds, Leeds, LS2 9JT fjfern,agc,dchg@scs.leeds.ac.uk
	ftp://agora.leeds.ac.uk/scs/doc/srg/monist96.ps, 19960625 A connection based approach to commonsense topological description and reasoning N M Gotts, J M Gooday and A G Cohn Division of Artificial Intelligence School of Computer Studies University of Leeds Leeds LS2 9JT, England ngotts,gooday,agc@scs.leeds.ac.uk July 4, 1995
	ftp://agora.leeds.ac.uk/scs/doc/srg/tvlworkshop.ps, 19960625 Visual Language Syntax and Semantics: A Spatial Logic approach J M Gooday and A G Cohn Division of Artificial Intelligence School of Computer Studies University of Leeds Leeds LS2 9JT England. 1 Introduction The importance of visual programming languages is now widely acknowledged within the computer
	ftp://agora.leeds.ac.uk/scs/doc/srg/AIR-PJ.ps, 19960625 Using spatial logic to describe visual languages J M Gooday and A G Cohn Division of Artificial Intelligence School of Computer Studies University of Leeds Leeds LS2 9JT England.
	ftp://agora.leeds.ac.uk/scs/doc/srg/jelia96.ps, 19960625 Carving Up Space: steps towards construction of an absolutely complete theory of spatial regions Brandon Bennett Division of Artificial Intelligence School of Computer Studies University of Leeds, Leeds LS2 9JT, England brandon@scs.leeds.ac.uk
	ftp://agora.leeds.ac.uk/scs/doc/srg/ictlpaper.ps, 19960625 Nonmonotonic reasoning about action and change Presented at the ICTL-94 Workshop. John Gooday Artificial Intelligence Division, School of Computer Studies, University of Leeds, Leeds LS2 9JT, UK. Antony Galton Department of Computer Science, University of Exeter, Exeter EX4 4PT, UK.
	ftp://agora.leeds.ac.uk/scs/doc/srg/qr96.ps, 19960625 Transition-based Qualitative Simulation J M Gooday and A G Cohn Artificial Intelligence Division School of Computer Studies University of Leeds Leeds LS2 9JT, UK fgooday,agcg@scs.leeds.ac.uk
	ftp://agora.leeds.ac.uk/scs/doc/srg/transcalc.ps, 19960625 The Transition Calculus: A High-Level Formalism for Reasoning about Action and Change John Gooday Artificial Intelligence Division School of Computer Studies University of Leeds LS2 9JT, ENGLAND +44 (0)113 2336806 gooday@scs.leeds.ac.uk Antony Galton Department of Computer Science University of Exeter
	ftp://agora.leeds.ac.uk/scs/doc/srg/qr96-fernyhough.ps, 19960625 Qualitative Reasoning for Automated Traffic Surveillance Jonathan H. Fernyhough Division of Artificial Intelligence School of Computer Studies University of Leeds, Leeds, LS2 9JT jfern@scs.leeds.ac.uk Introduction The simultaneous interpretation of object behaviour from real world image sequences is a
	ftp://agora.leeds.ac.uk/scs/doc/reports/1996/96_15.ps.Z, 19960628 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 96.15 A Combination of Scalable Caching Methods for a Weakly Coherent Shared Memory Model1 by K. Zamanifar, J. M. Nash & P. M. Dew Division of Computer Science May 1996 1Submitted to Second CSI Computer Conference (CSICC'96)
	ftp://agora.leeds.ac.uk/scs/doc/srg/aismc96.ps, 19960701 Calculi for Qualitative Spatial Reasoning A G Cohn Division of Artificial Intelligence, School of Computer Studies, University of Leeds,Leeds LS2 JT, UK. Telephone: +44 113 233 5482. Email: agc@scs.leeds.ac.uk WWW: http://www.scs.leeds.ac.uk/
	ftp://agora.leeds.ac.uk/scs/doc/srg/geocomp.ps, 19960708 The Application of Qualitative Spatial Reasoning to GIS (extended abstract) Brandon Bennett Division of Artificial Intelligence School of Computer Studies University of Leeds, Leeds LS2 9JT, England brandon@scs.leeds.ac.uk July 8, 1996 Introduction This paper explores the application to GIS of formal
	ftp://agora.leeds.ac.uk/scs/doc/reports/1996/96_19.ps.Z, 19960725 1 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 96.19 Generating Motivation in New Students of IT by Roger Boyle & Tony Jenkins June 1996 To be presented at 4th Annual Conference on the Teaching of Computing (Providing Quality Computer Science Education), Dublin City
	ftp://agora.leeds.ac.uk/scs/doc/reports/1996/96_20.ps.Z, 19960726 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 96.20 European Distance Learning with Networking Users Tools by Ann Roberts & Goran Karlsson June 1996 Department of Mechanics, Kungl. Tekniska H gskolan, Sweden Presented at Hypermedia in Tallin'96, May 1996 1
	ftp://agora.leeds.ac.uk/scs/doc/reports/1996/96_13.ps.Z, 19960805 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 96.13 On the Adaptive Finite Element Solution of Partial Differential Equations Using h-r-Refinement by P J Capon & P K Jimack Division of Computer Science April 1996
	ftp://agora.leeds.ac.uk/scs/doc/reports/1996/96_21.ps.Z, 19960813 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 96.21 Introducing "Real Life Skills" to Information Systems by Tony Jenkins & David Rowley July 1996 To be presented as a poster at the 4th Annual Conference on the Teaching of Computing (Providing Quality Computer Science
	ftp://agora.leeds.ac.uk/scs/doc/srg/kr96ae.ps.gz, 19960813 Representing Spatial Vagueness: A Mereological Approach Anthony G Cohn & Nicholas Mark Gotts Division of Artificial Intelligence School of Computer Studies University of Leeds, Leeds LS2 9JT, UK Telephone: +44-113-233-6806 Fax: +44-113-233-5468 Email: fngotts,agcg@scs.leeds.ac.uk
	ftp://agora.leeds.ac.uk/scs/doc/srg/kr96.ps, 19960815 Representing Spatial Vagueness: A Mereological Approach Anthony G Cohn & Nicholas Mark Gotts Division of Artificial Intelligence School of Computer Studies University of Leeds, Leeds LS2 9JT, UK Telephone: +44-113-233-6806 Fax: +44-113-233-5468 Email: fngotts,agcg@scs.leeds.ac.uk
	ftp://agora.leeds.ac.uk/scs/doc/reports/1996/96_23.ps.Z, 19960828 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 96.23 Topology From A Single Primitive Relation: Defining Topological Properties and Relations In Terms Of Connection 1 by N M Gotts2 Division of Artificial Intelligence August 1996 1The support of the EPSRC under grant no.
	ftp://agora.leeds.ac.uk/scs/doc/reports/1996/96_25.ps.Z, 19960828 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 96.25 An Axiomatic Approach to Topology For Spatial Information Systems 1 by N M Gotts2 Division of Artificial Intelligence August 1996 1The support of the EPSRC under grant no. GR/H 78955, and helpful comments from Tony Cohn,
	ftp://agora.leeds.ac.uk/scs/doc/reports/1996/96_24.ps.Z, 19960828 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 96.24 Using The `RCC' Formalism To Describe The Topology Of Spherical Regions1 by N M Gotts2 Division of Artificial Intelligence August 1996 1The support of the EPSRC under grant no. GR/H 78955, and helpful comments from Tony
	ftp://agora.leeds.ac.uk/scs/doc/reports/1996/96_22.ps.Z, 19960903 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 96.22 A Column Generation Approach to Bus Driver Scheduling by Sarah Fores, Les Proll & Anthony Wren Division of Operational Research & Information Systems August 1996 To be presented at the 4th Meeting of the EURO Working
	ftp://agora.leeds.ac.uk/scs/doc/reports/1996/96_27.ps.Z, 19960906 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 96.27 Scheduling Train Drivers and Investigating Alternative Scenarios by Computer by Ann S K Kwan, Raymond S K Kwan, Margaret E Parker & Anthony Wren Division of Operational Research & Information Systems September 1996 To be
	ftp://agora.leeds.ac.uk/scs/doc/reports/1996/96_28.ps.Z, 19960909 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 96.28 Heuristics Ancient and Modern : Transport Scheduling Through the Ages by Anthony Wren Division of Operational Research & Information Systems September 1996 1
	ftp://agora.leeds.ac.uk/scs/doc/reports/1996/96_26.ps.Z, 19960919 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 96.26 Succeed-first or Fail-first: A Case Study in Variable and Value Ordering1 by Barbara M. Smith Division of Artificial Intelligence September 1996 1A revised version of a paper presented at the ILOG Solver and ILOG Schedule
	ftp://agora.leeds.ac.uk/scs/doc/reports/1996/96_30.ps.Z, 19960924 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 96.30 A Study of the Ethical Perceptions of Students in the School of Computer Studies by Rafidah Ashari, David J Grimshaw, Michael E WhitmanD, Anthony M TownsendD & Anthony R Hendrickson= Division of Operational Research &
	ftp://agora.leeds.ac.uk/scs/doc/reports/1996/96_31.ps.Z, 19961111 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 96.31 On Spatial Adaptivity and Interpolation When Using the Method of Lines by M Berzins, P J Capon & P K Jimack October 1996
	ftp://agora.leeds.ac.uk/scs/doc/reports/1996/96_32.ps.Z, 19961111 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 96.32 An Inexact Newton Method for Systems Arising from the Finite Element Method by P J Capon & P K Jimack November 1996
	ftp://agora.leeds.ac.uk/scs/doc/reports/1996/96_33.ps.Z, 19961206 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 96.33 A Scalable Shared Queue on a Distributed Memory Machine 1 by J.M.Nash, P.M.Dew & M.E.Dyer December 1996 1To be published in The Computer Journal 39(6)
	ftp://agora.leeds.ac.uk/scs/doc/reports/1996/96_35.ps.Z, 19970110 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 96.35 The Consistency Properties of a Scalable, Concurrent Queue by D.M. Goodeve, J.R. Davy, P.M. Dew, J.M. Nash December 1996
	ftp://agora.leeds.ac.uk/scs/doc/reports/1996/96_29.ps.Z, 19970110 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 96.29 Parallel CSG, Skeletons and Performance Modelling 1 by H Deldari, J R Davy & P M Dew Division of Computer Science October 1996 1To be presented at CSICC'96, Tehran, Iran
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_01.ps.Z, 19970122 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.1 Algorithm Design and Analysis Using the WPRAM Model 1 by Jonathan M. Nash, Martin E. Dyer & Peter M. Dew January 1997 1To be published in High-Level Parallel Programming Models and Supportive Environments (HIPS'97)
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_02.ps.Z, 19970123 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.02 Inducing Search Methods from Proofs by Raul H C Lopes1 January 1997 1raul@scs.leeds.ac.uk(raul@inf.ufes.br)
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_04.ps.Z, 19970211 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.04 Path Coupling, Dobrushin Uniqueness, and Approximate Counting by R Bubley & M E Dyer January 1997
	ftp://agora.leeds.ac.uk/scs/doc/ind4_mt.ps, 19970225 An Algorithm for Inducing Tactics from Proofs Mark Tarver, mark@uk.ac.leeds.scs, Artificial Intelligence Division, University of Leeds.
	ftp://agora.leeds.ac.uk/scs/doc/reports/1996/96_34.ps.Z, 19970310 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 96.34 Parallel Dynamic Load-Balancing for Adaptive Distributed Memory PDE Solvers by N Touheed and P K Jimack December 1996
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_10.ps.Z, 19970408 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.10 Resolution for Logic Programming with Universal Quantifiers by Antony F. Bowers1 & Patricia M. Hill & Francisco Iba~nez2 March 1997 1 University of Bristol, BS8 1UB, UK (bowers@cs.bris.ac.uk. +44 0117 9545152) 2
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_11.ps.Z, 19970408 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.11 Using Pos to Analyse Logic Programs with Delay by Andrew Heaton & Pat Hill & Andy King April 1997
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_05.ps.Z, 19970409 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.05 Intuitionistic Logic with a Definitely Operator by Peter Mott January 1997 -1-
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_06.ps.Z, 19970409 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.06 Dialogue Management Systems: a Survey and Overview by Gavin E Churcher, Eric S Atwell, Clive Souter February 1997 1 Contents
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_13.ps.Z, 19970415 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.13 Denotational Semantics for Process-Based Simulation Languages. Part 2 by G Birtwistle & C Tofts April 1997
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_12.ps.Z, 19970415 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.12 Denotational Semantics for Process-Based Simulation Languages. Part 1: ssDemos by G Birtwistle & C Tofts April 1997
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_14.ps.Z, 19970422 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.14 "Nonsense on Crutches" : Popular Misconceptions in Information Systems Evaluation by Christopher J Hemingway April 1997 1
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_09.ps.Z, 19970423 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.09 Non-Linear Rotordynamics by G B Thomas March 1997
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_15.ps.Z, 19970423 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.151 Towards a Model for Shared Data Abstraction with Performance2 by D M Goodeve3, S A Dobson4, J M Nash, J R Davy, P M Dew, M Kara & C P Wadsworth5 April 1997 1The work reported in this paper was supported by the UK
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_08.ps.Z, 19970423 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.08 A Visualisation Support Model by Susanne Lange University of Rostock Department of Computer Science Computer Graphics Institute April 1997
	ftp://agora.leeds.ac.uk/scs/doc/srg/IJCAI97-WS.ps, 19970424 When does a Composition Table Provide a Complete and Tractable Proof Procedure for a Relational Constraint Language Brandon Bennett, Amar Isli and Anthony Cohn Division of Artificial Intelligence School of Computer Studies University of Leeds, Leeds LS2 9JT, England fbrandon,isli,agcg@scs.leeds.ac.uk
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_21.ps.Z, 19970512 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.21 An Improved ILP System for Driver Scheduling1 by Sarah Fores, Les Proll & Anthony Wren May 1997 1To be presented at the 7th International Workshop on Computer-Aided Scheduling of Public Transport
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_20.ps.Z, 19970512 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.20 A Parallelisation Approach for Supporting Scalable and Portable Computing 1 by Jonathan M. Nash, Peter M. Dew & John R. Davy May 1997 1To be presented at Euro-Par'97, Passau, Germany
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_18.ps.Z, 19970514 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.18 Towards a Framework for Performance Evaluation of TCP Behaviour over ATM Networks by Mourad Kara and Mohammad A. Rahin ATM-MM Research Group May 1997
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_16.ps.Z, 19970515 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.16 ILP and Constraint Programming Approaches to a Template Design Problem by Les Proll & Barbara Smith May 1997
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_19.ps.Z, 19970519 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.19 Sharing Revisited by Roberto Bagnara & Patricia M. Hill1 & Enea Zaffanella2 May 1997 1 The work of R. Bagnara and P. M. Hill has been supported by EPSRC under grant GR/L19515. 2 Servizio IX Automazione, Universit a degli
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_26.ps.Z, 19970528 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.26 Modelling Exceptionally Hard Constraint Satisfaction Problems by Barbara M. Smith and Stuart A. Grant May 1997
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_27.ps.Z, 19970528 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.27 How Not To Do It by Ian P Gent1, Stuart A. Grant, Ewen MacIntyre1, Patrick Prosser1, Paul Shaw1, Barbara M Smith & Toby Walsh1 May 1997 1Department of Computer Science, University of Strathclyde, Glasgow G1 1XH, Scotland.
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_24.ps.Z, 19970530 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.24 Modelling Collective Animal Behaviour using Extended Point-Distribution Models by N.Sumpter, R.D.Boyle & R.D.Tillett 1 May 1997 1Silsoe Research Institute, Wrest Park, Silsoe, Bedford, England, MK45 4HS
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_03.ps.Z, 19970602 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.03 Finite Domain Solvers Compared Using Self Referential Quizzes by Antonio Fern andez1 & Pat Hill January 1997 1Dpto.Lenguajes y Ciencias de la Computaci on, Universidad de M alaga, 29071 Teatinos, M alaga, Spain
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_23.ps.Z, 19970603 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.23 A Deformable Model using Probabilistic Labelling and Surface Relaxation to Segment MR Volumes by Naomi Hill, Roger Boyle and Elizabeth Berry1 May 1997 1Centre of Medical Imaging Research
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_29.ps.Z, 19970605 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.29 A Comparison of Constraint Representation Schemes by Steven Carden & Peter Dew1 June 1997 1Virtual Working Environment Group, Distributed Multimedia Systems Group
	ftp://agora.leeds.ac.uk/scs/doc/srg/ijcai97-poster-summary.ps, 19970609 Event Recognition from Visual Input using Qualitative Reasoning on Automatically Generated Spatio-Temporal Models J Fernyhough, A G Cohn and D C Hogg School of Computer Studies, University of Leeds, LS2 9JT, UK. f agc@scs.leeds.ac.ukg This work was motivated
	ftp://agora.leeds.ac.uk/scs/doc/srg/tmp.ps.gz, 19970609 A Logical Approach to Incorporating Qualitative Spatial Reasoning into GIS Brandon Bennett, Anthony G. Cohn and Amar Isli School of Computer Studies University of Leeds, Leeds LS2 9JT, England fbrandon,agc,islig@scs.leeds.ac.uk tel. +44 113 233 5878, fax. +44 113 233 5468
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_33.ps.Z, 19970610 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.33 ALGORITHMIC ADAPTIVITY IN DYNAMIC LOAD BALANCING 1 by F Haron & J R Davy June 1997 1To appear in Proc. International Conference on Parallel and Distributed Computing and Networks, Aug 11-13 1997 (PDCN '97)
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_32.ps.Z, 19970618 1 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.32 Integrated Scheduling of Buses and Drivers by Anthony Wren & Nicolau D Fares Gualda June 1997 Departamento de Engenharia de Transportes, Escola Polit cnica, Universidade de S o Paulo, Brasil 2
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_31.ps.Z, 19970618 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.31 Producing Train Driver Schedules Under Differing Operating Strategies by A S K Kwan, R S K Kwan, M E Parker & A Wren June 1997 1
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_30.ps.Z, 19970618 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.30 Driver Scheduling using Genetic Algorithms with Embedded Combinatorial Traits by Ann S K Kwan, Raymond S K Kwan & Anthony Wren June 1997 1
	ftp://agora.leeds.ac.uk/scs/doc/srg/ki97.ps, 19970702 Qualitative Spatial Representation and Reasoning Techniques A G Cohn Division of Artificial Intelligence, School of Computer Studies, University of Leeds,Leeds LS2 JT, UK. Email: agc@scs.leeds.ac.uk WWW: http://www.scs.leeds.ac.uk/
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_37.ps.Z, 19970709 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.37 A Universal Spanner in the Works: Economic Issues of Evaluating General Purpose Technologies by Christopher J Hemingway July 1997 1
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_36.ps.Z, 19970709 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.36 A Mechanism for Automating Database Interface Design, Based on Extended E-R Modelling by S R Rollinson & S A Roberts July 1997 1
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_28.ps.Z, 19970709 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.28 Object Oriented Bus Vehicle Scheduling - the BOOST system by R S K Kwan & Mohammed A Rahin May 1997 To be presented at the 7th International Workshop on Computer-Aided Scheduling of Public Transport, Massachusetts
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_22.ps.Z, 19970714 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.22 Systematic Exploitation of Parallelism in Spatial Interaction Modelling1 by W Essah, J R Davy & S Openshaw2 July 1997 1Presented at Parallel and Distributed Processing, Tools and Applications, Las Vegas, July 1997 2School
	ftp://agora.leeds.ac.uk/scs/doc/srg/bolzanobook.ps, 19970717 4 REPRESENTING AND REASONING WITH QUALITATIVE SPATIAL RELATIONS ABOUT REGIONS ANTHONY G. COHN, BRANDON BENNETT, JOHN GOODAY AND NICHOLAS MARK GOTTS Division of Artificial Intelligence School of Computer Studies University of Leeds Leeds LS2 9JT England. Email: fagcg@scs.leeds.ac.uk Phone: +44 (113) 233
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_39.ps.Z, 19970723 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.39 A Study of a University Department as an Electronic Community by S D Goorah & J R Davy July 1997 1
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_34.ps.Z, 19970730 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.34 Proof of Equivalence in the ACS specification by Paul Mukherjee July 1997
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_25.ps.Z, 19970801 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.25 An Ant System for Bus Driver Scheduling1 by Paul Forsyth & Anthony Wren2 July 1997 1Presented at the 7th International Workshop on Computer-Aided Scheduling of Public Transport, Boston, July 1997 2Scheduling and
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_40.ps.Z, 19970902 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.40 Scaling Additional Contributions to Principal Components Analysis by Roger D Boyle August 1997
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_38.ps.Z, 19970902 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.38 A Skeleton for Parallel CSG with a Performance Model by H Deldari, J R Davy & P M Dew July 1997
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_41.ps.Z, 19970908 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.41 Faster Random Generation of Linear Extensions by Russ Bubley & Martin Dyer August 1997
	ftp://agora.leeds.ac.uk/scs/doc/srg/ICTAI97.ps, 19970917 Combining Multiple Representations in a Spatial Reasoning System1 Brandon Bennett, Anthony G. Cohn and Amar Isli University of Leeds, Leeds LS2 9JT, UK fbrandon,agc,islig@scs.leeds.ac.uk
	ftp://agora.leeds.ac.uk/scs/doc/srg/geoinformatica.ps, 19970917 Geoinformatica, 1, 1{44 (1997) c 1997 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Qualitative Spatial Representation and Reasoning with the Region Connection Calculus ANTHONY G. COHN, BRANDON BENNETT, JOHN GOODAY AND NICHOLAS MARK GOTTS fagc,brandong@scs.leeds.ac.uk;
	ftp://agora.leeds.ac.uk/scs/doc/srg/iccv98-crc-www.ps, 19970917 Copyright 1998 IEEE. Personal use of this material is permitted. However, permissin to repritn/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribtution to servers or lists, or to reuse any copyrighted component of this work in
	ftp://agora.leeds.ac.uk/scs/doc/srg/IJCAI97-poster.ps, 19970917 Event Recognition from Visual Input using Qualitative Reasoning on Automatically Generated Spatio-Temporal Models J Fernyhough, A G Cohn and D C Hogg School of Computer Studies, University of Leeds, LS2 9JT, UK. f agc@scs.leeds.ac.ukg This work was motivated
	ftp://agora.leeds.ac.uk/scs/doc/srg/COSIT97.ps, 19970917 A Logical Approach to Incorporating Qualitative Spatial Reasoning into GIS (Extended Abstract) Brandon Bennett, Anthony G. Cohn and Amar Isli School of Computer Studies University of Leeds, Leeds LS2 9JT, England fbrandon,agc,islig@scs.leeds.ac.uk The paper explores the application to GIS of formal
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_35.ps.Z, 19970923 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.35 Proposed Modifications to TCP Congestion Control for High Bandwidth and Local Area Networks by Rik Wade, Mourad Kara, Peter Dew frik, mourad, dewg@scs.leeds.ac.uk June 1997
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_42.ps.Z, 19971001 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.42 Indicators for the Assessment of Congestion in TCP over ATM-UBR by Mohammad A. Rahin and Mourad Kara September 1997
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_43.ps.Z, 19971002 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.43 Constraint Programming Approaches to A Scheduling Problem in Steelmaking by Alan W Smith & Barbara M Smith September 1997 Operational Research Department, British Steel, Redcar 1
	ftp://agora.leeds.ac.uk/scs/doc/srg/constraints/constraints.ps, 19971003 Constraints, , 1{14 (1997) c 1997 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Determining Consistency of Topological Relations BRANDON BENNETT brandon@scs.leeds.ac.uk School of Computer Studies, The University of Leeds, LS2 9JT, UK Editor: Hans Guesgen, Frank Anger, Gerard
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_44.ps.Z, 19971119 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.44 A Variant of Thomason's First-order Logic CF Based On Situations by Xuegang Wang & Peter Mott November 1997
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_46.ps.Z, 19971126 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.46 The Acquisition and Use of Interaction Behaviour Models1 by Neil Johnson, Aphrodite Galata and David Hogg November 1997 1Submitted to IEEE Conference on Computer Vision and Pattern Recognition (CVPR'98)
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_45.ps.Z, 19971201 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.45 Trying Harder to Fail First by Barbara M Smith and Stuart A Grant November 1997
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_49.ps.Z, 19971217 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.49 An Object-Based Approach to Integrate Remotely Sensed Data with Geodata Within a GIS Context for Land Use Classification at Urban-Rural Fringe Areas1 by Ryan S M Wang, Stuart A Roberts & Nick D Efford December 1997
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_50.ps.Z, 19980115 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.50 An Object-Based Approach to Integrate Remotely Sensed Data with Within a GIS Context for Land Use Change Detection at Urban-Rural Fringe Areas1 by Ryan S M Wang, Nick D Efford & Stuart A Roberts December 1997 1Presented
	ftp://agora.leeds.ac.uk/scs/doc/reports/1998/98_01.ps.Z, 19980119 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 98.01 Driver Scheduling by Integer Linear Programming - The TRACS II Approach by Sarah Fores & Les Proll January 1998 1 INTRODUCTION Vehicle and driver scheduling problems have been tackled using computers since the early
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_48.ps.Z, 19980120 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.48 The RESOLV Texture-Mapping Module by Stuart Butterfield, Kia Ng & David Hogg December 1997
	ftp://agora.leeds.ac.uk/scs/doc/reports/1997/97_47.ps.Z, 19980123 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 97.47 Some #P-completeness Proofs for Colourings and Independent Sets by Martin Dyer & Catherine Greenhill December 1997
	ftp://agora.leeds.ac.uk/scs/doc/reports/1998/98_02.ps.Z, 19980129 University of Leeds SCHOOL OF COMPUTER STUDIES RESEARCH REPORT SERIES Report 98.02 Computer Visual Tracking of Poultry by D M Sergeant, R D Boyle & J M Forbes1 January 1998 1Department of Animal Physiology and Nutrition, The University of Leeds