• United Kingdom

Research Output

Filter
Conference contribution
Conference contribution

Approaches to web search and navigation for older computer novices

Dickinson, A., Smith, M. J., Arnott, J. L., Newell, A. F. & Hill, R. L., 2007, CHI '07 Proceedings of the SIGCHI conference on Human factors in computing systems. New York: Association for Computing Machinery, p. 281-290 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

22 Citations (Scopus)

A practical application of computational humour

Ritchie, G., Manurung, R., Pain, H., Waller, A., Black, R. & O'Mara, D., 2007, Proceedings of the 4th International Joint Workshop on Computational Creativity. p. 91-98 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

24 Citations (Scopus)

A Prototype SpaceVPX Lite (VITA 78.1) System using SpaceFibre for Data and Control Planes

Parkes, S., Ferrer Florit, A., Gonzalez-Villafranca, A., McClements, C. & Srivastava, A., 8 Jun 2017, 2017 IEEE Aerospeace Conference. United States: Institute of Electrical and Electronics Engineers, p. 1-9 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
1 Citation (Scopus)
409 Downloads (Pure)

A rapid multi-lingual communicator for non-speaking people and others

Alm, N., Iwabuchi, M., Arnott, J. L., Andreasen, P. N. & Nakamura, K., 2001, 2001 IEEE International Conference on Systems, Man, and Cybernetics. IEEE, Vol. 1. p. 238-243 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Assessing progress in building autonomously creative systems

Colton, S., Pease, A., Corneli, J., Cook, M. & Teresa Llano, M., 2014, Proceedings of the Fifth International Conference on Computational Creativity, ICCC-2014. Colton, S., Ventura, D., Lavrač, N. & Cook, M. (eds.). Association for Computational Creativity, p. 137-145 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

13 Citations (Scopus)

ASSISTing CS1 students to learn: learning approaches and object-oriented programming

Hughes, J. & Peiris, D. R., 2006, ITiCSE06 : Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education. Goldweber, M. & Salomoni, P. (eds.). New York: Association for Computing Machinery, p. 275-279 5 p. (ACM SIGCSE Bulletin; vol. 38, no. 3).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)

Asteroid simulation

Martin, I., Parkes, S. & Dunstan, M., 2004, Proceedings of DASIA 2004: Data Systems in Aerospace Conference. Ouwehand, L. & Harris, R. A. (eds.). Noordwijk: ESA Publications Division, p. 112-121 10 p. (ESA SP; no. 570).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A theoretical framework for constraint propagator triggering

Cohen, D. A., Jefferson, C. & Petrie, K. E. J., 2016, Proceedings of the Ninth International Symposium on Combinatorial Search. Baier, J. A. & Botea, A. (eds.). AAAI Press, p. 19-27 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

A tool to promote prolonged engagement in art therapy: design and development from arts therapist requirements

Hoey, J., Zutis, K., Leuty, V. & Mihailidis, A., 2010, ASSETS '10: Proceedings of the 12th International ACM SIGACCESS Conference on Computers and Accessibility . New York: Association for Computing Machinery, p. 211-218 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

12 Citations (Scopus)

Attack Trees with Sequential Conjunction

Jhawar, R., Kordy, B., Mauw, S., Radomirović, S. & Trujillo-Rasua, R., 2015, ICT Systems Security and Privacy Protection : 30th IFIP TC 11 International Conference, SEC 2015 Hamburg, Germany, May 26–28, 2015 Proceedings. Federrath, H. & Gollmann, D. (eds.). Switzerland: Springer International Publishing, p. 339-353 15 p. (IFIP Advances in Information and Communication Technology; vol. 455).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

43 Citations (Scopus)

A type-theoretic approach to resolution

Fu, P. & Komendantskaya, E., 2015, Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. Falaschi, M. (ed.). Springer International Publishing, p. 91-106 16 p. (Lecture notes in computer science ; vol. 9527).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Autism Spectrum Disorder Diagnosis Using Sparse Graph Embedding of Morphological Brain Networks

Morris, C. & Rekik, I., 2017, Graphs in Biomedical Image Analysis, Computational Anatomy and Imaging Genetics: First International Workshop, GRAIL 2017, 6th International Workshop, MFCA 2017, and Third International Workshop, MICGen 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10–14, 2017, Proceedings. Cardoso, M. J. & Arbel, T. (eds.). Switzerland: Springer , Vol. 10551. p. 12-20 9 p. (Lecture Notes in Computer Science; vol. 10551).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
7 Citations (Scopus)
174 Downloads (Pure)

Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR

Dreier, J., Hirschi, L., Radomirović, S. & Sasse, R., 7 Aug 2018, 2018 IEEE 31st Computer Security Foundations Symposium (CSF). 31st ed. IEEE, p. 359-373 15 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
15 Citations (Scopus)
190 Downloads (Pure)

Automatically identifying transitions between locutions in dialogue

Budzynska, K., Janier, M., Kang, J., Konat, B., Reed, C., Saint-Dizier, P., Stede, M. & Yaskorska, O., Jun 2016, Argumentation and Reasoned Action: Proceedings of the 1st European Conference on Argumentation. Mohammed, D. & Lewinski, M. (eds.). Lisbon: College Publications, Vol. 1. (Studies in Logic and Argumentation; vol. 62).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Automatic generation of synthetic retinal fundus images: Vascular network

Menti, E., Bonaldi, L., Ballerini, L., Ruggeri, A. & Trucco, E., 2016, Simulation and Synthesis in Medical Imaging - 1st International Workshop, SASHIMI 2016 held in conjunction with MICCAI 2016, Proceedings. Tsaftaris, S. A., Gooya, A., Frangi, A. F. & Prince, J. L. (eds.). Springer Verlag, Vol. 9968 LNCS. p. 167-176 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9968 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
7 Citations (Scopus)
283 Downloads (Pure)

Automatic generation of synthetic retinal fundus images

Fiorini, S., Ballerini, L., Trucco, E. & Ruggeri, A., 2014, Medical Image Understanding and Analysis 2014: Proceedings of the 18th Conference on Medical Image Understanding and Analysis. Reyes-Aldasoro, C. C. & Slabaugh, G. (eds.). London: BMVA Press, p. 7-12 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

9 Citations (Scopus)

Automatic retinal vessel classification using a Least Square-Support Vector Machine in VAMPIRE

Relan, D., MacGillivray, T., Ballerini, L. & Trucco, E., 2014, 2014 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2014. IEEE, p. 142-145 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

16 Citations (Scopus)

Automatic transformation of raw clinical data into clean data using decision tree learning combining with string similarity algorithm

Zhang, J., 2015, OpenAccess Series in Informatics. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Vol. 49. p. 87-94 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
24 Downloads (Pure)

Automating change of representation for proofs in discrete mathematics

Raggi, D., Bundy, A., Grov, G. & Pease, A., 23 Jun 2015, Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015 Proceedings. Kerber, M., Carette, J., Kaliszyk, C., Rabe, F. & Sorge, V. (eds.). Springer , Vol. LNAI 9150. p. 227-242 16 p. (Lecture Notes In Computer Science; vol. 9150).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Bayesian Network and Structured Random Forest Cooperative Deep Learning For Automatic Multi-label Brain Tumor Segmentation

Amiri, S., Ali Mahjoub, M. & Rekik, I., 2018, Proceedings of the 10th International Conference on Agents and Artificial Intelligence (ICAART 2018). Vol. 2. p. 183-190 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

BBC moral maze: Test your argument

Lawrence, J., Visser, J. & Reed, C., 2018, Computational Models of Argument - Proceedings of COMMA 2018. Modgil, S., Budzynska, K., Lawrence, J. & Budzynska, K. (eds.). IOS Press, Vol. 305. p. 465-466 2 p. (Frontiers in Artificial Intelligence and Applications; vol. 305).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
32 Downloads (Pure)

Beyond triplet loss: a deep quadruplet network for person re-identification

Chen, W., Chen, X., Zhang, J. & Huang, K., 2017, Proceedings of IEEE International Conference on Computer Vision and Pattern Recognition. IEEE, p. 1320-1329 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
366 Citations (Scopus)
192 Downloads (Pure)

Blind people interacting with large touch surfaces: Strategies for one-handed and two-handed exploration

Guerreiro, T., Montague, K., Guerreiro, J., Nunes, R., Nicolau, H. & Gonçalves, D., 15 Nov 2015, Proceedings of the 2015 ACM International Conference on Interactive Tabletops and Surfaces, ITS 2015. Association for Computing Machinery, p. 25-34 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

18 Citations (Scopus)

Boosting hand-crafted features for curvilinear structure segmentation by learning context filters

Annunziata, R., Kheirkhah, A., Hamrah, P. & Trucco, E., 18 Nov 2015, Medical Image Computing and Computer-Assisted Intervention – MICCAI 2015: 18th International Conference, Munich, Germany, October 5-9, 2015, Proceedings, Part III. Navab, N., Hornegger, J., Wells, W. M. & Frangi, A. F. (eds.). Springer International Publishing, p. 596-603 8 p. (Lecture notes in computer science ; vol. 9351).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Citations (Scopus)

Boundary-aware fully convolutional network for brain tumor segmentation

Shen, H., Wang, R., Zhang, J. & McKenna, S. J., 2017, Medical Image Computing and Computer Assisted Intervention − MICCAI 2017 - 20th International Conference, Proceedings. Switzerland: Springer Verlag, Vol. 10434. p. 433-441 9 p. 626. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10434).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
27 Citations (Scopus)
406 Downloads (Pure)

BrightLights: Gamifying Data Capture for Situational Visual Impairments

Macpherson, K., Tigwell, G., Menzies, R. & Flatla, D., 24 Oct 2018, ASSETS 2018 - Proceedings of the 20th International ACM SIGACCESS Conference on Computers and Accessibility. Association for Computing Machinery, p. 355-357 3 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
2 Citations (Scopus)
124 Downloads (Pure)

Building agents that plan and argue in a social context

Kalofonos, D., Karunatillake, N., Jennings, N. R., Norman, T. J., Reed, C. & Wells, S., 2006, Computational Models of Argument: Proceedings of COMMA 2006. Dunne, P. E. & Bench-Capon, T. J. M. (eds.). Amsterdam: IOS Press, p. 15-26 12 p. (Frontiers in artificial intelligence and applications; vol. 144).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Building a lexical database for an interactive joke-generator

Manurung, R., O'Mara, D., Pain, H., Ritchie, G. & Waller, A., May 2006, 5th edition of the International Conference on Language Resources and Evaluation : LREC Proceedings 2006. European Language Resources Association, p. 1738-1741 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Building arguments with argumentation: the role of illocutionary force in computational models of argument

Reed, C., Wells, S., Budzynska, K. & Devereux, J., 2010, Computational Models of Argument : Proceedings of COMMA 2010. Baroni, P., Cerutti, F., Giacomin, M. & Simari, G. R. (eds.). Amsterdam: IOS Press, p. 415-426 12 p. (Frontiers in artificial intelligence and applications; vol. 216).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

13 Citations (Scopus)

Capturing phrases for ICU-Talk, a communication aid for intubated intensive care patients

Etchels, M., Ashraf, S., MacAulay, F., Judson, A., Ricketts, I. W., Waller, A., Brodie, J. K., Alm, N., Warden, A., Shearer, A. J. & Gordon, B., 2002, Assets 2002: Proceedings of the Fifth International ACM Conference on Assistive Technologies . New York, N.Y.: Association for Computing Machinery, p. 213-217 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)

Challenges of Traditional Usability Evaluation in End-User Development

Rough, D. & Quigley, A., 2019, End-User Development: 7th International Symposium, IS-EUD 2019, Proceedings. Malizia, A., Valtolina, S., Morch, A., Serrano, A. & Stratton, A. (eds.). Switzerland: Springer Verlag, p. 1-17 17 p. (Lecture Notes in Computer Science; vol. 11553).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Classification of colorectal polyp regions in optical projection tomography

Li, W., Zhang, J., McKenna, S. J., Coats, M. & Carey, F. A., 2013, ISBI 2013: IEEE 10th International Symposium on Biomedical Imaging: From Nano to Macro - Proceedings. Piscataway, N.J.: IEEE, p. 736-739 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

Classifying types of ethos support and attack

Duthie, R. & Budzynska, K., 2018, Computational Models of Argument - Proceedings of COMMA 2018. Modgil, S., Budzynska, K., Lawrence, J. & Budzynska, K. (eds.). IOS Press, Vol. 305. p. 161-168 8 p. (Frontiers in Artificial Intelligence and Applications).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
69 Downloads (Pure)

Cognitive dimensions questionnaire applied to exploratory algorithm design

Martin, C. J. & Hughes, J. M., 2008, ITICSE '08: : Proceedings of The 13th Annual Conference on Innovation and Technology in Computer Science Education. New York: Association for Computing Machinery, p. 184-188 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Cognitive prostheses: communication, rehabilitation and beyond

Arnott, J., Alm, N. & Waller, A., Oct 1999, IEEE SMC'99 Conference Proceedings: 1999 IEEE International Conference on Systems, Man, and Cybernetics. IEEE, Vol. 6. p. 346-351 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

11 Citations (Scopus)

Cognitive prostheses for elderly people

Alm, N., Arnott, J. L., Dobinson, L., Massie, P. & Hewines, I., 2001, 2001 IEEE International Conference on Systems, Man, and Cybernetics. IEEE, Vol. 2. p. 806-810 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)

COINVENT: towards a computational concept invention theory

Schorlemmer, M., Smaill, A., Kuhnberger, K-U., Kutz, O., Colton, S., Cambouropoulos, E. & Pease, A., 2014, Proceedings of the Fifth International Conference on Computational Creativity, 2014. Colton, S., Ventura, D., Lavrač, N. & Cook, M. (eds.). Association for Computational Creativity, p. 288-296 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

COLAB: A Collaborative Multi-factor Scheduler for Asymmetric Multicore Processors

Yu, T., Petoumenos, P., Janjic, V., Leather, H. & Thomson, J., Feb 2020, CGO 2020 - Proceedings of the 18th ACM/IEEE International Symposium on Code Generation and Optimization: CGO 2020. Mars, J., Tang, L., Xue, J. & Wu, P. (eds.). New York: Association for Computing Machinery, p. 268-279 12 p. (CGO 2020 - Proceedings of the 18th ACM/IEEE International Symposium on Code Generation and Optimization).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
1 Citation (Scopus)
22 Downloads (Pure)

Colour model selection and adaptation in dynamic scenes

Raja, Y., McKenna, S. J. & Gong, S., 1998, Computer Vision — ECCV'98: 5th European Conference on Computer Vision Freiburg, Germany, June, 2–6, 1998 Proceedings. Burkhardt, H. & Neumann, B. (eds.). Berlin: Springer , Vol. 1. p. 460-474 15 p. (Lecture notes in computer science; vol. 1406).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

59 Citations (Scopus)

Combining Argument Mining Techniques

Lawrence, J. & Reed, C., Jun 2015, 2nd Workshop on Argumentation Mining: Proceedings of the Workshop. Denver: Association for Computational Linguistics, Vol. 1. p. 127-136 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Combining efficient hand-crafted features with learned filters for fast and accurate corneal nerve fibre centreline detection

Annunziata, R., Kheirkhah, A., Hamrah, P. & Trucco, E., 4 Nov 2015, 2015 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) . Institute of Electrical and Electronics Engineers, p. 5655-5658 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Comparison of automatic vessel segmentation techniques for whole body magnetic resonance angiography with limited ground truth data

McNeil, A., Degano, G., Poole, I., Houston, G. & Trucco, E., 2017, Medical Image Understanding and Analysis: 21st Annual Conference, MIUA 2017, Edinburgh, UK, July 11–13, 2017, Proceedings. Hernandez, M. V. & Gonzalez-Castro, V. (eds.). Switzerland: Springer , p. 144-155 12 p. (Communications in Computer and Information Science; vol. 723).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Computational Creativity Theory: Inspirations behind the FACE and the IDEA models

Pease, A. & Colton, S., 1 Dec 2011, Proceedings of the 2nd International Conference on Computational Creativity, ICCC 2011. Ventura, D., Gervás, P., Fox Harrell, D., Maher, M. L., Pease, A. & Wiggins, G. (eds.). p. 72-77 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

23 Citations (Scopus)

Constructing Optimistic Multi-party Contract Signing Protocols

Kordy, B. & Radomirović, S., 2012, 2012 IEEE 25th Computer Security Foundations Symposium, CSF 2012 : Proceedings. Piscataway: Institute of Electrical and Electronics Engineers, p. 215-229 15 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
5 Citations (Scopus)
141 Downloads (Pure)

Contextual Biometric-Based Authentication for Ubiquitous Services

Buhan, I., Lenzini, G. & Radomirović, S., 2010, Ubiquitous Intelligence and Computing : 7th International Conference, UIC 2010 Xi’an, China, October 26-29, 2010 Proceedings. Yu, Z., Liscano, R., Chen, G., Zhang, D. & Zhou, X. (eds.). Berlin: Springer Verlag, p. 680-693 14 p. (Lecture Notes in Computer Science ; vol. 6406 ).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Continuous correlated beta processes

Goetschalckx, R., Poupart, P. & Hoey, J., 2011, Proceedings of the Twenty-Second international joint conference on Artificial Intelligence . IJCAI'11. Walsh, T. (ed.). Vol. 2. p. 1269-1274 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

Corpus resources for dispute mediation discourse

Janier, M. & Reed, C., 2016, LREC 2016: Proceedings for the Tenth International Conference on Language Resources and Evaluation. Calzolari, N., Choukri, K., Declerck, T., Goggi, S., Grobelnik, M., Maegaard, B., Mariani, J., Mazo, H., Moreno, A., Odijk, J. & Piperidis, S. (eds.). Slovenia: European Language Resources Association, p. 1014-1021 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
4 Citations (Scopus)
52 Downloads (Pure)

Council of coaches a novel holistic behavior change coaching approach

Akker, H. O. D., Akker, R. O. D., Beinema, T., Banos, O., Heylen, D., Bedsted, B., Pease, A., Pelachaud, C., Salcedo, V. T., Kyriazakos, S. & Hermens, H., 2018, ICT4AWE 2018 - Proceedings of the 4th International Conference on Information and Communication Technologies for Ageing Well and e-Health. Ziefle, M., Maciaszek, L. & Bamidis, P. D. (eds.). SciTePress, Vol. 2018-March. p. 219-226 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)

Creating innovative partnerships with users in developing assistive technology

Alm, N. & Newell, A., 2008, Computers Helping People with Special Needs: 11th International Conference, ICCHP 2008, Linz, Austria, July 9-11, 2008. Proceedings. Miesenberger, K., Klaus, J., Zagler, W. & Karshmer, A. (eds.). Berlin: Springer , p. 130-137 8 p. (Lecture notes in computer science; vol. 5105).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Culture & motivation: establishing an international storytelling forum

Hine, N., Ortiz, R. R., Mitchell, S. & Bohorquez, C. R., 2005, IADIS International Conference on Cognition and Exploratory Learning in Digital Age, CELDA 2005: Proceedings. New York: Curran Associates, Inc., p. 463-468 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution