School of Mathematical & Computer Sciences

Filter
Conference contribution

Search results

  • 2006

    Cluster-based user simulations for learning dialogue strategies

    Rieser, V. & Lemon, O., 2006, INTERSPEECH 2006: Ninth International Conference on Spoken Language Processing.

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

  • Comparing C++ and ERLANG for motorola telecoms software

    Trinder, P., 2006, Erlang'06 - Proceedings of the ACM SIGPLAN 2006 Erlang Workshop. Vol. 2006. p. 51-

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

  • Comparing conceptual designs for mobile access to geo-spatial information

    Fröhlich, P., Simon, R., Baillie, L. & Anegg, H., 2006, Proceedings of the 8th conference on Human-computer interaction with mobile devices and services. Association for Computing Machinery, p. 109-112 4 p.

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

    22 Citations (Scopus)

  • Computing by only observing

    Cavaliere, M., Frisco, P. & Hoogeboom, H. J., 2006, Developments in Language Theory - 10th International Conference, DLT 2006, Proceedings. Vol. 4036 LNCS. p. 304-314 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4036 LNCS).

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

    6 Citations (Scopus)

  • Constraints on hypercomputation

    Michaelson, G. & Cockshott, P., 2006, Logical Approaches to Computational Barriers - Second Conference on Computability in Europe, CiE 2006, Proceedings. Vol. 3988 LNCS. p. 378-387 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3988 LNCS).

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

    3 Citations (Scopus)

  • Context-aware dynamic personalised service re-composition in a pervasive service environment

    Yang, Y., Mahon, F., Williams, H. & Pfeifer, T., 2006, Proceedings of Third International Conference on Ubiquitous Intelligence and Computing, UIC 2006. Springer, Vol. LNCS 4159. p. 724-735 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4159 LNCS).

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

    24 Citations (Scopus)

  • Context-aware personalization in pervasive communications

    Yang, Y., Williams, H., Pooley, R. J. & Dewar, R. G., 2006, Proceedings - IEEE International Conference on e-Business Engineering, ICEBE 2006. IEEE, p. 663-669 7 p.

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

    3 Citations (Scopus)

  • Developing greedy and adaptive algorithms for practical laboratory resource scheduling problems

    Joshi, B., Browne, W. & Corne, D., 2006, Adaptive Computing in Design and Manufacture VII. Parmee, I. C. (ed.). p. 263-266 4 p.

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

  • Digital ecosystems: Evolving service-orientated architectures

    Briscoe, G. & De Wilde, P., 2006, 2006 1st Bio-Inspired Models of Network, Information and Computing Systems. New York: IEEE, p. 155-160 6 p.

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

    119 Citations (Scopus)

  • Evaluating effectiveness and portability of reinforcement learned dialogue strategies with real users: the TALK TownInfo evaluation

    Lemon, O., Georgila, K. & Henderson, J., 2006, IEEE Spoken Language Technology Workshop, 2006. IEEE, p. 178-181 4 p.

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

    55 Citations (Scopus)

  • Evolving novel and effective treatment plans in the context of infection dynamics models: Illustrated with HIV and HAART therapy

    Haines, R. & Corne, D., 2006, Parallel Problem Solving from Nature, PPSN IX - 9th International Conference, Procedings. Vol. 4193 LNCS. p. 413-422 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4193 LNCS).

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

    2 Citations (Scopus)

  • Evolving service-orientated architectures

    Briscoe, G. & De Wilde, P., 2006, 2006 First International Conference on Communications and Networking in China. NEW YORK: IEEE, p. 183-188 6 p.

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

  • Face recognition with semi-supervised learning and multiple classifiers

    El Gayar, N., Shaban, S. A. & Hamdy, S., 20 Nov 2006, CIMMACS'06: Proceedings of the 5th WSEAS International Conference on Computational Intelligence, Man-Machine Systems and Cybernetics. Cecchi, A. & Mastorakis, N. (eds.). World Scientific and Engineering Academy and Society, p. 296-301 6 p.

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

    14 Citations (Scopus)

  • FearNot's appearance: Reflecting children's expectations and perspectives

    Hall, L., Vala, M., Hall, M., Webster, M., Woods, S., Gordon, A. & Aylett, R., 2006, Intelligent Virtual Agents - 6th International Conference, IVA 2006, Proceedings. Vol. 4133 LNAI. p. 407-419 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4133 LNAI).

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

    20 Citations (Scopus)

  • Foraging ant motion planning for articulated robots

    Mohamad, M. M., Dunnigan, M. W. & Taylor, N., 2006, 2006 SICE-ICASE International Joint Conference. p. 4285-4290 6 p.

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

  • Handling dynamic QoS requirements in a pervasive system

    Yang, Y. & Williams, H., 2006, Proceedings of the International Conference on Networking, International Conference on Systems and International Conference on Mobile Communications and Learning Technologies, ICN/ICONS/MCL'06. Vol. 2006.

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

    2 Citations (Scopus)

  • Handling personalized redirection in a wireless pervasive computing system with different approaches to identity

    Yang, Y., Williams, H., Taylor, N., McBurney, S. & Papadopoulou, E., 2006, 2006 1st International Symposium on Wireless Pervasive Computing. Vol. 2006. p. 441-446 6 p.

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

  • Learning more effective dialogue strategies using limited dialogue move features

    Frampton, M. & Lemon, O., 2006, Proceedings of the 21st International Conference on Computational Linguistics and the 44th annual meeting of the Association for Computational Linguistics. Association for Computational Linguistics, p. 185-192 8 p.

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

    32 Citations (Scopus)

  • Learning multi-goal dialogue strategies using reinforcement learning with reduced state-action spaces

    Cuayáhuitl, H., Renals, S., Lemon, O. & Shimodaira, H., 2006, INTERSPEECH 2006: Ninth International Conference on Spoken Language Processing. p. 469-472 4 p.

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

    11 Citations (Scopus)

  • Links: Web Programming Without Tiers

    Cooper, E., Lindley, S., Wadler, P. & Yallop, J., 2006, Formal Methods for Components and Objects: MCO 2006. Springer, p. 266-296 31 p. (Lecture Notes in Computer Science; vol. 4709).

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

    183 Citations (Scopus)

  • Making it up as you go along - Improvising stories for pedagogical purposes

    Aylett, R., Figueiredo, R., Louchait, S., Dias, J. & Paiva, A., 2006, Intelligent Virtual Agents - 6th International Conference, IVA 2006, Proceedings. Vol. 4133 LNAI. p. 304-315 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4133 LNAI).

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

    13 Citations (Scopus)

  • Measurement of perceptual roughness in fractal surfaces

    Padilla, S., Drbohlav, O., Green, P. R. & Chantler, M., Oct 2006, CIE 2014 "Lighting Quality and Energy Efficiency", April 23 - 26, 2014, Kuala Lumpur/Malaysia: Proceedings of the CIE Expert Symposium on "Visual Appearance". p. 61-66 6 p.

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

    Open Access
    File
    50 Downloads (Pure)

  • Mitigation strategy design for optimal augmented cognition systems

    Regli, S. H., Tremoulet, P., Hastie, H. & Stibler, K., 2006, Foundations of Augmented Cognition. Strategic Analysis, Inc, Vol. 2. p. 208-214 7 p.

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

  • On-board planning and scheduling for the exomars mission

    Woods, M., Long, D., Baldwin, L., Aylett, R., Wilson, G., Ward, R. & Vituli, R., Jul 2006, Proceedings of DASIA 2006: DAta Systems In Aerospace. 630 ed.

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

  • One-and-a-halfth-order logic

    Gabbay, M. & Mathijssen, A., 2006, PPDP'06 - Proceedings of the Eight ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming. Vol. 2006. p. 189-200 12 p.

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

    16 Citations (Scopus)

  • Optimisation of CDMA-based mobile telephone networks: Algorithmic studies on real-world networks

    Weal, P., Corne, D. & Murphy, C., 2006, Parallel Problem Solving from Nature, PPSN IX - 9th International Conference, Procedings. Vol. 4193. p. 402-412 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4193 LNCS).

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

  • Personalized dynamic composition of services and resources in a wireless pervasive computing environment

    Williams, H., Yang, Y., Taylor, N., McBurney, S., Papadopoulou, E., Mahon, F. & Crotty, M., 2006, 2006 1st International Symposium on Wireless Pervasive Computing. Vol. 2006. p. 377-382 6 p.

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

    7 Citations (Scopus)

  • Personalizing pervasive services on top of heterogeneous networks

    Yang, Y., Everson, R., Dewar, R. & Williams, H., 2006, Proceedings of IEEE International Conference on Pervasive Services, ICPS 2006. Vol. 2006. p. 257-260 4 p.

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

    1 Citation (Scopus)

  • Predicting stochastic search algorithm performance using landscape state machines

    Rowe, W., Corne, D. & Knowles, J., 2006, 2006 IEEE Congress on Evolutionary Computation, CEC 2006. p. 2944-2951 8 p.

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

    8 Citations (Scopus)

  • Reducing interaction fatigue in an interactive evolutionary system

    Shackelford, M. & Corne, D., 2006, Adaptive Computing in Design and Manufacture VII. Parmee, I. C. (ed.). p. 223-230 8 p.

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

  • Robust level set for heart cavities detection in ultrasound images

    Mora, M., Tauber, C. & Batatia, H., 6 Feb 2006, Computers in Cardiology 2005. IEEE, p. 235-238 4 p. (Computers in Cardiology; vol. 32).

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

    20 Citations (Scopus)

  • Selectively storing XML data in relations

    Fan, W. & Ma, L., 2006, Database and Expert Systems Applications - 17th International Conference, DEXA 2006, Proceedings. Vol. 4080 LNCS. p. 22-32 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4080 LNCS).

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

    2 Citations (Scopus)

  • Sources of incompleteness in grid publishing

    Gray, A. J. G., Nutt, W. & Williams, H., 2006, Flexible and Efficient Information Handling - Proceedings of 23rd British National Conference on Databases, BNCOD 23. Vol. LNCS 4042 . p. 94-101 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4042 LNCS).

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

    2 Citations (Scopus)

  • SW-HW Co-design and fault tolerant implementation for the LRID Wireless Communication System

    Skoulaxinos, S., 2006, Proceedings - First NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2006. Vol. 2006. p. 305-308 4 p.

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

  • The HTI Lab @ ftw: User research for telecom systems

    Fröhlich, P., Baillie, L., Reichl, P., Schatz, R., Hammer, F. & Niklfeld, G., 2006, CHI '06 Extended Abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 287-290 4 p.

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

    2 Citations (Scopus)

  • Toward an object-oriented structure for mathematical text

    Kamareddirie, F., Maarek, M. & Wells, J. B., 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3863 LNAI. p. 217-233 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3863 LNAI).

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

    7 Citations (Scopus)

  • Towards automatic assertion refinement for separation logic

    Ireland, A., 2006, Proceedings - 21st IEEE/ACM International Conference on Automated Software Engineering, ASE 2006. p. 309-312 4 p.

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

    11 Citations (Scopus)

  • Towards formally verifiable WCET analysis for a functional programming language

    Hammond, K., Ferdinand, C., Heckmann, R., Dyckhoff, R., Hofmann, M., Jost, S., Loidl, H.-W., Michaelson, G., Pointon, R., Scaife, N., Sérot, J. & Wallace, A., 2006, Proceedings of the 6th International Workshop on Worst-Case Execution Time Analysis. Dagstuhl, (OpenAccess Series in Informatics; vol. 4).

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

  • Towards primate-like synthetic sociability

    Anjos, P. L. D. & Aylett, R., 2006, Intelligent Virtual Agents - 6th International Conference, IVA 2006, Proceedings. Vol. 4133 LNAI. p. 453- (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4133 LNAI).

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

  • Two executable mobility design patterns: Mfold and mmap

    Field, Z., Dewar, R., Trinder, P. & Du Bois, A. R., 2006, PLoP 2006 - PLoP Pattern Languages of Programs 2006 Conference Proceedings.

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

  • User simulation for spoken dialogue systems: learning and evaluation

    Georgila, K., Henderson, J. & Lemon, O., 2006, Proceedings of the Ninth International Conference on Spoken Language Processing.

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

  • Using return on investment to compare agile and plan-driven practices in undergraduate group projects

    Rundle, P. J. & Dewar, R. G., 2006, Proceeding of the 28th International Conference on Software Engineering 2006, ICSE '06. Vol. 2006. p. 649-654 6 p.

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

    6 Citations (Scopus)

  • Venn-like models of neo-cortex patches

    De Lima Neto, F. B. & De Wilde, P., 2006, International Joint Conference on Neural Networks, 2006. IEEE, p. 89-96 8 p. (IEEE International Joint Conference on Neural Networks).

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

    5 Citations (Scopus)

  • Why dependent types matter

    McKinna, J., Jan 2006, POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages. Association for Computing Machinery, p. 1

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

    12 Citations (Scopus)
  • 2005

    Achieving empathic engagement through affective interaction with synthetic characters

    Hall, L., Woods, S., Aylett, R., Newall, L. & Paiva, A., 2005, Affective Computing and Intelligent Interaction - First International Conference, ACII 2005, Proceedings. Vol. 3784 LNCS. p. 731-738 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3784 LNCS).

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

    47 Citations (Scopus)

  • A corpus collection and annotation framework for learning multimodal clarification strategies

    Rieser, V., Kruijff-Korbayová, I. & Lemon, O., 2005, Proceedings of the Sixth SIGdial Workshop on Discourse and Dialogue.

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

    30 Citations (Scopus)

  • A data stream publish/subscribe architecture with self-adapting queries

    Gray, A. J. G. & Nutt, W., 2005, On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE - OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Proceedings. Vol. 3760 LNCS. p. 420-438 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3760 LNCS).

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

    4 Citations (Scopus)

  • Affective guide with attitude

    Lim, M. Y., Aylett, R. & Jones, C. M., 2005, Affective Computing and Intelligent Interaction - First International Conference, ACII 2005, Proceedings. Vol. 3784 LNCS. p. 772-779 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3784 LNCS).

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

    7 Citations (Scopus)

  • A general quasi-automatic initialization for snakes: Application to ultrasound images

    Tauber, C., Batatia, H. & Ayache, A., 14 Nov 2005, IEEE International Conference on Image Processing 2005. IEEE, p. 806-809 4 p.

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

    25 Citations (Scopus)

  • Ajmo splite: Come on split! Tell us what you think!

    Baillie, L., Philips, A., Roberts, J., Lindquist, S. & Sandor, O., 2005, Proceedings of the 4th Decennial Aarhus Conference on Critical Computing. Association for Computing Machinery, p. 182-186 5 p.

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