School of Mathematical & Computer Sciences

Filter
Conference contribution

Search results

  • 2003

    Constraint based type inferencing in Helium

    Heeren, B., Hage, J. & Swierstra, S. D., 2003, Proceedings of the CP 2003 Workshop on Immediate Applications of Constraint Programming (ACP). Silaghi, M.-C. & Zanker, M. (eds.). p. 57-78 22 p.

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

  • DIPPER: description and formalisation of an information-state update dialogue system architecture

    Bos, J., Klein, E., Lemon, O. & Oka, T., 2003, Proceedings of the Fourth SIGdial Workshop on Discourse and Dialogue. p. 115-124 10 p.

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

  • Enabling knowledge sharing in collaborative design using a socio-technical pattern language

    Dewar, R. G., Pooley, R. J., Lloyd, A. D., Ure, J. & Cranmore, A., 2003, Proceedings of the 10th ISPE International Conference on Concurrent Engineering Research and Application, Enhanced Interoperable Systems. Cha, J., Jardim-Goncalves, R. & Steiger-Garcao, A. (eds.). p. 1149-1156 8 p.

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

    3 Citations (Scopus)

  • Evaluating distributed functional languages for telecommunications software

    Nystrom, J. H., Trinder, P. W. & King, D. J., 2003, Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang, ERLANG '03. p. 1-7 7 p.

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

    9 Citations (Scopus)

  • Excitonic signatures in photoluminescence and terahertz absorption

    Chari, R., Galbraith, I., Phillips, J., Pellegrini, S., Dent, C. J., Kar, A. K., Buller, G. S., Pidgeon, C. R., Clarke, D. G., Murdin, B. N., Allam, J., Van Der Meer, A. F. G. & Strasser, G., 2003, Conference on Quantum Electronics and Laser Science (QELS) - Technical Digest Series. Vol. 89. p. QThPDA8/1-QThPDA8/2

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

    1 Citation (Scopus)

  • Generation of collaborative spoken dialogue contributions in dynamic task environments

    Lemon, O., Gruenstein, A., Gullett, R., Battle, A., Hiatt, L. & Peters, S., 2003, Natural Language Generation in Spoken and Written Dialogue: Papers from the 2003 AAAI Spring Symposium. Freedman, R. & Callaway, C. B. (eds.). AAAI Press

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

  • Ghostwriter: a narrative virtual environment for children

    Robertson, J. & Good, J., 2003, Proceedings of the 2003 Conference on Interaction Design and Children. MacFarlane, S., Nicol, T., Read, J. & Snape, L. (eds.). Association for Computing Machinery, p. 85-91 7 p.

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

    6 Citations (Scopus)

  • Linear and nonlinear waves on a finite interval

    Pelloni, B., Apr 2003, Nonlinear Physics: Theory and Experiment II. Ablowitz, M. J., Boiti, M. & Pempinelli, F. (eds.). World Scientific Publishing, p. 287-294 8 p.

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

  • Modelling of light propagation in retinal tissue

    Ramachandran, S., Taylor, N. K., McNaught, A. & Harvey, A. R., 2003, ALT'03 INTERNATIONAL CONFERENCE ON ADVANCED LASER TECHNOLOGIES: BIOMEDICAL OPTICS. Wang, R., Hebden, J., Priezzhev, A. & Tuchin, V. (eds.). BELLINGHAM: SPIE, p. 48-60 13 p.

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

  • NETPRO: an innovative approach to network project based learning

    Batatia, H., Ayache, A. & Markkanen, H., 20 Mar 2003, International Conference on Computers in Education, 2002. Proceedings. IEEE, 1185953

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

    15 Citations (Scopus)

  • Optimizing minimal Herbrand model generation procedures

    Georgieva, L., Baumgartner, P. & Fermueller, C., 2003, Proceedings of the Workshop on Model Computation - Principles, Algorithms, Applications: MODEL 2003. Vol. 19. p. 79-90 12 p.

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

  • Scaffolding knowledge sharing and decision support in distributed web-based systems: A socio-technical perspective

    Ure, J., Lloyd, A. D. L., Pooley, R. J. & Dewar, R. G., 2003, Proceedings of the 10th ISPE International Conference on Concurrent Engineering Research and Application, Enhanced Interoperable Systems. Cha, J., Jardim-Goncalves, R. & Steiger-Garcao, A. (eds.). p. 1075-1082 8 p.

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

    3 Citations (Scopus)

  • Scripting the type inference process

    Heeren, B., Hage, J. & Swierstra, S. D., 25 Aug 2003, Proceedings of the eighth ACM SIGPLAN international conference on Functional programming: ICFP '03. Association for Computing Machinery, p. 3-13 11 p.

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

    23 Citations (Scopus)

  • Stability of multi-agent systems.

    Chli, M., De Wilde, P., Goosenaerts, J., Abramov, V., Szirbik, N., Correia, L., Mariano, P. & Ribeiro, R., 2003, Proceedings of the 2003 IEEE International Conference on Systems, Man, and Cybernetics. Santos, E. & Willett, P. (eds.). p. 551-556 6 p.

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

    18 Citations (Scopus)

  • The human interface in mobile applications

    Baillie, L. & Jorns, O., 2003, Human-Computer Interaction with Mobile Devices and Services. Chittaro, L. (ed.). Springer, p. 417-421 5 p. (Lecture Notes in Computer Science; vol. 2795).

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

  • The pragmatics of taking a spoken language system out of the laboratory

    Daniels, J. J. & Hastie, H. W., 2003, Proceedings of the HLT-NAACL 2003 workshop on Research directions in dialogue processing-Volume 7. p. 16-18 3 p.

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

  • The propagation of nonlinear water waves in a bounded domain

    Pelloni, B., 2003, Mathematical and Numerical Aspects of Wave Propagation WAVES 2003: Proceedings of The Sixth International Conference on Mathematical and Numerical Aspects of Wave Propagation Held at Jyväskylä, Finland, 30 June – 4 July 2003. Springer, p. 711-716 6 p.

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

  • The Slow component response of VO2 to heavy intensity exercise in children.

    Fawkner, S. & Armstrong, N., 2003, Kinanthropometry VIII : proceedings of the 8th International Conference of the International Society for the Advancement of Kinanthropometry. Reilly, T. & Marfell-Jones, M. (eds.). Vol. 8. p. 105-113 9 p.

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

  • Thread migration in a parallel graph reducer

    Du Bois, A. R., Loidl, H.-W. & Trinder, P. W., 2003, Implementation of Functional Languages: 14th International Workshop, IFL 2002 Madrid, Spain, September 16–18, 2002 Revised Selected Papers. Peña, R. & Arts, T. (eds.). Springer, Vol. 2670. p. 199-214 16 p. (Lecture Notes in Computer Science; vol. 2670).

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

    2 Citations (Scopus)
  • 2002

    A collaborative analysis tool for visualisation and interaction with spatial data

    Manoharan, T., Taylor, H. & Gardiner, P., 2002, Proceedings of the 7th International Conference on 3D Web Technology, Web3D '02. p. 75-83 9 p.

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

    File
    33 Citations (Scopus)
    258 Downloads (Pure)

  • A decomposition method applied to orthogonal polyhedra

    Obiala, R., Topping, B. H. V., Clark, D. E. R. & Seed, G. M., 2002, Proceedings of the Third International Conference on Engineering Computational Technology. Topping, B. H. V. & Bittnar, Z. (eds.). p. 35-36 2 p.

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

    3 Citations (Scopus)

  • A Multi-Agent Bioinformatics Integration System with adjustable autonomy: An overview

    Karasavvas, K., Baldock, R. & Burger, A., 2002, Proceedings of the 1st International Joint Conference on Autonomous Agents and Multiagent Systems: part 1. p. 302-303 2 p.

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

    1 Citation (Scopus)

  • Assessing the effectiveness of filters for shape matching

    Sung, R., Rea, H. J., Corney, J. R., Clark, D. E. R., Pritchard, J., Breaks, M. L. & MacLeod, R. A., 2002, ASME 2002 International Mechanical Engineering Congress and Exposition : American Society of Mechanical Engineers, Design Engineering Division. Vol. 115. p. 687-696 10 p.

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

  • Assessing the effectiveness of filters for shape matching

    Sung, R., Rea, H. J., Corney, J. R., Clark, D. E. R., Pritchard, J., Breaks, M. L. & MacLeod, R. A., 2002, ASME 2002 International Mechanical Engineering Congress and Exposition, IMECE2002. p. 687-696 10 p.

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

    10 Citations (Scopus)

  • Automatic evaluation: Using a date dialogue act tagger for user satisfaction and task completion prediction

    Hastie, H. W., Prasad, R. & Walker, M., 2002, Proceedings of the Third International Conference on Language Resources and Evaluation, Las Palmas, Canary Islands, Spain 29 May - 31 May 2002 . European Language Resources Association, p. 641-648 8 p.

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

    15 Citations (Scopus)

  • Context-sensitive help for multimodal dialogue

    Hastie, H. W., Johnston, M. & Ehlen, P., 2002, Proceedings of the 4th IEEE International Conference on Multimodal Interfaces. p. 93 1 p.

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

  • DARPA Communicator: Cross System Results for the 2001 Evaluation

    Walker, M., Rudnicky, A., Aberdeen, J., Bratt, E., Garofolo, J., Wright Hastie, H., Le, A., Pellom, B., Potamianos, A., Passonneau, R., Prasad, R., Roukos, S., Sanders, G., Seneff, S. & Stallard, D., 2002, Proceedings of ICSLP.

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

  • DARPA communicator evaluation: Progress from 2000 to 2001

    Walker, M. A., Rudnicky, A. I., Aberdeen, J., Bratt, E. O., Garofolo, J. S., Hastie, H., Le, A. N., Pellom, B., Potamianos, A. & Passonneau, R., 2002, Seventh International Conference on Spoken Language Processing.

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

  • Developing a standardised evaluation methodology for computer based learning materials

    Palipana, A., Barker, P., Rothberg, S. & Lamb, F., 2002, Proceedings of the 2002 American Society for Engineering Education Annual Conference and Exposition. p. 10599-10607 9 p.

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

    1 Citation (Scopus)

  • Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes

    Hage, J., Harju, T. & Welzl, E., 2002, Graph Transformation. ICGT 2002. Corradini, A., Ehrig, H., Kreowski, H.-J. & Rozenberg, G. (eds.). Springer, p. 48-60 13 p. (Lecture Notes in Computer Science; vol. 2505).

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

    8 Citations (Scopus)

  • Improved multimedia server I/O subsystems

    Weeks, M., Batatia, H. & Sotudeh, R., 6 Aug 2002, Proceedings - 24th EUROMICRO Conference, EURMIC 1998. IEEE, 708065

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

  • Intelligent interface agents for a system to diagnose eye disorders

    Jing, Y., Brown, K. & Taylor, N., 2002, Proceedings of the 1st International Joint Conference on Autonomous Agents and Multiagent Systems: part 2. p. 794-795 2 p.

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

    1 Citation (Scopus)

  • Multi-tasking and collaborative activities in dialogue systems

    Lemon, O., Gruenstein, A., Battle, A. & Peters, S., 2002, Proceedings of the 3rd SIGdial Workshop on Discourse and Dialogue. p. 113-124 12 p.

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

    38 Citations (Scopus)

  • On exponential convergence to a stationary measure for nonlinear PDEs, perturbed by random kick-forces, and the turbulence-limit

    Kuksin, S. B., 2002, Partial Differential Equations. Agranovich, M. S. & Shubin, M. A. (eds.). Vol. 206. p. 161-176 16 p. (American Mathematical Society Translations - Series 2; vol. 206).

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

  • Telluride glass fibres for all optical switching: - Nonlinear optical properties and fibre characterisation

    Bookey, H., Bindra, K., Kar, A., Wherrett, B., Liu, X. B. & Jha, A., 2002, PROCEEDINGS OF 2002 IEEE/LEOS WORKSHOP ON FIBRE AND OPTICAL PASSIVE COMPONENTS. NEW YORK: IEEE, p. 29-34 6 p.

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

    3 Citations (Scopus)

  • Two approaches to integrating UML and performance models

    Hopkins, R. P., Smith, M. J., King, P. J. B. & Pooley, R. J., 2002, Proceedings of the International Workshop on Software and Performance (WOSP2002). p. 91-92 2 p.

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

    8 Citations (Scopus)

  • What's the trouble: automatically identifying problematic dialogues in DARPA communicator dialogue systems

    Hastie, H. W., Prasad, R. & Walker, M., 2002, Proceedings of the 40th Annual Meeting on Association for Computational Linguistics. p. 384-391 8 p.

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

    21 Citations (Scopus)
  • 2001

    A laminae approach to constructing geometric feature volumes

    Lim, T., Corney, J. R. & Clark, D. E. R., 2001, Proceedings of the Symposium on Solid Modeling and Applications. p. 183-193 11 p.

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

    4 Citations (Scopus)

  • A multi-modal dialogue system for human-robot conversation

    Lemon, O., Bracy, A., Gruenstein, A. & Peters, S., 2001, Proceedings of the Second Meeting of the North American Chapter of the Association for Computational Linguistics.

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

  • A Set-Theoretic Framework for Assume-Guarantee Reasoning

    Maier, P., 2001, Automata, Languages and Programming: 28th International Colloquium, ICALP 2001; Crete, Greece, July 8–12, 2001; Proceedings. Springer, p. 821-834 14 p.

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

    9 Citations (Scopus)

  • Combinatorial quantization of Euclidean gravity in three dimensions

    Schroers, B. J., 2001, Quantization of Singular Symplectic Quotients. Landsman, N. P., Pflaum, M. & Schlichenmaier, M. (eds.). Birkhäuser, p. 307-327 21 p. (Progress in Mathematics; vol. 198).

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

  • De Bruijn's syntax and reductional equivalence of λ-terms

    Kamareddine, F., Bloo, R. & Nederpelt, R., 2001, Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming. p. 16-27 12 p.

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

    3 Citations (Scopus)

  • Equivalences Among Aggregate Queries with Negation

    Cohen, S., Nutt, W. & Sagiv, Y., 2001, Proceedings of the twentieth ACM SIGACT SIGMOD SIGART Symposium on Principles of Database systems, May 21-23, 2001, Santa Barbra, California, USA.. p. 215-226 12 p.

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

    5 Citations (Scopus)

  • Fault diagnosis on autonomous robotic vehicles with RECOVERY: An integrated heterogeneous-knowledge approach

    Hamilton, K., Lane, D., Taylor, N. & Brown, K. E., 2001, Proceedings - IEEE International Conference on Robotics and Automation. Vol. 4. p. 3232-3237 6 p.

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

    24 Citations (Scopus)

  • Information states in a multimodal dialogue system for human-robot conversation

    Lemon, O., Bracy, A., Gruenstein, A. & Peters, S., 2001, Proceedings of the 5th Workshop on Formal Semantics and Pragmatics of Dialogue: Bi-Dialog 2001. Kühnlein, P., Rieser , H. & Zeevat, H. (eds.). p. 57-67 14 p.

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

  • Interactive urban development control with collaborative virtual environments

    Manoharan, T., Taylor, H. & Gardiner, P., 2001, Proceedings. Seventh International Conference on Virtual Systems and Multimedia, 2001. . p. 809-818 10 p.

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

    File
    6 Citations (Scopus)
    123 Downloads (Pure)

  • Is the se-calculus strongly normalising?

    Kamareddine, F. D. & Rios, A., 2001, Extended Abstracts of the Fifth International Workshop on Termination. Utrecht, p. 25-28 4 p.

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

  • Modelling Human Error in Real Time Control Loops with Delayed Visual Feedback

    Day, P. N., Holt, P. O. & Russell, G., 2001, Engineering Psychology and Cognitive Ergonomics. Harris, D. (ed.). Vol. 6. p. 183-189 7 p.

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

  • Modelling tumour acidity and invasion

    Webb, S. D., Sherratt, J. A. & Fish, R. G., 2001, Novartis Foundation Symposium. Vol. 240. p. 169-181 13 p.

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

    16 Citations (Scopus)

  • "New" boundary conditions in integrable lattice models

    Doikou, A., 2001, Non-perturbative Quantum Effects 2000.

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