Publications of 1998

1998

Jolanda Tromp, Mike Fraser, Designing Flow of Interaction for Virtual Environments. First International Workshop on Usability Evaluation for Virtual Environments (UEVE'98). December 1998. No electronic version available.
I Dattani, J H R May, L Lafave, Enhanced Formal Modeling for Process Management. Proceedings of The 3rd Annual International Conference on Industrial Engineering Theories, Applications and Practices. ISBN 0-9654599-3-4, pp. 47–55. December 1998. No electronic version available.
Peter Flach, From extensional to intensional knowledge: Inductive Logic Programming techniques and their application to deductive databases. Chapter in Transactions and Change in Logic Databases. B. Freitag, H. Decker, M. Kifer, A. Voronkov, (eds.). ISBN 3-540-65305-8, pp. 356–387. December 1998. PDF, 452 Kbytes. External information
J Bradley, N Davies, Performance Modelling and Synchronisation. CSTR-98-009, Superseded by CSTR-99-002, Department of Computer Science, University of Bristol. December 1998. PDF, 433 Kbytes.
Walterio Mayol-Cuevas, J Juarez-Guerrero, S. Munoz Gutierres, Evolving Body Parameters for a Simple Walking Machine. Workshop of Artificial Intelligence 40th Aniversary Comouter Science in Mexico. ISBN 970-18-2057-6, pp. 281–290. November 1998. No electronic version available.
Jon Hindmarsh, Mike Fraser, Christian Heath, Steve Benford, Chris Greenhalgh, Fragmented interaction: establishing mutual orientation in virtual environments. ACM conference on Computer-Supported Cooperative Work (CSCW'98), pp. 217–226. November 1998. No electronic version available.
Mark Tatham, Eric Lewis, Syllable recovery from polysyllabic words. Proceedings of Institute of Acoustics. ISBN 1 901656 14 4, pp. 279–288. November 1998. No electronic version available.
Katerina Mania, Alan Chalmers, A Classification for User Embodiment in Collaborative Virtual Environments. Proc. of the 4th International Conference on Virtual Systems and Multimedia . ISBN 90-5199-468-0, pp. 177–182. November 1998. PDF, 26 Kbytes.
Kerstin I. Eder, EMA: Implementing the Rewriting Computational Model of Escher. PhD thesis. Department of Computer Science, University of Bristol. November 1998. PDF, 1074 Kbytes.
J. May, S. Kuball, G. Hughes, Structural Test Statistics for Design Failure. Procs. International Workshop on Reliability Modelling and Analysis, Nov 1998, pp. 106–115. November 1998. No electronic version available.
J. Juarez-Guerrero, S. Munoz-GutiErrez, Walterio Mayol-Cuevas, Design of a Walking Machine Structure using Evolutionary Strategies. IEEE Int Symp on Systems mand and Cybernetics. October 1998. No electronic version available. External information
Walterio Mayol-Cuevas, J.JuArez-Guerrero, S. MuNoz-GutiErrez, A First Approach to Tactile Texture Recognition. IEEE Int. Conf on Systems Man and Cybernetics, pp. 4246–4250. October 1998. PDF, 545 Kbytes.
N Sidwell, System and method for restructuring data strings . Patent. US5822619. October 1998. No electronic version available. External information
Kerstin Eder, Implementing the Rewriting Computational Model of Escher. 13th Workshop on Logic Programming (WLP'98), pp. 106–117. October 1998. PDF, 206 Kbytes.
Henk Muller, David May, James Irwin, Dan Page, Novel Caches for Predictable Computing. CSTR-98-011, Department of Computer Science, University of Bristol. October 1998. PDF, 90 Kbytes.
David May, Dan Page, James Irwin, Henk L Muller, Microcaches. CSTR-98-010, Department of Computer Science, University of Bristol. October 1998. PDF, 113 Kbytes.
Andrew Calway, Stefan Kruger, David Tweed, Motion Estimation Using Adaptive Correlation and Local Directional Smoothing. IEEE International Conference on Image Processing. ISBN 0-8186-8821-1, pp. 614–618. October 1998. PDF, 227 Kbytes.
Roland Wilson, Peter Meulemans, Andrew Calway, Stefan Kruger, Image Sequence Analysis and Segmentation Using G-blobs. IEEE International Conference on Image Processing. ISBN 0-8186-8821-1, pp. 483–487. October 1998. PDF, 240 Kbytes.
Stefan Kruger, Motion Analysis and Estimation using Multiresolution Affine Models. PhD thesis. Department of Computer Science, University of Bristol. October 1998. PDF, 3304 Kbytes.
C. Boukouvalas, G. Vernazza. , F. De Natale, G. De Toni, J. Kittler, R. Marik, M. Mirmehdi, M. Petrou, P. Le Roy, R. Salgari, Automatic system for surface inspection and sorting of tiles. Journal of Materials Processing Technology, 82 (1-3). ISSN 0924-0136, pp. 179–188. October 1998. No electronic version available.
Raphaël Clifford, Stephen Newhouse, A parallel paralogous region detector. Proceedings of the 8th Fujitsu Parallel Computing Workshop (PCW'98). September 1998. No electronic version available.
Mike Fraser, Tony Glover, Representation and Control in Collaborative Virtual Environments. Fifth conference of the UK VR Special Interest Group (UKVRSIG'98). September 1998. No electronic version available.
Kadi Bouabouch, Alan Chalmers, Thierry Priol, Proceedings of the Second Eurographics Workshop on Parallel Graphics & Visualisation. IRISA. September 1998. No electronic version available.
L. Lafave, J. P. Gallagher, Extending the power of automatic constraint-based partial evaluators. ACM Computing Surveys, 30 (3es). ISSN 0360-0300, pp. 1–4. September 1998. No electronic version available. External information
J. P. Gallagher, L. Lafave, The role of trace abstractions in program specialization algorithms. ACM Computing Surveys, 30 (3es). ISSN 0360-0300, pp. 1–4. September 1998. No electronic version available. External information
J. C. Peralta, J. P. Gallagher, H. Saglam, Analysis of Imperative Programs through Analysis of Constraint Logic Programs. Static Analysis. 5th International Symposium, SAS'98, Pisa, Italy, September 1998. ISBN 3-540-65014-8, pp. 246–261. September 1998. No electronic version available.
I Holyer, E Spiliopoulou, Concurrent Monadic Interfacing. IFL '98: Proceedings of the 10th International Workshop on Implementation of Functional Languages, pp. 253–269. September 1998. No electronic version available.
I Holyer, N Davies, E Spiliopoulou, Distribution in a Demand Driven Style. The First International Workshop on Component-based software development in Computational Logic; COCL, pp. 29–41. September 1998. PDF, 168 Kbytes.
Stefan Kruger, Andrew Calway, Image Registration Using Multiresolution Frequency Domain Correlation. British Machine Vision Conference. ISBN 1-901725-04-9, pp. 316–325. September 1998. PDF, 286 Kbytes.
Erik Reinhard, Arjan J. F. Kok, Alan Chalmers, Cost Distribution Prediction for Parallel Ray Tracing. Second Eurographics Workshop on Parallel Graphics and Visualisation, pp. 77–90. September 1998. PDF, 688 Kbytes.
Frederik W. Jansen, Erik Reinhard, Data Locality in Parallel Rendering. Second Eurographics Workshop on Parallel Graphics and Visualisation, pp. 1–15. September 1998. PDF, 566 Kbytes.
M. E. J. Wood, N. W. Campbell, B. T. Thomas, Iterative Refinement by Relevance Feedback in Content-Based Digi tal Image Retrieval. ACM Multimedia 98. ISBN 1-58113-036-8, pp. 13–20. September 1998. PDF, 251 Kbytes.
D. Davies, P. L. Palmer, M. Mirmehdi, Detection and tracking of very small low-contrast objects. Proceedings of the 9th British Machine Vision Conference. ISBN 1-901725-04-9, pp. 599–608. September 1998. PDF, 114 Kbytes.
D. Davies, P. L. Palmer, M. Mirmehdi, Robust tracker of small, fast-moving low-contrast targets. Proceedings of IX European Signal Processing Conference, Volume III. ISBN 960-7620-08-9, pp. 1545–1548. September 1998. PDF, 304 Kbytes.
M R Everingham, B T Thomas, T Troscianko, D Easty, Neural-network virtual reality mobility aid for the severely visually impaired. Proceedings of the 2nd European Conference on Disability, Virtual Reality and Associated Technologies. ISBN 0 7049 1141 8, pp. 183–192. September 1998. PDF, 573 Kbytes.
Henk L. Muller, David May, A Simple Protocol to Communicate Channels over Channels. EURO-PAR '98 Parallel Processing, LNCS 1470. ISBN 3-540-64952-2, pp. 591–600. September 1998. PDF, 68 Kbytes.
A Ekert, R Jozsa, Quantum Algorithms: Entanglement Enhanced Information Processing. Phil Trans Roy Soc Lond A , , pp. 1779–1782. August 1998. No electronic version available. External information
R Jozsa, M Horodecki, P Horodecki, R Horodecki, Universal Quantum Information Compression. Phys Rev Lett, , pp. 1714–1717. August 1998. No electronic version available. External information
Peter A. Flach, Antonis Kakas, . , . August 1998. No electronic version available. External information
David May, Glenn Farrell, Andrew Sturges, Bruno Fel, Catherine Barneby, A cache system. Patent. EP856798. August 1998. No electronic version available. External information
David May, Andrew Sturges, A cache system for concurrent processes. Patent. EP856797. August 1998. No electronic version available. External information
Neil Pollard, David May, Using Interval Arithmetic to Calculate Data Sizes for Compilation to Multimedia Instruction Sets. ACM Multimedia '98. ISBN 1-58113-036-8, pp. 279–284. August 1998. No electronic version available. External information
I Holyer, E Spiliopoulou, The Brisk Machine: A Simplified STG Machine. Implementation of Functional Languages, 9th International Workshop, IFL'97, St. Andrews, Scotland, UK, September 1997, Selected Papers, LNCS 1467. ISBN 3-540-64849-6, pp. 20–38. August 1998. PDF, 208 Kbytes.
David Hedley, Discontinuity Meshing for Complex Environments. PhD thesis. Department of Computer Science, University of Bristol. August 1998. PDF, 5809 Kbytes.
Tom Troscianko, Ann McNamara, Alan Chalmers, Measures of Lightness Constancy as an index ot the perceptual fidelity of computer graphics. European Conference on Visual Perception 1998, Perception Vol 27 Supplement. ISSN 0301-0066, pp. 25–25. August 1998. No electronic version available.
Erik Reinhard, Alan Chalmers, Frederik W. Jansen, Overview of Parallel Photo-realistic Graphics. Eurographics '98 State of the Art Reports. ISSN 1017-4656, pp. 1–25. August 1998. PDF, 405 Kbytes.
M Everingham, T Troscianko, B Thomas, N Karia, D Easty, A neural-network virtual-reality mobility aid for the severely visually impaired. European Conference on Visual Perception 1998, Perception Vol 27 Supplement. ISSN 0301-0066, pp. 14–14. August 1998. No electronic version available.
T. S. Dahl, Eel, a Declarative Language for Programming Adaptive Agents. CSTR-98-008, Department of Computer Science, University of Bristol. August 1998. PDF, 66 Kbytes.
Jorge Buenabad-Chavez, Virtual Memory on Data Diffusion Architectures. PhD thesis. Department of Computer Science, University of Bristol. July 1998. PDF, 904 Kbytes.
Claire J. Kennedy, Evolutionary higher order concept learning. Late Breaking Papers at the Genetic Programming 1998 Conference, pp. 113–113. July 1998. PDF, 8 Kbytes.
Chris Dornan, Type-Secure Meta-Programming. PhD thesis. Department of Computer Science, University of Bristol. July 1998. PDF, 804 Kbytes.
Peter A. Flach, Antonis Kakas, Abduction and Induction in AI: Report of the IJCAI�97 workshop. Logic Journal of the Interest Group on Pure and Applied Logic, 6 (4). ISSN 1367-0751, pp. 651–656. July 1998. No electronic version available. External information
Alan Chalmers, Erik Reinhard, Parallel and Distributed Photo-Realistic Rendering (course notes). ACM SIGGRAPH. July 1998. PDF, 5822 Kbytes.
P. A. Flach, C. Giraud-Carrier, J. W. Lloyd, Strongly Typed Inductive Concept Learning. 8th International Conference on Inductive Logic Programming (ILP-98). ISBN 3-540-64738-4, pp. 185–194. July 1998. No electronic version available. External information
Simon Price, Managing Large-scale Multimedia Development Projects. International Journal of Engineering Education, 14(6). ISSN 0949149X, pp. 407–418. June 1998. PDF, 235 Kbytes. External information
H. Barnum, M. A. Nielsen, B. W. Schumacher, Information transmission through a noisy quantum channel. Phys. Rev. A, 57 (7), pp. 4153–4175. June 1998. No electronic version available. External information
P Francis-Cobley, N Davies, Performance Implications of QoS Mapping in Heterogeneous Networks Involving ATM. Proc. ICATM'98, IEEE International Conference on ATM. ISBN 0 9524027 6, pp. 529–535. June 1998. PDF, 104 Kbytes.
L. Lafave, J. P. Gallagher, Constraint-based Partial Evaluation of Rewriting-based Functional Logic Programs. Program Synthesis and Transformation. 7th International Workshop, LOPSTR'97, Leuven, Belgium, July 1997, editor N. Fuchs.. ISBN 3-540-65074-1, pp. 168–188. June 1998. No electronic version available.
H. Saglam, J. P. Gallagher, Constrained Regular Approximation of Logic Programs. Program Synthesis and Transformation. 7th International Workshop, LOPSTR'97, Leuven, Belgium, July 1997, editor N. Fuchs.. ISBN 3-540-65074-1, pp. 282–299. June 1998. No electronic version available.
Ann McNamara, Alan Chalmers, Tom Troscianko, Erik Reinhard, Fidelity of Graphics Reconstructions: A Psychophysical Investigation. Proceedings of the 9th Eurographics Rendering Workshop. ISBN 3-211-83213-0, pp. 237–246. June 1998. PDF, 161 Kbytes.
Peter Flach, The logic of learning: a brief introduction to Inductive Logic Programming. Proceedings of the CompulogNet Area Meeting on Computational Logic and Machine Learning, pp. 1–17. June 1998. PDF, 72 Kbytes.
Peter Flach, Comparing consequence relations. Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR'98). ISBN 1-55860-554-1, pp. 180–189. June 1998. PDF, 71 Kbytes.
D. P. Gibson, N. W. Campbell, B. T. Thomas, The Generation of 3-D Models without Camera Calibration. Computer Graphics and Imaging. ISBN 0-88986-262-1, pp. 146–149. June 1998. PDF, 174 Kbytes.
Adam Worrall, David Hedley, Derek Paddon, Interactive Animation of Soft Shadows. Proceedings of Computer Animation 1998. ISBN 0-8186-8541-7, pp. 88–94. June 1998. PDF, 220 Kbytes.
M. Petrou, M. Mirmehdi, M. Coors, Perceptual smoothing and segmentation of colour textures. Proceedings of the 5th European Conference on Computer Vision . ISSN 0302-9743, pp. 623–639. June 1998. PDF, 339 Kbytes.
Constance Fleuriot, John F. Meech, Peter Thomas, Diaries as family communication tools. CHI 98 conference summary on Human factors in computing systems. ISBN 1-58113-028-7, pp. 361–362. May 1998. No electronic version available. External information
G. Hughes, What is 'Good' for Safety and is Research Helping? . Proc. of BARQA 13th International Congress on Compliance and Computers, pp. 78–90. May 1998. No electronic version available.
G Hughes, J H R May, Statistical System Testing based on the Results at Sizewell B and On-Going Research. Proceedings of the Third International Conference on Control and Instrumentation in Nulcear Installations. ISSN 02625091, pp. 50–61. May 1998. No electronic version available.
I. Dattani, R. V. Magaldi, Case-Based Reasoning (CBR) and Machine Learning within the Aviation Domain. Proceedings of IASTED International Conference in Artificial Intelligence and Soft Computing. ISBN 0-88986-256-7, pp. 415–419. May 1998. No electronic version available.
Hilan Bensusan, Odd bites into bananas don't make you blind: learning about simplicity and attribute addition. Proceedings of the ECML'98 workshop on upgrading learning to the meta-level: model selection and data transformation, pp. 30–42. April 1998. No electronic version available.
Hilan Bensusan, God doesn't always shave with Occam's Razor - learning when and how to prune. Proceedigs of the 10th European Conference on Machine Learning. ISBN 3-540-64417-2, pp. 119–124. April 1998. PDF, 130 Kbytes.
Adam Worrall, Dynamic Discontinuity Meshing. PhD thesis. Department of Computer Science, University of Bristol. April 1998. PDF, 1757 Kbytes.
Christophe Giraud-Carrier, Beyond Predictive Accuracy: What? . ECML'98 Workshop Notes - Upgrading Learning to the Meta-Level: Model Selection and Data Transformation, pp. 78–85. April 1998. PDF, 130 Kbytes.
Julio C. Peralta, John P. Gallagher, Huseyin Saglam, Analysis of Imperative Programs through Analysis of Constraint Logic Programs. CSTR-98-007, Department of Computer Science, University of Bristol. April 1998. PDF, 212 Kbytes.
John May, Silke Kuball, Gordon Hughes, Test Statistics for System Design Failure. CSTR-98-006, Department of Computer Science, University of Bristol. April 1998. No electronic version available.
J Bradley, N Davies, Compositional BDD Construction: A Lazy Algorithm. CSTR-98-005, Department of Computer Science, University of Bristol. April 1998. PDF, 226 Kbytes.
Rafal Bogacz, Christophe Giraud-Carrier, Learning Meta-Rules of Selection in Expert Systems. Proceedings of the Fourth World Congress on Expert Systems. ISBN 1-882345-22-3, pp. 576–581. March 1998. PDF, 52 Kbytes.
Christophe Giraud-Carrier, Stephen Corley, Inductive CBR for Customer Support. Proceedings of the Second International Conference on the Practical Application of Knowledge Discovery and Data Mining. ISBN 0-9525554-9-2, pp. 131–141. March 1998. PDF, 43 Kbytes.
D. P. Gibson, N. W. Campbell, B. T. Thomas, Iterative Generation of 3-D Models from a Set of 2-D Images. Eurographics UK 1998. ISBN 0-952 1097-7-8, pp. 135–145. March 1998. PDF, 376 Kbytes.
Fotios Kokkoras, Steve Gregory, D-WMS: Distributed workforce management using CLP. Proceedings of the 4th International Conference on the Practical Application of Constraint Technology. ISSN 0952555409, pp. 129–146. March 1998. No electronic version available.
Ian Holyer, Eleni Spiliopoulou, The Brisk Machine: A Simplified STG Machine. CSTR-98-003, Department of Computer Science, University of Bristol. March 1998. PDF, 213 Kbytes.
Shane Dickson, Investigation of the use of Neural Networks for Computerised Medical Image Analysis. PhD thesis. Department of Computer Science, University of Bristol. February 1998. PDF, 1524 Kbytes.
Neil Pollard, David May, Using Interval Arithmetic to Calculate Data Sizes for Compilation to Multimedia Instruction Sets. CSTR-98-004, Department of Computer Science, University of Bristol. February 1998. PDF, 204 Kbytes.
David May, Henk L. Muller, Using Channels for Multimedia Communication. CSTR-98-002, Department of Computer Science, University of Bristol. February 1998. PDF, 52 Kbytes.
M. Mirmehdi, M. Petrou, Perceptual versus gaussian smoothing for pattern-colour separability. International Conference on Signal Processing and Communications. ISBN 0-88986-246-X, pp. 136–140. February 1998. PDF, 184 Kbytes.
M. Mirmehdi, P. L. Palmer, J. Kittler, A robust approach for pre-recognition target signal improvement. International Conference on Signal Processing and Communications. ISBN 0-88986-246-X, pp. 50–54. February 1998. No electronic version available.
M. A. Nielsen, C. M. Caves, B. W. Schumacher, H. Barnum, Information theoretic approach to error correction and reversible measurements. Proceedings of the Royal Society of London A, 454 (1969), pp. 277–304. January 1998. No electronic version available. External information
Lee Spector, Howard Barnum, Herbert Bernstein, Genetic programming for quantum computers. Genetic Programming 1998: Proceedings of the Third Annual Conference, pp. 365–374. January 1998. No electronic version available.
R Jozsa, Quantum Information and Its Properties. Chapter in Introduction to Quantum Computation and Information. HK Lo, S Popescu, T Spiller, (eds.). January 1998. No electronic version available.
R Jozsa, Aspects of Quantum Information Compression for Pure States. Quantum Communication, Computing and Measurement 2 (Proceedings of QCM'98). P Kumar, G M D, O Hirota, (eds.), pp. 27–35. January 1998. No electronic version available.
R Jozsa, Quantum algorithms and the Fourier transform. Proc Roy Soc Lond A, , pp. 323–337. January 1998. No electronic version available. External information
R Jozsa, Entanglement and Quantum Computation. Chapter in The Geometric Universe. S Huggett, L Mason, K P Tod, S T Tsou, N Woodhouse, (eds.). January 1998. No electronic version available. External information
Antony Bowers, Effective Meta-programming in Declarative Languages. PhD thesis. Department of Computer Science, University of Bristol. January 1998. PDF, 889 Kbytes.
Henk L. Muller, David May, A Simple Protocol to Communicate Channels over Channels. CSTR-98-001, Department of Computer Science, University of Bristol. January 1998. PDF, 168 Kbytes.
P. M. Hill, J. Gallagher, Meta-Programming in Logic Progamming. Chapter in Handbook of Logic in Artificial Intelligence and Logic Programming. D. M. Gabbay, C. J. Hogger, J. A. Robinson, (eds.). ISBN ISBN 0 19 853792 1, pp. 421–498. January 1998. No electronic version available.
Henk L. Muller, Sanjay Raina, Paul W. A. Stallard, David H. D. Warren, Parallel Calibrated Emulation as a Technique for Evaluating Parallel Architectures. Computer systems science and engineering, 13 (1). ISSN 0267-6192, pp. 125–133. January 1998. PDF, 129 Kbytes.
Neil Davies, Peter Thompson, Large Valency Serial Wormhole Routing Networks as a Scalable Multimedia Switching Infrastructure. Advances in Information Technologies: The Business Challenge. ISBN 90 5199 385 4, pp. 883–890. January 1998. No electronic version available. External information
M. Mirmehdi, P. L. Palmer, J. Kittler, Optimising the complete image feature extraction chain. Third Asian Conference on Computer Vision, Volume II. ISBN 3-540-63931-4, pp. 307–314. January 1998. PDF, 211 Kbytes.