Publications of 1996

1996

Simon Price, Structured Testing for Multimedia Authoring. European Conference on Software Testing Analysis and Reviews, RAI, Amsterdam. December 1996. No electronic version available.
Christophe Giraud-Carrier, FLARE: Induction with Prior Knowledge. Research and Development in xpert Systems XIII (Proceedings of Expert Systems'96). ISBN 1 899621 13 X, pp. 11–24. December 1996. PDF, 45 Kbytes.
R.García-Herrera, W.W. Mayol-Cuevas, Image recognition using general regression networks and the TVS technique (in Spanish: Reconocimiento de Imágenes Empleando Redes de Regresion General y la tecnica TVS). Iberoamerican Congress of Artificial Intelligence IBERAMIA. November 1996. PDF, 403 Kbytes.
H Barnum, C Fuchs, R Jozsa, B Schumacher, General Fidelity Limit for Quantum Channels. Phys Rev A, , pp. 4707–4710. November 1996. No electronic version available. External information
Mark Tatham, Eric Lewis, Improving text-to-speech synthesis. Proceedings of the Institute of Acoustics, 18 (9). ISBN 1 873082 94 0, pp. 35–42. November 1996. No electronic version available.
Matthew E. J. Wood, Eric Lewis, A Syntactic Word Prediction System for Disabled People. Proceedings of the 1996 Autumn Conference on Speech and Hearing. ISBN 1 873082 96 7, pp. 315–322. November 1996. PDF, 87 Kbytes.
Katerina Mania, Interactive 3D environments through the World Wide Web. PhD thesis. Department of Computer Science, University of Bristol . October 1996. No electronic version available.
Rafael Ramirez, A Logic-Based Concurrent Object-Oriented Programming Language. PhD thesis. Department of Computer Science, University of Bristol. October 1996. PDF, 602 Kbytes.
Simon Price, Li Lin Cheah, Phil J. Hobbs, Software Quality Management in End-User Programming. Fourth International Conference on Software Quality Management, Queen's College, Cambridge, UK. ISSN 1860580319, pp. 485–493. September 1996. PDF, 443 Kbytes.
Angus A Clark, Tom Troscianko, Neill W Campbell, Barry T Thomas, Image region labelling by humans and by an artificial neural network. European Conference on Visual Perception 1996, Perception Vol 25 Supplement, pp. 47–47. September 1996. No electronic version available.
P Hausladen, R Jozsa, B Schumacher, M Westmoreland, W Wootters, Classical Information Capacity of a Quantum Channel. Phys Rev A, , pp. 1869–1876. September 1996. No electronic version available.
D Deutsch, A Ekert, R Jozsa, C Macchiavello, S Popescu, A Sanpera, Quantum Privacy Amplification and the Security of Quantum Cryptography Over Noisy Channels. Phys Rev Lett, , pp. 2818–2821. September 1996. No electronic version available. External information
Erik Reinhard, Frederik W. Jansen, Rendering Large Scenes Using Parallel Ray Tracing. First Eurographics Workshop on Parallel Graphics and Visualisation. ISBN 1-897851-09, pp. 67–80. September 1996. PDF, 70 Kbytes.
M. Mirmehdi, R. Marik, J. Kittler, M. Petrou, Structural Defect Detection in Random Macro Textures. Proceedings of Signal Processing VIII, Theories and Applications. ISBN 88-86179-83-9, pp. 1499–1502. September 1996. PDF, 233 Kbytes.
M. Mirmehdi, P.L. Palmer, J. Kittler, H. Dabis, Complex Feedback Strategies for Hypothesis Generation and Verification. Proceedings of the 7th British Machine Vision Conference . ISSN 0952189836, pp. 123–132. September 1996. PDF, 785 Kbytes.
N. W. Campbell, B. T. Thomas, T. Troscianko , Segmentation of Natural Images using Self-Organising Feature Maps. British Machine Vision Conference. ISBN 0 9521898 3 6, pp. 223–232. September 1996. PDF, 297 Kbytes.
S.A. Kruger, A.D. Calway, A Multiresolution Frequency Domain Method For Estimating Affine Motion Parameters. Proceedings of the IEEE International Conference on Image Processing. ISBN 0-7803-3258-X, pp. 113–116. September 1996. PDF, 304 Kbytes.
A. D Calway, Image Representation Based on the Affine Symmetry Group. Proceedings of the IEEE International Conference on Image Processing. ISBN 0-7803-3258-X, pp. 189–192. September 1996. PDF, 151 Kbytes.
Proceedings of the First Eurographics Workshop on Parallel Graphics & Visualisation. A.G. Chalmers, F. W. Jansen, (eds.). Alpha Books. ISBN 1 897851 09 X. September 1996. No electronic version available. External information
Bowen, N.S, Dhiraj Pradhan, The effect of program behavior on fault observability. , IEEE Transactions on Computers, 45(8). ISSN 0018-9340 , pp. 868–880. August 1996. PDF, 1422 Kbytes.
R Jozsa, How can we find new Quantum Algorithms?. , NSF-ITP-96-092. August 1996. No electronic version available.
Peter A. Flach, Abduction and induction: syllogistic and inferential perspectives. Proceedings of the ECAI'96 workshop on Abductive and Inductive Reasoning. Peter A. Flach, Antonis Kakas, (eds.), pp. 31–35. August 1996. No electronic version available. External information
Peter A. Flach, Antonis Kakas, . , . August 1996. No electronic version available. External information
A Ekert, R Jozsa, Quantum Computation and Shor's Factoring Algorithm. Reviews of Modern Physics, , pp. 733–753. July 1996. No electronic version available.
C J Bradley, J T Bradley, Countless Simson Line Configurations. The Mathematical Gazette, 80 (488). ISSN 0025-5572, pp. 314–321. July 1996. PDF, 106 Kbytes.
Cemal Kose, Alan Chalmers, Dynamic data management for parallel volume visualisation. UK Parallel '96 . ISBN 3-540-76068-7, pp. 181–195. July 1996. PDF, 128 Kbytes.
Chakradhar, S.T., Banerjee, S., Roy, R.K., Dhiraj Pradhan, Synthesis of initializable asynchronous circuits. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, , 4(2). ISSN 1063-8210 , pp. 254–263. June 1996. PDF, 1182 Kbytes.
Ship of Fools, Multimedia and Interactivity, The Makers' Perspective. Seminar series The Story Telling Machine- Talking About the Impact of Digital Technologies on Narrative, Watershed Media Centre, Bristol.. June 1996. No electronic version available. External information
Erik Reinhard, Arjan J. F. Kok, Frederik W. Jansen, Cost Prediction in Ray Tracing. Rendering Techniques '96. ISBN 3-211-82883-4, pp. 41–50. June 1996. PDF, 117 Kbytes.
Erik Reinhard, A Parallelisation of Ray Tracing with Diffuse Interreflection. Proceedings ASCI'96. ISBN 90-803086-1-7, pp. 367–372. June 1996. PDF, 35 Kbytes.
Matthew E. J. Wood, Syntactic Pre-Processing in Single-Word Prediction for Disabled People. PhD thesis. Department of Computer Science, University of Bristol. June 1996. PDF, 1193 Kbytes.
N. W. Campbell, W. P. J. Mackeown, B. T. Thomas, T. Troscianko, The Automatic Classification of Outdoor Images. International Conference on Engineering Applications of Neural Networks. ISBN 952-90-7517-0, pp. 339–342. June 1996. PDF, 165 Kbytes.
N. W. Campbell, B.T. Thomas, Neural Networks for the Segmentation of Outdoor Images. International Conference on Engineering Applications of Neural Networks. ISBN 952-90-7517-0, pp. 343–346. June 1996. PDF, 273 Kbytes.
Brian R. Stonebridge , Angle Trisection by Construction of a Well-Defined Locus and a Simple Arc . CSTR-96-004, Department of Computer Science, University of Bristol. June 1996. No electronic version available.
Huseyin Saglam, John Gallagher, Static Analysis of Logic Programs Using CLP as a Meta-language. CSTR-96-003, Department of Computer Science, University of Bristol. June 1996. PDF, 224 Kbytes.
Stefan Kruger, Andrew Calway, Multiresolution Motion Estimation Using an Affine Model. CSTR-96-002, Department of Computer Science, University of Bristol. June 1996. PDF, 843 Kbytes.
M. Mirmehdi, P.L. Palmer, J. Kittler, H. Dabis, Multi-pass Feedback Control for Object Recognition. Proceedings of Vision Interface 96. ISBN 0-9680833-0-7, pp. 49–56. May 1996. PDF, 283 Kbytes.
Brian R. Stonebridge, The Principle of Linearity: A Short Cut to Determine Dependent Angles . CSTR-96-005, Department of Computer Science, University of Bristol. May 1996. PDF, 116 Kbytes.
Rafal Bogacz, Knowledge database implemented as a neural network. Proceedings of the Second Conference on Neural Networks and Their Applications, pp. 66–71. April 1996. PDF, 93 Kbytes.
H Barnum, C Caves, C Fuchs, R Jozsa, B Schumacher, Noncommuting Mixed States Cannot be Broadcast. Phys Rev Lett, , pp. 2818–2821. April 1996. No electronic version available. External information
David May, Jonathan Edwards, David Waller, Microcomputer with high density RAM in separate isolation well on single chip. Patent. US5506437. April 1996. No electronic version available. External information
Rong Yang, Solving a Workforce Management Problem with Constraint Programming . The 2nd International Conference on the Practical Application of Constraint Technology. ISBN 0 9525554 2 5, pp. 373–387. April 1996. PDF, 191 Kbytes.
Cemal Kose, Alan Chalmers, Memory management strategies for parallel volume rendering. The 19th International COnference of the World Occam and Transputer Users Group. ISBN 90-5199-261-0, pp. 113–125. April 1996. PDF, 111 Kbytes.
Henk L. Muller, Paul W. A. Stallard, David H. D. Warren, Implementing the Data Diffusion Machine using Crossbar Routers. Proceedings of the 10th International Parallel Processing Symposium. ISBN 0-8186-7255-2, pp. 152–158. April 1996. PDF, 93 Kbytes.
Kerstin Eder, Steffen Holldobler, Michael Thielscher, An Abstract Machine for Reasoning about Situations, Actions, and Causality. 5th International Workshop on Extensions of Logic Programming, Lecture Notes in Artificial Intelligence 1050. ISBN 3-540-60983-0, pp. 137–151. March 1996. PDF, 182 Kbytes.
Peter Flach, Rationality postulates for induction. Rationality and Knowledge: Proceedings of the Sixth Conference (TARK 1996). ISBN 1-55860-417-0, pp. 267–281. March 1996. PDF, 49 Kbytes.
C. J. Burgess, A. G. Chalmers, The Optimisation of Irregular Multiprocessor Computer Architectures using Genetic Algorithms. CSTR-96-006, Department of Computer Science, University of Bristol. March 1996. PDF, 141 Kbytes.
Alan Chalmers, Jonathan Tidmus, Practical Parallel Processing: An introduction to problem solving in parallel. International Thomson Computer Press. ISBN 1-85032-135-3. March 1996. No electronic version available. External information
Steve Gregory, Derivation of concurrent algorithms in Tempo. Proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation (Utrecht, September 1995). ISBN 3-540-60939-3, pp. 46–60. March 1996. No electronic version available. External information
John Gallagher, Laura Lafave, Regular Approximation of Computation Paths in Logic and Functional Languages. CSTR-96-001, Department of Computer Science, University of Bristol. March 1996. PDF, 227 Kbytes.
David May, Jonathan Edwards, David Waller, Microcomputer with high density ram in separate isolation well on single chip. Patent. US5491359. February 1996. No electronic version available. External information
David May, Brian Parsons, Peter Thompson, Christopher Walker, Apparatus providing addressable storage locations as virtual links and storing predefined destination information for any messages transmitted on virtual links at these locations. Patent. US5495619. February 1996. No electronic version available. External information
M. Mirmehdi, R. Marik, M. Petrou, J. Kittler, Iterative Morphology for Fault Detection in Stochastic Textures. IEE Electronic Letters, 32 (5). ISSN 0013-5194, pp. 443–444. February 1996. No electronic version available.
C. J. Burgess, M. Saidi, The Automatic Generation of Test Cases for Optimising Fortran Compilers. Information and Software Technology, 38 (2). ISSN 0950-5849, pp. 111–119. February 1996. No electronic version available.
J. P. Gallagher, L. Lafave, Regular Approximation of Computation Paths in Logic and Functional Languages. Proceedings of the Dagstuhl Workshop on Partial Evaluation. ISSN in press, pp. 1–16. February 1996. No electronic version available.
Henk L. Muller, Paul W. A. Stallard, David H. D. Warren, Multitasking and Multithreading on a Multiprocessor with Virtual Shared Memory. Proceedings of the 2nd International Symposium on High-Performance Computer Architecture. ISBN 0-8186-7237-4, pp. 212–221. February 1996. PDF, 79 Kbytes.
Gupta, S.K. , Dhiraj Pradhan, Utilization of on-line (concurrent) checkers during built-in self-test and vice versa. ieeetc: IEEE Transactions on Computers , 63 (73). ISSN 0018-9340 , pp. 45–1. January 1996. PDF, 1217 Kbytes.
Kunz, W. , Dhiraj Pradhan, Reddy, S.M. , A novel framework for logic verification in a synthesis environment. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, , 15(1). ISBN 0278-0070 , pp. 20–32. January 1996. PDF, 1473 Kbytes.
Erik Reinhard, Hybrid Scheduling for Parallel Ray Tracing. , Faculty of Technical Mathematics and Informatics, Delft University of Technology. January 1996. PDF, 487 Kbytes.
Kish Shen, Steve Gregory , Instant Replay debugging of concurrent logic programs. New Generation Computing, 14 (1). ISSN 0288-3635, pp. 79–107. January 1996. No electronic version available. External information
Henk L. Muller, Paul W. A. Stallard, David H. D. Warren, The Role of Associative Memory in VSM Architectures: A Price-Performance Comparison. Proceedings of 4th EUROMICRO Workshop on Parallel and Distributed Processing. ISBN 0-8186-7376-1, pp. 41–49. January 1996. No electronic version available.