Publications of 1997

1997

G.Fernandez-Anaya, S.Munoz-GutiErrez, R.A.Sanchez-Guzman, Walterio Mayol-Cuevas, Simultaneous stabilization using evolutionary strategies. International Journal of Control, 68(6), pp. 1417–1435. December 1997. No electronic version available.
Peter A. Flach, Inductive Logic Databases: from extensional to intensional knowledge. 5th International Conference on Deductive and Object-Oriented Databases (DOOD'97). F. Bry, R. Ramakrishnan, K. Ramamohanarao, (eds.). ISBN 3-540-63792-3, pp. 3–3. December 1997. No electronic version available.
Huseyin Saglam, A Toolkit for Static Analysis of Constraint Logic Programs. PhD thesis. Department of Computer Science, University of Bristol. December 1997. PDF, 784 Kbytes.
Peter A. Flach, Nicolas Lachiche, Cooking up integrity constraints with PRIMUS (preliminary report). CSTR-97-009, Department of Computer Science, University of Bristol. December 1997. PDF, 68 Kbytes.
H. Zhu, P. Hall, J. May, Software Unit Test Coverage and Adequacy. ACM Computing Surveys, 29 (4). ISSN 0360-0300, pp. 366–427. December 1997. No electronic version available.
Howard Barnum, J. Smolin, Barbara Terhal, Quantum capacity is properly defined without encodings. Physical Review A, 58 (5), pp. 3496–3483. November 1997. No electronic version available. External information
I. Dattani, R. V. Magaldi, The Application of CBR for maintaining aeroplanes in time-constrained Operational Situations. Advances in Industrial Engineering Applications and Pracice II. ISBN 0-9654599-2-6, pp. 1181–1186. November 1997. No electronic version available.
Erik Reinhard, Alan Chalmers, Message Handling in Parallel Radiance. Recent Advances in Parallel Virtual Machine and Message Passing Interface. ISBN 3-540-63697-8, pp. 486–493. November 1997. PDF, 148 Kbytes.
A Barenco, A Berthiaume, D Deutsch, A Ekert, R Jozsa, C. Macchiavello, Stabilisation of Quantum Computations by Symmetrisation. S.I.A.M. Journal on Computing, , pp. 1541–1557. October 1997. No electronic version available. External information
David May, Brian Parsons, Peter Thompson, Christopher Walker, A communications device.. Patent. EP611014. October 1997. No electronic version available. External information
S. B. Dugdale, H. M. Fretwell, D. C. R. Hedley, M. A. Alam, R. N. West, Recent developments in 3D reconstruction from 2D-ACAR. Material Science Forum , 255-257 (?). ISBN ISSN 0255-5476, pp. 448–450. October 1997. No electronic version available.
Huseyin Saglam, John Gallagher, Constrained Regular Approximation of Logic Programs. CSTR-97-008, Department of Computer Science, University of Bristol. October 1997. PDF, 235 Kbytes.
A. M. Jones, N. J. Davies, M. A. Firth, C. J. Wright, The Network Designer's Handbook. IOS Press. ISBN 90 5199 380 3. October 1997. No electronic version available.
Rafal Bogacz, Christophe Giraud-Carrier, Supervised Competitive Learning for Finding Positions of Radial Basis Functions. Proceedings of the Third Conference on Neural Networks and Their Applications. ISBN 83-90-85-87-03, pp. 701–706. October 1997. PDF, 50 Kbytes.
David May, Brian Parsons, Peter Thompson, Christopher Walker, Message Routing. Patent. EP405990. September 1997. No electronic version available. External information
A. F. Bowers, C. Giraud-Carrier, C. Kennedy, J. W. Lloyd, R. MacKinney-Romero, A Framework for Higher-Order Inductive Machine Learning. Proceedings of the COMPULOGNet Area Meeting on Representation Issues in reasoning and Learning, pp. 19–25. September 1997. PDF, 153 Kbytes.
Chris Setchell, Applications of Computer Vision to Road-traffic Monitoring. PhD thesis. Department of Computer Science, University of Bristol. September 1997. PDF, 1607 Kbytes.
Peter A. Flach, Nada Lavrac, Proceedings of the CompulogNet Area Meeting on Representation issues in reasoning and learning. CSTR-97-005, Department of Computer Science, University of Bristol. September 1997. No electronic version available. External information
Peter A. Flach, Normal forms for Inductive Logic Programming. Proceedings of the 7th International Workshop on Inductive Logic Programming. ISBN 3-540-63514-9, pp. 149–156. September 1997. PDF, 36 Kbytes.
Peter A. Flach, Antonis Kakas, Abductive and inductive reasoning: report of the ECAI'96 workshop. Logic Journal of the Interest Group on Pure and Applied Logic, 5 (5). ISSN 1367-0751, pp. 773–778. September 1997. No electronic version available. External information
Matthew E. J. Wood, Neill W. Campbell, Barry T. Thomas, Employing Region Features for Searching an Image Database. Proceedings of the 1997 British Machine Vision Conference. ISBN 0 952 18987 9, pp. 620–629. September 1997. PDF, 195 Kbytes.
M. Petrou, M. Mirmehdi, M. Coors, Multilevel probabilistic relaxation. Proceedings of the Eighth British Machine Vision Conference 97. ISSN 0952189879, pp. 60–69. September 1997. PDF, 175 Kbytes.
Steve Gregory, A declarative approach to concurrent programming. Proceedings of the 9th International Symposium on Programming Languages: Implementations, Logics, and Programs. ISBN 3-540-63398-7, pp. 79–93. September 1997. No electronic version available. External information
Ian M. Marshall, Simon Price, Patricia I. Dugard, William B. Samson, Code-based analysis of the development effort of a large scale courseware project. Information and Software Technology, 9(8). ISSN 09505849, pp. 541–549. August 1997. PDF, 890 Kbytes. External information
Tim Kovacs, XCS Classifier System Reliably Evolves Accurate, Complete, and Minimal Representations for Boolean Functions.. Chapter in Soft Computing in Engineering Design and Manufacturing. Roy, Chawdhry, Pant, (eds.), pp. 59–68. August 1997. PDF, 269 Kbytes.
J Bradley, N Davies, Using Successive Approximations of Equivalences to Model Reliability in Safety-Critical Design. CSTR-97-006, Department of Computer Science, University of Bristol. August 1997. PDF, 201 Kbytes.
Peter A. Flach, Antonis Kakas, Proceedings of the IJCAI'97 workshop on Abduction and Induction in AI. CSTR-97-004, Department of Computer Science, University of Bristol. August 1997. No electronic version available. External information
E.Hernández, S. Muñoz, Walterio Mayol-Cuevas, J.Clement, J.M. Galicia, R.Sánchez, R.Espitia, J. Abaunza, J.Juárez, D.Velázquez, G.Alonso, Enhancing Mobility without Complicating the Control: A Biped robot Case. Proceedings of the Workshop: Walking and climbing machines, Eight International Conference on Advanced Robotics (ICAR97). July 1997. No electronic version available.
Erik Reinhard, Frederik W. Jansen, Rendering Large Scenes Using Parallel Ray Tracing. Parallel Computing, 23 (7). ISSN 0167-8191, pp. 873–885. July 1997. No electronic version available.
David Hedley, Adam Worrall, Derek Paddon, Selective Culling of Discontinuity Lines. Chapter in Rendering Techniques '97. J. Dorsey, P. Slusallek, (eds.). ISBN 3-211-83001-4, pp. 69–80. July 1997. PDF, 513 Kbytes.
N. Davies, P. Francis-Cobley, A Quality of Service Decision Model for ATM-LAN/MAN Interconnection. Proc. of the 5th IFIP Workshop on Performance Modelling and Evaluation of ATM Networks. ISBN 0 9524027 3 4, pp. 69001–69007. July 1997. PDF, 23 Kbytes.
A. G. Chalmers, F. W. Jansen, Parallel Graphics and Visualisation. Parallel Computing, 23 (7). ISSN 0167-8191, pp. 817–818. July 1997. No electronic version available.
C. Kose, A. G. Chalmers, Profiling for efficient parallel volume visualisation. Parallel Computing, 23 (7). ISSN 0167-8191, pp. 943–952. July 1997. No electronic version available.
J Bradley, N Davies, Equivalences within Non-Finite State Systems. Proceedings of the Fifth IFIP Workshop on Performance Modelling and Evaluation of ATM Networks. ISBN 0 9524027 3 4, pp. 82001–82010. July 1997. PDF, 169 Kbytes.
M. Mirmehdi, P.L. Palmer, J. Kittler, Robust Line-Segment Extraction using Genetic Algorithms. 6th IEE International Conference on Image Processing and Its Applications. ISBN 0 85296 692 X, pp. 141–145. July 1997. PDF, 308 Kbytes.
N. W. Campbell, B. T. Thomas, T. Troscianko , A Two-Stage Process for Accurate Image Segmentation. Sixth International Conference on Image Processing and its Applications. ISBN 0 85296 692 X, pp. 655–659. July 1997. PDF, 260 Kbytes.
N. W. Campbell, B. T. Thomas, Automatic Selection of Gabor Filters for Pixel Classification. Sixth International Conference on Image Processing and its Applications. ISBN 0 85296 692 X, pp. 761–765. July 1997. PDF, 201 Kbytes.
Matthew E. J. Wood, Neill W. Campbell, Barry T. Thomas, Searching Large Image Databases using Radial Basis Function Neural Networks. Proceedings of the Sixth International Conference on Image Processing and its Applications. ISBN 0 85296 692 X, pp. 116–120. July 1997. PDF, 160 Kbytes.
Chris Dornan, Monadic Programming. CSTR-97-002, Department of Computer Science, University of Bristol. July 1997. No electronic version available.
Eleni Spiliopoulou, Ian Holyer, Neil Davies, Distributed Programming, a purely functional approach. Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming. ISBN 0-89791-918-1, pp. 1–1. June 1997. PDF, 49 Kbytes.
Christophe Giraud-Carrier, Mike Ward, Learning Customer Profiles to Generate Cash over the Internet. Proceedings of the Third International Workshop on Applications of Neural Networks to Telecommunications (IWANNT'97). ISBN 0-8058-2900-8, pp. 165–170. June 1997. PDF, 106 Kbytes.
M. Mirmehdi, P.L. Palmer, J. Kittler, Towards Optimal Zoom for Automatic target Recognition. Proceedings of the Tenth Scandinavian Conference in Image Analysis, Volume I. ISBN 951-764-145-1, pp. 447–453. June 1997. PDF, 295 Kbytes.
G. Fernandez, S. Munoz, R. Sanchez, Walterio Mayol-Cuevas, Evolutionary Algorithms for Plants Simultaneous Stabilization. IASTED International Control Conference. May 1997. No electronic version available.
C. Boukouvalas, G. Vernazza, F. De Natale, G. De Toni, J. Kittler, R. Marik, M. Mirmehdi, M. Petrou, P. Le Roy, R. Salgari, An Integrated System for Quality Inspection of Tiles. Int. Conference on Quality Control by Artificial Vision, QCAV 97. ISBN 2-85428-450-X, pp. 49–54. May 1997. PDF, 170 Kbytes.
Ben Burdsall, Christophe Giraud-Carrier, GA-RBF: A Self-Optimising RBF Network. Proceedings of the Third International Conference on Artificial Neural Networks and Genetic Algorithms (ICANNGA'97), pp. 348–351. April 1997. PDF, 145 Kbytes.
J. Tidmus, R. Miles, A. G. Chalmers, Prefetch data maangement for parallel particle tracing. Chapter in Parallel Programming and Java. A. Bakkers, (eds.). ISBN 90 51993366, pp. 130–137. April 1997. No electronic version available.
B. R. Stonebridge, Dynamic Geometry on-Screen. The Mathematical Education of Engineers II. ISBN 0-905091-05-1, pp. 183–188. April 1997. No electronic version available.
M. Mirmehdi, P.L. Palmer, J. Kittler, Genetic Optimisation of the Image Feature Extraction Process. Pattern Recognition Letters, 18 (4). ISSN 0167-8655, pp. 355–365. April 1997. No electronic version available.
Julio C. Peralta, John P. Gallagher, Towards Semantics-Based Partial Evaluation of Imperative Programs. CSTR-97-003, Department of Computer Science, University of Bristol. April 1997. PDF, 156 Kbytes.
N. W. Campbell, W. P. J. Mackeown, B. T Thomas, T. Troscianko, Interpreting Image Databases by Region Classification. Pattern Recognition (Special Edition on Image Databases), 30 (4). ISSN 0031-3203, pp. 555–563. April 1997. PDF, 467 Kbytes.
Pieter Hartel, Henk Muller, Functional C. Addison Wesley Longman. ISBN 0-201-41950-5. April 1997. No electronic version available. External information
Walterio Mayol-Cuevas, Eduardo Gómez Ramírez, Victor Ramos Viterbo, Two Dimensional Sparse Distributed Memory for Pattern Recognition (in Spanish). Proceedings of the II Iberoamerican Pattern Recognition. ISBN 968-29-9892-1, pp. 319–327. March 1997. PDF, 821 Kbytes.
S. Munoz-Gutierrez, Walterio Mayol-Cuevas, An approach to automatic face recognition in various scenarios. Proceedings of the II Iberoamerican Pattern Recognition Workshop TIARP97. ISBN 968-29-9892-1, pp. 191–201. March 1997. No electronic version available.
Logic Program Synthesis and Transformation, 6th International Workshop, LOPSTR'96. John P. Gallagher, (eds.). Springer Verlag, Lecture Notes in Computer Science. ISBN 3-504-62718-9. March 1997. No electronic version available. External information
P. Francis-Cobley, N. Davies, Quality of Service Issues in Heterogeneous Network Systems. Proc. of the 14th UK Teletraffic Symposium on Performance Engineering..., pp. 11001–11004. March 1997. No electronic version available.
M. Mirmehdi, P.L. Palmer, J. Kittler, Using Target Variance for Optimum Zoom Setting in ATR. IEE Electronic Letters, 33 (6). ISSN 0013-5194, pp. 479–480. March 1997. No electronic version available.
L. Lafave, J. P. Gallagher, Partial Evaluation of Functional Logic Programs in Rewriting-based Languages. CSTR-97-001, Department of Computer Science, University of Bristol. March 1997. PDF, 252 Kbytes.
G. Hughes, J. May, J. Noyes, Designing for Safety: Current Activities at Bristol University and Future Directions. Procs. 5th Safety-Critical Systems Symposium. ISSN 3540761349, pp. 38–55. February 1997. No electronic version available.
Emmanouil I. Marakakis, Logic Program Development Based on Typed Moded Schemata and Data Types. PhD thesis. Department of Computer Science, University of Bristol. February 1997. PDF, 865 Kbytes.
Ben Burdsall, Christophe Giraud-Carrier, Evolving Fuzzy Prototypes for Efficient Data Clustering. Proceedings of the Second International ICSC Symposium on Fuzzy Logic and Applications (ISFL'97). ISBN 3-906454-03-7, pp. 217–223. February 1997. PDF, 61 Kbytes.
N. W. Campbell, B. T. Thomas, T. Troscianko , Automatic Segmentation and Classification of Outdoor Images using Neural Networks. International Journal of Neural Systems, 8 (1). ISSN 0129-0657, pp. 137–144. February 1997. PDF, 740 Kbytes.
R Jozsa, Information-theoretic Interpretations of von Neumann Entropy. Quantum Communication, Computing and Measurement: Proceedings of QCM96. O Hirota, A S Holevo, C M Caves, (eds.), pp. 7–16. January 1997. No electronic version available.
David May, Peter Thompson, Brian Parsons, Christopher Walker, Message Routing. Patent. EP405989. January 1997. No electronic version available. External information
David May, Henk L Muller, Icarus language definition. CSTR-97-007, Department of Computer Science, University of Bristol. January 1997. No electronic version available.
Peter A. Flach, Comparing consequence relations. Proceedings of the Third Dutch/German Workshop on Nonmonotonic Reasoning Techniques and their Applications. ISSN 0946-011X, pp. 130–138. January 1997. No electronic version available.
Brian R. Stonebridge, Scaling into Pythagoras' Theorem. Mathematical Spectrum, 29 (2). ISSN 0025-5653, pp. 36–36. January 1997. No electronic version available.