School of Mathematical & Computer Sciences

Filter
Conference contribution

Search results

  • 2008

    User simulations for online adaptation and knowledge-alignment in troubleshooting dialogue systems

    Chandrasekaran Janarthanam, S. & Lemon, O., 2008, Proceedings of the 12th Workshop on the Semantics and Pragmatics of Dialogue (LONDIAL). p. 45-52 8 p. (Proceedings (SemDial)).

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

  • Using dialogue acts to learn better repair strategies for spoken dialogue systems

    Frampton, M. & Lemon, O., 2008, Proceedings of the IEEE International Conference on Acoustics, Speech and Signal Processing, March 31-April 4, 2008, Caesars Palace Las Vegas, Nevada, U.S.A.. IEEE, p. 5045-5048 4 p. (IEEE International Conference on Acoustics, Speech and Signal Processing).

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

    8 Citations (Scopus)

  • Using n-grams to rapidly characterise the evolution of software code

    Rainer, A., Lane, P. C. R., Malcolm, J. A. & Scholz, S.-B., 2008, Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops, 2008. IEEE, p. 43-52 10 p.

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

    5 Citations (Scopus)

  • Using user preferences to enhance privacy in pervasive systems

    Papadopoulou, E., McBurney, S., Taylor, N. K., Williams, H., Dolinar, K. & Neubauer, M., 1 Apr 2008, 3rd International Conference on Systems, ICONS 2008. p. 271-276 6 p.

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

    7 Citations (Scopus)

  • What tunes accessibility of referring expressions in task-related dialogue?

    Bard, E. G., Hill, R. & Foster, M. E., 2008, Proceedings of the 30th Annual Conference of the Cognitive Science Society (CogSci 2008). Love, B. C., McRae, K. & Sloutsky, V. M. (eds.). Cognitive Science Society, p. 945-950 6 p.

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

  • 2007

    Accurate pet-pet registration to assess lung tumor evolution

    Ouksili, Z., Tauber, C., Nalis, J., Batatia, H., Caselles, O. & Courbon, F., 2007, 4th IEEE International Symposium on Biomedical Imaging 2007. IEEE, p. 732-735 4 p.

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

    4 Citations (Scopus)

  • A Co-training approach for time series prediction with missing data

    Mohamed, T. A., El Gayar, N. & Atiya, A. F., 2007, Multiple Classifier Systems. MCS 2007. Springer, p. 93-102 10 p. (Lecture Notes in Computer Science; vol. 4472).

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

    8 Citations (Scopus)

  • Adapting hierarchical social organisation by introducing fear into an agent architecture

    Dos Anjos, P. L., Aylett, R. & Cawsey, A., 2007, Intelligent Virtual Agents - 7th International Conference, IVA 2007, Proceedings. Vol. 4722 LNCS. p. 373-374 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4722 LNCS).

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

  • Adaptive information for consumers of healthcare

    Cawsey, A., Grasso, F. & Paris, C., 2007, The Adaptive Web: Methods and Strategies of Web Personalization. Vol. 4321 LNCS. p. 465-484 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4321 LNCS).

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

    36 Citations (Scopus)

  • Adventure Author: A learning environment to support creative design

    Robertson, J. & Nicholson, K., 2007, Proceedings of the 6th international Conference on Interaction Design And Children, IDC 2007. p. 37-44 8 p.

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

    46 Citations (Scopus)

  • Affective adaptation of synthetic social behaviour

    Anjos, P. L. D., Aylett, R. & Cawsey, A., 2007, Affective Computing and Intelligent Interaction - 2nd International Conference, ACII 2007, Proceedings. Vol. 4738 LNCS. p. 434-439 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4738 LNCS).

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

  • A formal calculus for informal equality with binding

    Gabbay, M. & Mathijssen, A., 2007, Logic, Language, Information and Computation - 14th International Workshop, WoLLIC 2007, Proceedings. Vol. 4576 LNCS. p. 162-176 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4576 LNCS).

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

    37 Citations (Scopus)

  • A generic usage analysis with subeffect qualifiers

    Hage, J., Holdermans, S. & Middelkoop, A., 1 Oct 2007, Proceedings of the 12th ACM SIGPLAN international conference on Functional programming: ICFP '07. Hinze, R. & Ramsey, N. (eds.). Association for Computing Machinery, p. 235-246 12 p.

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

    17 Citations (Scopus)

  • A learner-centred design approach to developing a visual language for interactive storytelling

    Howland, K., Good, J. & Robertson, J., 2007, Proceedings of the 6th international Conference on Interaction Design And Children, IDC 2007. p. 45-52 8 p.

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

    15 Citations (Scopus)

  • A Multitrace Matrix Model from Fuzzy Scalar Field Theory

    O'Connor, D. & Saemann, C., 4 Sept 2007, Proceedings of the International Workshop on Supersymmetries and Quantum Symmetries, Dubna, 30.7.-4.8. 2007.

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

  • An authoring tool for an emergent narrative storytelling system

    Kriegel, M., Aylett, R., Dias, J. & Paiva, A., 2007, Intelligent Narrative Technologies - Papers from the AAAI Fall Symposium, Technical Report. Vol. FS-07-05. p. 55-62 8 p.

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

    24 Citations (Scopus)

  • A posteriori respiratory motion compensation for PET imaging

    Tauber, C., Ouksili, Z., Nallis, J., Batatia, H., Caselles, O. & Courbon, F., 19 Mar 2007, Medical Imaging 2007: Physics of Medical Imaging. SPIE, 651053. (Proceedings of SPIE; vol. 6510).

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

  • A revised perspective on documentation practices in the modern organisation

    Coady, J. & Pooley, R. J., 2007, Advances in Information Systems Development: New Methods and Practice for the Networked Society : Proceedings of the 15th International Conference on Information Systems Development (ISD 2008), Budapest, Hungary 2006. Springer, p. 1-6 6 p.

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

  • Assessment of a haptic virtual assembly system that uses physics-based interactions

    Lim, T., Ritchie, J. M., Corney, J. R., Dewar, R. G., Schmidt, K. & Bergsteiner, K., 2007, ISAM 2007 - IEEE International Symposium on Assembly and Manufacturing. p. 147-153 7 p.

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

    20 Citations (Scopus)

  • Automatic Test-Data Generation: An Immunological Approach

    Liaskos, K. & Roper, M., 15 Oct 2007, Testing: Academic and Industrial Conference Practice and Research Techniques - TAICPART-MUTATION 2007. IEEE, 4344102

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

    4 Citations (Scopus)

  • Autonomous mobile programs

    Deng, X. Y., Trinder, P. & Michaelson, G., 2007, Proceedings - 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2006 Main Conference Proceedings), IAT'06. p. 177-183 7 p.

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

    5 Citations (Scopus)

  • Behavioural reactive agents for video game opponents with personalities

    Delgado-Mata, C. & Ibáñez-Martínez, J., 2007, Intelligent Virtual Agents - 7th International Conference, IVA 2007, Proceedings. Springer, Vol. 4722. p. 371-372 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4722 LNCS).

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

    4 Citations (Scopus)

  • Being there: Participants and spectators in interactive narrative

    Aylett, R. & Louchart, S., 2007, Virtual Storytelling: Using Virtual Reality Technologies for Storytelling - 4th International Conference, ICVS 2007, Proceedings. Vol. 4871 LNCS. p. 117-128 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4871 LNCS).

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

    28 Citations (Scopus)

  • Biometric valence and arousal recognition

    Jones, C. M. & Troen, T., 2007, Australasian Computer-Human Interaction Conference, OZCHI'07. p. 191-194 4 p.

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

    34 Citations (Scopus)

  • Building synthetic actors for interactive dramas

    Louchart, S. & Aylett, R., 2007, Intelligent Narrative Technologies - Papers from the AAAI Fall Symposium, Technical Report. Vol. FS-07-05. p. 63-70 8 p.

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

    8 Citations (Scopus)

  • Characterising DNA/RNA signals with crisp hypermotifs: A case study on core promoters

    Pridgeon, C. & Corne, D., 2007, Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics - 5th European Conference, EvoBIO 2007, Proceedings. Vol. 4447 LNCS. p. 227-235 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4447 LNCS).

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

  • Condensative stream query language for data streams

    Ma, L., Nutt, W. & Taylor, H., 2007, Proceedings of the Eighteenth Australasian Database Conference (ADC 2007): Conferences in Research and Practice in Information Technology. Bailey, J. & Fekete, A. (eds.). Australian Computer Society, Vol. 63. p. 113-122 10 p.

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

    3 Citations (Scopus)

  • Conflict between privacy and personalisation in a pervasive service environment

    Williams, H., Papadopoulou, E., Taylor, N., McBurney, S. & Dolinar, K., 2007, Proceedings of the 3rd IASTED International Conference on Advances in Computer Science and Technology, ACST 2007. p. 176-181 6 p.

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

  • Conformon-P systems with negative values

    Frisco, P., 2007, Membrane Computing - 8th International Workshop, WMC 2007, Revised Selected and Invited Papers. Vol. 4860 LNCS. p. 285-297 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4860 LNCS).

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

  • Controlling noise-induced patterns in an ensemble of globally coupled neural oscillators

    Patidar, S., Pototsky, A. & Janson, N., 2007, International Workshop: Book of Abstracts of Physics of Fluctuations far from Equilibrium. Dresden, Germany

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

  • Control of noise-induced behavior in neural network

    Janson, N., Patidar, S. & Pototsky, A., Jul 2007, Book of Abstracts for ICIAM 07. p. 316-317

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

    File
    9849 Downloads (Pure)

  • Cooperative reasoning for automatic software verification

    Ireland, A., 2007, AFM'07: 2nd Workshop on Automated Formal Methods. p. 51-54 4 p.

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

  • Curry-style types for nominal terms

    Fernández, M. & Gabbay, M., 2007, Types for Proofs and Programs - International Workshop, TYPES 2006, Revised Selected Papers. Vol. 4502 LNCS. p. 125-139 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4502 LNCS).

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

    10 Citations (Scopus)

  • Double appraisal for synthetic characters

    Louchait, S., Aylett, R. & Dias, J., 2007, Intelligent Virtual Agents - 7th International Conference, IVA 2007, Proceedings. Vol. 4722 LNCS. p. 393-394 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4722 LNCS).

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

    4 Citations (Scopus)

  • Dynamic deployment of semantic-based services in a highly distributed environment

    Chrysoulas, C. E. & Koufopavlou, O., 2007, Proceedings of the Third International Conference on Web Information Systems and Technologies. SciTePress, Vol. 1. p. 416-419 4 p.

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

    Open Access

  • Effects of Natural Language Complexity on Student Performance in Object-Oriented Domain Analysis

    Pooley, R. J., Coady, J. & Li, K., Aug 2007, International Conference on Information Systems Development, ISD 2007. Galway, Ireland: Springer, Vol. 16.

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

  • Evaluating high-level distributed language constructs

    Nyström, J., Trinder, P. & King, D., 2007, ICFP'07: Proceedings of the 2007 ACM SIGPLAN International Conference on Functional Programming. Vol. 42. p. 203-212 10 p.

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

    1 Citation (Scopus)

  • Exploring social TV

    Baillie, L., Fröhlich, P. & Schatz, R., 2007, Proceedings of the ITI 2007: 29th International Conference on Information Technology Interfaces. IEEE, p. 215-220 6 p.

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

    23 Citations (Scopus)

  • Fear and the behaviour of virtual flocking animals

    Delgado-Mata, C. & Aylett, R. S., 2007, Advances in Artificial Life - 9th European Conference, ECAL 2007, Proceedings. Vol. 4648 LNAI. p. 655-664 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4648 LNAI).

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

    1 Citation (Scopus)

  • FearNot! - An emergent narrative approach to virtual dramas for anti-bullying education

    Aylett, R., Vala, M., Sequeira, P. & Paiva, A., 2007, Virtual Storytelling: Using Virtual Reality Technologies for Storytelling - 4th International Conference, ICVS 2007, Proceedings. Vol. 4871 LNCS. p. 202-205 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4871 LNCS).

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

    70 Citations (Scopus)

  • FearNot! demo: A virtual environment with synthetic characters to help bullying

    Vala, M., Sequeira, P., Paiva, A. & Aylett, R., 2007, AAMAS'07 - Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems. p. 1381-1382 2 p.

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

    11 Citations (Scopus)

  • Feel the difference: A guide with attitude!

    Lim, M. Y. & Aylett, R., 2007, Intelligent Virtual Agents - 7th International Conference, IVA 2007, Proceedings. Vol. 4722 LNCS. p. 317-330 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4722 LNCS).

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

    28 Citations (Scopus)

  • Formal verification of concurrent scheduling strategies using TLA

    Grov, G., Michaelson, G. & Ireland, A., 2007, The 13th International Conference on Parallel and Distributed Systems, ICPADS. Vol. 2.

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

    5 Citations (Scopus)

  • From IVAs to comics generating comic strips from emergent stories with autonomous characters

    Alves, T., Simões, A., Vala, M., Paiva, A., McMichael, A. & Aylett, R., 2007, Intelligent Virtual Agents - 7th International Conference, IVA 2007, Proceedings. Vol. 4722 LNCS. p. 350-351 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4722 LNCS).

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

  • Heuristics for type error discovery and recovery

    Hage, J. & Heeren, B., 2007, Implementation and Application of Functional Languages. IFL 2006. Horváth, Z., Zsók, V. & Butterfield, A. (eds.). Springer, p. 199-216 18 p. (Lecture Notes in Computer Science; vol. 4449).

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

    36 Citations (Scopus)

  • Implementing deterministic declarative concurrency using sieves

    Lindley, S., 16 Jan 2007, DAMP '07: Proceedings of the 2007 workshop on Declarative aspects of multicore programming. Association for Computing Machinery, p. 45-49 5 p.

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

    4 Citations (Scopus)

  • Improved object tracking using an adaptive colour model

    Chen, Z. & Wallace, A. M., 2007, Energy Minimization Methods in Computer Vision and Pattern Recognition - 6th International Conference, EMMCVPR, 2007 Proceedings. Vol. 4679 LNCS. p. 280-294 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4679 LNCS).

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

    2 Citations (Scopus)

  • Indirect pet-pet image registration to monitor lung cancer tumor

    Ouksili, Z., Tauber, C., Nalis, J., Batatia, H., Caselles, O. & Courbon, F., 2007, Medical Imaging 2007: Image Processing. SPIE, 65120E. (Proceedings of SPIE; vol. 6512).

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

    2 Citations (Scopus)

  • Insurance claims modulated by a hidden marked point process

    Elliott, R. J., Siu, T. K. & Yang, H., 2007, Proceedings of the 2007 American Control Conference, ACC. p. 390-395 6 p.

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

    5 Citations (Scopus)

  • Investigating data-flow coverage of classes using evolutionary algorithms

    Liaskos, K., Roper, M. & Wood, M., 7 Jul 2007, GECCO '07: Proceedings of the 9th annual conference on Genetic and evolutionary computation. Association for Computing Machinery, p. 1140 1 p.

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

    21 Citations (Scopus)