School of Mathematical & Computer Sciences

Filter
Conference contribution

Search results

  • 2000

    Unification via λse-style of explicit substitution

    Ayala-Rincón, M. & Kamareddine, F., 2000, Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming. p. 163-174 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Visual representation of stochastic process algebra models

    Thomas, N., Munro, M., King, P. & Pooley, R., 2000, Proceedings Second International Workshop on Software and Performance WOSP 2000. p. 18-19 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Citation (Scopus)
  • 1999

    Addressing the Problem of Undetected Signature Key Compromise

    Just, M. & Oorschot, P. C. V., 1999, Proceedings of the Network and Distributed System Security Symposium, NDSS 1999, San Diego, California, USA. Reston (Virginia): The Internet Society, 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Face as an interface: the new paradigm for HCI

    Jones, C. M. & Dlay, S. S., 1999, Proceedings of the IEEE International Conference on Systems, Man and Cybernetics. Vol. 1. p. I-774 - I-779

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Citations (Scopus)

  • Heat transfer problems in modern steam car development

    Cornwell, K., Hartnup, G. C., Kew, P. A. & Houston, S. D., 1999, IMechE Conf. Trans. 1999-7. Vol. C565. p. 391-397 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Model based approach to object detection in digital mammography

    Morrison, S. & Linnett, L. M., 1999, Proceedings of the International Conference on Image Processing, 1999. Vol. 2. p. 182-186 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    11 Citations (Scopus)

  • Soap bubbles and the dynamical behavior of multi-agent systems

    Lor, W. K. F. & De Wilde, P., 1999, Intelligent Agent Technology: Proceedings of the 1st Asia-Pacific Conference on Intelligent Agent Technology (IAT '99), Hong Kong, 14-17 December 1999: Systems, Methodologies, and Tools. p. 121-130 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • The dissociation of deaccenting, givenness, and syntactic role in spontaneous speech

    Bard, E. G. & Aylett, M. P., 1999, Proceedings of the XIVth International Congress of Phonetic Sciences. University of California, Berkeley, p. 1753-1756 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • The velocity of bubbles rising under an inclined plate

    Addlesee, A. J. & Cornwell, K., 1999, IMechE Conf. Trans. 1999-7. Vol. C565. p. 231-236 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Using high level dialogue information for dialogue act recognition using prosodic features

    Wright, H., Poesio, M. & Isard, S., 1999, DIAPRO 1999 Proceedings. p. 139-143 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 1998

    A dynamic task distribution and engine allocation strategy for distributed execution of logic programs

    Xirogiannis, G. & Taylor, H., 1998, High-Performance Computing and Networking: International Conference and Exhibition Amsterdam, The Netherlands, April 21–23, 1998 Proceedings. Springer, Vol. 1401. p. 294-304 11 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Citation (Scopus)

  • An analysis of the timing of turn-taking in a corpus of goal-oriented dialogue

    Bull, M. & Aylett, M. P., 1998, Proceedings of 5th International Conference of Spoken Language Processing (ICSLP'98). ISCA, p. 1175-1178 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    31 Citations (Scopus)

  • Automatic utterance type detection using suprasegmental features

    Wright, H., 1998, Proceedings of the International Conference on Spoken Language Processing 1998. p. 1403

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Beam reformatting of CO2 array lasers

    Villarreal, F., Abram, R., Jones, D. R., Baker, H. J. & Hall, D. R., 1998, Proceedings of the 1998 International Symposium on Information Theory, CLEO/EUROPE'98. p. 9

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • BetterBlether: a computer based educational communication tool

    Robertson, J., Good, J. & Pain, H., 1998, Current Trends and Applications of Artificial Intelligence in Education: Proceedings of the International Workshop, Current Trends and Applications of Artificial Intelligence in Education, the Fourth World Congress on Expert Systems, Mexico City, Mexico, March 16, 1998. Ayala, G. (ed.). p. 90-97 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Blood glucose measurements by photoacoustics

    Smith, A. N. G., Ashton, H., Shen, Y. C., Lindberg, J., Rae, P., Quan, K. M. & Spiers, S., 1998, OSA Trends in Optics and Photonics: Biomedical Optical Spectroscopy and Diagnostics / Therapeutic Laser Applications. Vol. 22. p. 156-159 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    26 Citations (Scopus)

  • Elements of a qualitative theory of Hamiltonian PDEs

    Kuksin, S., 1998, Proceedings of the International Congress of Mathematicians, August 18-27, 1998, Berlin, Germany. Vol. 2. p. 819-829 11 p. (Documenta Mathematica; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • History of the development of the actuarial profession and of actuarial thought in Scotland

    Forfar, D. O., 1998, Transactions of the 26th International Congress of Actuaries.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Nonparametric smoothing and quantile estimation in time series

    Feng, Y., Abberger, K. & Heiler, S., 1998, Risk Measurement, Econometrics and Neural Networks: Selected Articles of the 6th Econometric-Workshop in Karlsruhe, Germany. p. 1-16 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • On (k⊕l|q)-dimensional supermanifolds

    Konechny, A. & Schwarz, A., 1998, Supersymmetry and Quantum Field Theory: Proceedings of the D. Volkov Memorial Seminar Held in Kharkov, Ukraine, 5–7 January 1997. Wess, J. & Akulov, V. (eds.). Springer, (Lecture Notes in Physics; vol. 509).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • On the incompleteness of modal logics of space: advancing complete modal logics of place

    Lemon, O. & Pratt, I., 1998, Advances in Modal Logic 1998. Vol. 1. p. 115-132 18 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Parity and charge conjugation symmetries and S matrix of the XXZ chain

    Doikou, A. & Nepomechie, R., 1998, Statistical Physics on the Eve of the Twenty-First Century.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Real-time music generation for a virtual environment

    Robertson, J., de Quincey, A., Stapleford, T. & Wiggins, G., 1998, ECAI 98 Workshop on AI/ALIFE and Entertainment: Proceedings of the 13th European Conference on Artificial Intelligence , August 23-28, 1998, Brighton, UK. Prade, H. M. (ed.).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Report on the oncoming revision of the EU solvency regime

    Forfar, D. O., Clarke, T. G., Heinen, N., Horsmeier, H. J. H. & Maxwell, B. N., 1998, Transactions of the 26th International Congress of Actuaries.. Vol. 3. p. 179-197 19 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Some Timestamping Protocol Failures

    Just, M., 1998, Proceedings of the Network and Distributed System Security Symposium, NDSS 1998, San Diego, California, USA. Reston (Virginia): The Internet Society, 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Transmissive ZnSe diffractive optical elements for high power CO2 material processing applications

    Blair, P., Jones, D. R., Villareal, F., Waddie, A. J., Ross, N., Taghizadeh, M. R. T., Baker, H. J., Hall, D. R., Shannon, G., Johnston, E. & Steen, W., 1998, Proceedings of the 1998 International Symposium on Information Theory. p. 318

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Citation (Scopus)
  • 1997

    Cache modelling in a performance evaluator for parallel database systems

    Zhou, S., Tomov, N., Williams, H., Burger, A. & Taylor, H., 1997, IEEE International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems - Proceedings: Proceedings of the 1997 5th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, MASCOTS'97; Haifa, Isr; 12 January 1997 through 15 January 1997. p. 46-50 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    9 Citations (Scopus)

  • Compact waveguide carbon dioxide array lasers and beam reformatting techniques for laser surface treatment applications

    Villarreal, F., Abram, R., Blair, P., Jones, D. R., Taghizadeh, M. R., Baker, H. J. & Hall, D. R., 1997, Laser Institute of America, Proceedings: Proceedings of the 1997 Laser Materials Processing Conference, ICALEO'97. Part 1 (of 2); San Diego, CA, USA; ; 17 November 1997 through 20 November 1997. Vol. 83. p. F148-F155

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Constrained image restoration with a multinomial prior

    Calder, B. R., Linnett, L. M. & Carmichael, D. R., 1997, Proceedings of the International Conference on Image Processing, 1997. Vol. 1. p. 259-262 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Feasibility of an artificial implantable kidney

    Waugh, H. V. & Addlesee, A. J., 1997, Annual International Conference of the IEEE Engineering in Medicine and Biology - Proceedings. Vol. 6. p. 2568-2571 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    5 Citations (Scopus)

  • Prosodic transcription of Glasgow English: an evaluation study of GlaToBI

    Mayo, C., Aylett, M. & Ladd, D. R., 1997, Intonation: Theory, Models and Applications. European Speech Communication Association

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • ROCK & ROLL: A deductive object-oriented database with active and spatial extensions

    Dinn, A., Williams, H. & Paton, N., 1997, Proceedings of the 13th International Conference on Data Engineering, 1997. p. 582-

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    7 Citations (Scopus)

  • Spatial stochastic models for seabed object detection

    Calder, B. R., Linnett, L. M. & Carmichael, D. R., 1997, Proceedings of SPIE - The International Society for Optical Engineering. Vol. 3079. p. 172-182 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    8 Citations (Scopus)

  • Uniform Parallelisms of PG(3,3)

    Prince, A. R., 1997, Geometry, Combinatorial Designs and Related Structures : proceedings of the first Pythagorean conference. p. 193-200 8 p. ( London Mathematical Society lecture note series; no. 245).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 1996

    Decision support for management of parallel database systems

    Williams, H., Zhou, S., Taylor, H. & Tomov, N., 1996, Proceedings of High Performance Computing and Networking. Springer, Vol. LNCS 1067. p. 164-169 6 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File
    1 Citation (Scopus)
    77 Downloads (Pure)

  • Semantical foundations of spatial logics

    Lemon, O., 1996, Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning. Aiello, L. C., Doyle, J. & Shapiro, S. C. (eds.). p. 212-219 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Sonar image interpretation and modelling

    Russell, G. T., Bell, J. M., Holt, P. O. B. & Clarke, S. J., 1996, Proceedings of the IEEE Symposium on Autonomous Underwater Vehicle Technology. p. 317-324 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Citations (Scopus)

  • Spatial stability in the constrained elastic cylinder

    Knops, R., 1996, The proceedings of the VIII International Conference on Waves and Stability in Continuous Media. Greco, A. M. & Rionero, S. (eds.). Vol. 45. p. 333-346 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 1995

    Dynamic collision detection in virtual worlds using HV Partition

    Fang, J. J., Clark, D. E. R. & Simmons, J. E. L., 1995, Proceedings of the 1995 Database Symposium. p. 905-910 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Citations (Scopus)

  • Viewer-centred feature recognition

    Sommerville, M. G. L., Clark, D. E. R. & Corney, J. R., 1995, Symposium on Solid Modeling and Applications - Proceedings. p. 125-129 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    8 Citations (Scopus)
  • 1994

    Checking algorithms for Pure Type Systems

    Benthem Jutting, L. S., McKinna, J. & Pollack, R., 1994, Types for Proofs and Programs. TYPES 1993. Springer, p. 19-61 43 p. (Lecture Notes in Computer Science; vol. 806).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    22 Citations (Scopus)

  • Identification of general protrusion and depression features

    Clark, D. E. R. & Corney, J., 1994, Computers in Engineering, Proceedings of the International Conference and Exhibit: Proceedings of the 1994 ASME International Computers in Engineering Conference and Exhibition. Part 1 (of 2); Minneapolis, MN, USA; ; 11 September 1994 through 14 September 1994. p. 55-66 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Citations (Scopus)

  • Motion resulting from diffusion within an interface

    Cahn, J. W., Fife, P. C. & Penrose, O., 1994, Curvature Flows and Related Topics: Proceedings of the international conference held in Levico, June 27-July 2nd, 1994. p. 37-46 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Qualitativeness does not imply fuzziness

    Leitch, R. R. & Shen, Q., 1994, IEEE International Conference on Fuzzy Systems: Proceedings of the 1996 5th IEEE International Conference on Fuzzy Systems. Part 3 (of 3); New Orleans, LA, USA; ; 8 September 1996 through 11 September 1996. Vol. 2. p. 1257-1262 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    5 Citations (Scopus)

  • The Bosonization of Uq(su(2)k): Vertex Operators and Matrix Elements

    Weston, R. A. & Bougourzi, H., 1994, Proceedings of the WALIFEST-MRST15, Univ. of Syracuse. World Scientific Publishing

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Women and men in computer cartoons from punch: 1946 to 1982

    Michaelson, G., 1994, Proceedings of the IFIP TC9/WG9.1 Fifth International Conference on Woman, Work and Computerization: Breaking Old Boundaries - Building New Forms. Elsevier, p. 171-184 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Citation (Scopus)
  • 1993

    Deliverables: A Categorial Approach to Program Development in Type Theory

    McKinna, J. & Burstall, R. M., 1993, Mathematical Foundations of Computer Science 1993. MFCS 1993. Springer, p. 32-67 36 p. (Lecture Notes in Computer Science; vol. 711).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    10 Citations (Scopus)

  • Efficient face-based feature recognition

    Corney, J. & Clark, D. E. R., 1993, Proc 2 Symp Solid Model Appl. p. 313-322 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    15 Citations (Scopus)

  • Pure Type Systems Formalized

    McKinna, J. & Pollack, R., 1993, Typed Lambda Calculi and Applications. TLCA 1993. Springer, p. 289-305 17 p. (Lecture Notes in Computer Science; vol. 664).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    67 Citations (Scopus)

  • Qualitative model based diagnosis of a continuous process

    Leitch, R., Shen, Q., Coghill, G., Chantler, M. & Slater, A., 1993, Applications and Techniques. Vol. 2. p. 291-309 19 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    7 Citations (Scopus)