Publications of 1995

1995

Adam Worrall, Claire Willis, Derek Paddon, Dynamic Discontinuities for Radiosity. Edugraphics + Compugraphics Proceedings. ISBN 972-8342-00-4, pp. 367–375. December 1995. PDF, 104 Kbytes.
Christophe Giraud-Carrier, Tony Martinez, An Integrated Framework for Learning and Reasoning. Journal of Artificial Intelligence Research, 3 (1). ISSN 1076-9757, pp. 147–185. December 1995. PDF, 338 Kbytes.
J. H. R. May, A. D. Lunn, New statistics for demand-based software testing. Information Processing Letters, 53 (1). ISSN 0020-0190, pp. 307–314. December 1995. No electronic version available.
J. P. Gallagher, D. Boulanger, H. Saglam, Practical Model-Based Static Analysis for Definite Logic Programs. Proceedings of the 1995 International Symposium on Logic Programming, December 1995, Portland, Oregon.. ISBN 0-262-62099-5, pp. 351–368. December 1995. No electronic version available.
Pieter H. Hartel, Rutger F. H. Hofman, Koen G. Langendoen, Henk L. Muller, Willem G. Vree, L. O. Hertzberger, A toolkit for parallel functional programming. Concurrency: Practice and Experience, 7 (8). ISSN 1040-3108, pp. 765–793. December 1995. No electronic version available.
C. J. Burgess, A Genetic Algorithm for the Optimisation of a Multiprocessor Computer Architecture. CSTR-95-024, Department of Computer Science, University of Bristol. December 1995. PDF, 113 Kbytes.
J. May, G. Hughes, A. D. Lunn, Reliability estimation from appropriate testing of plant protection software. Software Engineering Journal, 10 (11). ISSN 0268-6961, pp. 206–218. November 1995. No electronic version available.
Laura Lafave, A System for the Verification of Phylogenetic Trees in Godel. CSTR-95-023, Department of Computer Science, University of Bristol. November 1995. PDF, 129 Kbytes.
J Bradley, The SSL Reference Implementation Project. PhD thesis. Department of Computer Science, University of Bristol. October 1995. PDF, 241 Kbytes.
E. Lewis, M. A. A. Tatham, High Specification Text-to-Speech Synthesis for Information Systems. Second Language Engineering Convention, pp. 145–152. October 1995. No electronic version available.
J. May, P. Hall, H. Zhu, T. Cockram, N. Bird, L. Winsborrow, Fault prediction for software. Chapter in Mathematics of Dependable Systems. C. Mitchell, V. Stavridou, (eds.). ISBN 0 19 853491 4, pp. 165–181. October 1995. No electronic version available.
Eric Lewis, Mark Tatham, High Specification Text-to-Speech Synthesis for Information Systems. Second Language Engineering Convention, London, pp. 145–152. October 1995. No electronic version available.
Estrella Pulido, Database query evaluation with the STARBASE method. CSTR-95-022, Department of Computer Science, University of Bristol. October 1995. No electronic version available.
M. A. A. Tatham, E. Lewis, Naturalness in a high-level synthetic speech system. Proceedings of the 4th European Conference on Speech Communication. ISSN 1018-4074, pp. 1815–1818. September 1995. No electronic version available.
J. H. R. May, A. D. Lunn, A model of code sharing for estimating software failure on demand probabilities. IEEE Transactions on Software Engineering, 21 (9). ISSN 0098-5589, pp. 747–753. September 1995. No electronic version available.
C. J. Burgess, A Genetic Algorithm for the Optimisation of a Multiprocessor Computer Architecture. GALESIA95, 1st IEE/IEEE International Conference on Genetic Algorithms in Engieering Systems. ISBN 0 85296 650 4, pp. 39–44. September 1995. PDF, 95 Kbytes.
Brian R. Stonebridge, The Animation of Geometric Proofs. CSTR-95-020, Department of Computer Science, University of Bristol. September 1995. No electronic version available.
Brian R Stonebridge, A Proof of "Triangular Thoughts". CSTR-95-019, Department of Computer Science, University of Bristol. September 1995. No electronic version available.
C. Boukouvalas, J. Kittler, R. Marik, M. Mirmehdi, M. Petrou, Ceramic tile inspection for colour and structural defects. Proceedings of AMPT95. ISBN 1 872327 01 X, pp. 390–399. August 1995. PDF, 358 Kbytes.
Henk L. Muller, Paul W. A. Stallard, David H. D. Warren, Hiding Miss Latencies with Multithreading on the Data Diffusion Machine. Proceedings of the 1995 International Conference on Parallel Processing, ICPP'95, Volume I. ISBN 0-8493-2615-X, pp. 178–185. August 1995. PDF, 82 Kbytes.
Henk L. Muller, Paul W. A. Stallard, David H. D. Warren, The Application of Skewed-Associative Memories to Cache Only Memory Architectures. Proceedings of the 1995 International Conference on Parallel Processing, ICPP'95, Volume I . ISBN 0-8493-2615-X, pp. 150–154. August 1995. PDF, 53 Kbytes.
Brian R Stonebridge, A Short Proof of Morley's Trisector Theorem. CSTR-95-018, Department of Computer Science, University of Bristol. August 1995. No electronic version available.
Erik Reinhard, Frederik W. Jansen, Hybrid Scheduling for Efficient Ray Tracing of Complex Images. High Performance Computing for Computer Graphics and Visualisation. ISBN 3-540-76016-4, pp. 78–87. July 1995. PDF, 42 Kbytes.
C. J. Burgess, The Role of Formal Methods in Software Engineering Education and Industry . Proceedings of the 4th Software Quality Conference. ISBN 1-899796-00-2, pp. 98–105. July 1995. PDF, 77 Kbytes.
Huseyin Saglam, John P. Gallagher, Approximating Constraint Logic Programs Using Polymorphic Types and Regular Descriptions. CSTR-95-017, Department of Computer Science, University of Bristol. July 1995. PDF, 235 Kbytes.
John Gallagher, A Bottom-Up Analysis Toolkit. CSTR-95-016, Department of Computer Science, University of Bristol. July 1995. PDF, 200 Kbytes.
Maurice van der Zwaan, Erik Reinhard, Frederik W. Jansen, Pyramid Clipping for Efficient Ray Traversal. Rendering Techniques '95. ISBN 3-211-82733-1, pp. 1–10. June 1995. PDF, 77 Kbytes.
Pavel Zcik, Alan Chalmers, Optimised CSG tree evaluation for space subdivision. Parall Computing, 14 (2). ISSN 0167-7055, pp. 139–146. June 1995. No electronic version available.
B. Martens, J. Gallagher, Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance. Proceedings of the Twelfth International Conference on Logic Programming, Tokyo. ISBN 0-262-69177-9, pp. 597–614. June 1995. No electronic version available.
David Stuttard, Adam Worrall, Derek Paddon, Claire Willis, A Radiosity System for Real Time Photo-Realism. Computer Graphics: Developments in Virtual Environments. ISBN 0-12-227741-4, pp. 71–81. June 1995. PDF, 47 Kbytes.
Jeremy Bradley, Neil Davies, Analysis of the SSL Protocol. CSTR-95-021, Department of Computer Science, University of Bristol. June 1995. PDF, 145 Kbytes.
J. W. Lloyd, Declarative Programming in Escher. CSTR-95-013, Department of Computer Science, University of Bristol. June 1995. PDF, 457 Kbytes.
Steve Gregory, Rafael Ramirez, Tempo: a declarative concurrent programming language. Proceedings of the 12th International Conference on Logic Programming. ISBN 0-262-69177-9, pp. 515–529. June 1995. No electronic version available. External information
Ian Holyer, Neil Davies, Chris Dornan, The Brisk Project: Concurrent and Distributed Functional Systems. CSTR-95-015, Department of Computer Science, University of Bristol. June 1995. PDF, 126 Kbytes.
Estrella Pulido, Compiling deductive queries with the STARBASE compilation technique. CSTR-95-014, Department of Computer Science, University of Bristol. June 1995. No electronic version available.
John Gallagher, Dmitri Boulanger, Huseyin Saglam, Practical Model-Based Static Analysis for Definite Logic Programs. CSTR-95-011, Department of Computer Science, University of Bristol. June 1995. PDF, 296 Kbytes.
Neil Davies, Andrew Jones, GSPN Models of C104 Networks. CSTR-95-010, Department of Computer Science, University of Bristol. June 1995. PDF, 59 Kbytes.
Fleuriot. C, Lees, D.Y., Macredie, R.D., Th, Interface Engineering in an Office Information Appliance. CHI95 Human Factors in Computing Conference, Conference companion on Human factors in computing systems. ISBN 0-89791-755-3, pp. 242–243. May 1995. No electronic version available.
A Barenco, D Deutsch, A Ekert, R Jozsa, Conditional Quantum Dynamics and Logic Gates. Phys Rev Lett, , pp. 4083–4087. May 1995. No electronic version available. External information
Kerstin Eder, A resource-oriented deductive approach towards hierarchical planning. PhD thesis. Technische Universitat Dresden, Fakultat Informatik. May 1995. PDF, 468 Kbytes.
Erik Reinhard, Frederik W Jansen, Scheduling Issues in Parallel Rendering. Proceedings of the First Annual Conference of the Advanced School for Computing and Imaging. ISBN 90-9008344-8, pp. 268–277. May 1995. PDF, 47 Kbytes.
S. Fioravanti, R. Fioravanti, F.G. DeNatale, R. Marik, M. Mirmehdi, J. Kittler, M. Petrou, Spectral and rank order approaches to texture analysis. European Transactions on Telecommunications, 6 (3). ISSN 1120-3862, pp. 287–300. May 1995. No electronic version available.
Henk L. Muller, Paul W. A. Stallard, David H. D. Warren, The Role of Associative Memory in VSM Architectures: A Price-Performance Comparison. CSTR-95-009, Department of Computer Science, University of Bristol. May 1995. PDF, 100 Kbytes.
Estrella Pulido, Recursive query processing with the STARBASE method. CSTR-95-08, Department of Computer Science, University of Bristol. May 1995. No electronic version available.
Peter Flach, Conjectures -- an inquiry concerning the logic of induction. Institute for Language Technology and Artificial Intelligence. ISBN 90-9008119-4. April 1995. No electronic version available. External information
Christophe Giraud-Carrier, Tony Martinez, AA1*: A Dynamic Incremental Network that Learns by Discrimination. Proceedings of the Second International Conference on Artificial Neural Networks and Genetic Algorithms (ICANNGA'95). ISBN 3-211-82692-0, pp. 45–48. April 1995. PDF, 107 Kbytes.
Christophe Giraud-Carrier, Tony Martinez, Analysis of the Convergence and Generalization of AA1. Journal of Parallel and Distributed Computing, 26 (1). ISSN 0743-7315, pp. 125–131. April 1995. PDF, 50 Kbytes.
A. D. Calway, S. A. Kruger, Estimating Disparity and Motion Using Multiresolution Fourier Analysis. Proceedings of the IEE Colloquium on Multiresolution Modelling and Analysis in Image Processing and Computer Vision, pp. 33–38. April 1995. PDF, 212 Kbytes.
Christophe Giraud-Carrier, Tony Martinez, ILA: Combining Inductive Learning with Prior Knowledge and Reasoning. CSTR-95-003, Department of Computer Science, University of Bristol. March 1995. PDF, 81 Kbytes.
Colin J. Burgess, Alan G. Chalmers, Optimum Transputer Configurations for Real Applications requiring Global Communications . WoTUG-18,The 18th Technical Meeting of the World Occam and Transputer User Group. ISBN 90 5199 222 X, pp. 75–85. March 1995. PDF, 118 Kbytes.
C. J. Burgess, Software Quality Issues when choosing a Programming Language . Software Quality Management III Vol. 2. ISBN 1- 85312-417-6, pp. 25–31. March 1995. PDF, 75 Kbytes.
Brian R. Stonebridge, Maximal Chained Networks of Given Diameter with transputer examples. CSTR-95-004, Department of Computer Science, University of Bristol. March 1995. PDF, 138 Kbytes.
J. May, G. Hughes, Nuclear Electric's contribution to the CONTESSE Testing Framework and its Early Application. Procs. 3rd Safety-Critical Systems Symposium. ISBN 3-540-19922-5, pp. 25–34. February 1995. No electronic version available.
David Stuttard, Adam Worrall, Derek Paddon, Claire Willis, A Parallel Radiosity System for Large Data Sets. Proceedings of the Winter School of Computer Graphics and CAD Systems '95. ISBN 80 7087-187-6, pp. 421–430. February 1995. PDF, 30 Kbytes.
Ines de Castro Dutra, Distributing And- and Or-work in the Andorra-I Parallel Logic Programming System. PhD thesis. Department of Computer Science, University of Bristol. February 1995. PDF, 966 Kbytes.
R. Wilson, A. D. Calway, Tao-I Hsu, P. R. Meulemans, Feature extraction for low bit rate image coding using a generalized wavelet transform. Proceedings SPIE, Advanced Image and Video Communications and Storage Technologies. ISBN 0-8194-1802-1, pp. 249–257. February 1995. PDF, 417 Kbytes.
Christophe Giraud-Carrier, Tony Martinez, An Efficient Metric for Heterogeneous Inductive Learning Applications in the Attribute-Value Language. Intelligent Systems (Proceedings of GWIC'94), pp. 341–350. January 1995. PDF, 49 Kbytes.