• United Kingdom

Research Output

Filter
Conference contribution

A Cascade Model for Proposition Extraction in Argumentation

Jo, Y., Visser, J., Reed, C. & Hovy, E., 1 Aug 2019, Proceedings of the 6th Workshop on Argument Mining. Florence, Italy: Association for Computational Linguistics, p. 11-24 14 p.

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

Open Access
File
80 Downloads (Pure)

ACCESS: a technical framework for adaptive accessibility support

Heron, M., Hanson, V. L. & Ricketts, I. W., 2013, EICS '13 : Proceedings of the 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems. New York: Association for Computing Machinery, p. 33-42 10 p.

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

5 Citations (Scopus)

A Complete Characterization of Secure Human-Server Communication

Basin, D., Radomirović, S. & Schläepfer, M., 2015, 2015 IEEE 28th Computer Security Foundations Symposium, CSF 2015: Proceedings. Piscataway: Institute of Electrical and Electronics Engineers, p. 199-213 15 p. (Proceedings of the IEEE).

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

Open Access
File
11 Citations (Scopus)
170 Downloads (Pure)

A Corpus of Argument Networks: Using Graph Properties to Analyse Divisive Issues

Konat, B., Lawrence, J., Park, J., Budzynska, K. & 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. 3899-3906 8 p.

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

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

Active Learning for Patch-Based Digital Pathology using Convolutional Neural Networks to Reduce Annotation Costs

Carse, J. & McKenna, S., 2019, Digital Pathology: 15th European Congress, ECDP 2019, Warwick, UK, April 10–13, 2019, Proceedings. Reyes-Aldasoro, C. C., Janowczyk, A., Veta, M., Bankhead, P. & Sirinukunwattana, K. (eds.). Switzerland: Springer , p. 20-27 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11435 LNCS).

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

Open Access
File
14 Downloads (Pure)

Adaptive Learning of Statistical Appearance Models for 3D Human Tracking

Roberts, T. J., McKenna, S. J. & Ricketts, I. W., 2002, Proceedings of The 13th British Machine Vision Conference. Marshall, D. & Rosin, P. L. (eds.). BMVA Press, p. 333-342 10 p.

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

Addressing the Challenges of Situationally-Induced Impairments and Disabilities in Mobile Interaction

Tigwell, G., Sarsenbayeva, Z., Gorman, B., Flatla, D., Goncalves, J., Yesilada, Y. & Wobbrock, J., 2 May 2019, CHI EA 2019 - Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems. 8 p. 3299029. (Conference on Human Factors in Computing Systems - Proceedings).

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

Open Access
File
216 Downloads (Pure)

ADD-up: Visual analytics for augmented deliberative democracy

Plüss, B., El-Assady, M., Sperrle, F., Gold, V., Budzynska, K., Hautli-Janisz, A. & 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. 471-472 2 p. (Frontiers in Artificial Intelligence and Applications; vol. 305).

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

Open Access
File
146 Downloads (Pure)

A Deep Learning Approach for Semantic Segmentation of Gonioscopic Images to Support Glaucoma Categorization

Peroni, A., Cutolo, C. A., Pinto, L. A., Paviotti, A., Campigotto, M., Cobb, C., Gong, J., Patel, S., Tatham, A., Gillan, S. & Trucco, E., 2020, Medical Image Understanding and Analysis - 24th Annual Conference, MIUA 2020, Proceedings. Papiez, B. W., Namburete, A. I. L., Yaqub, M. & Noble, J. A. (eds.). Switzerland: Springer , p. 373-386 14 p. (Communications in Computer and Information Science; vol. 1248).

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

A deep modular RNN approach for ethos mining

Duthie, R. & Budzynska, K., 2018, Proceedings of the 27th International Joint Conference on Artificial Intelligence, IJCAI 2018. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 4041-4047 7 p.

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

5 Citations (Scopus)

A demonstration of multi-party dialogue using virtual coaches: The first council of coaches demonstrator

Snaith, M., Op Den Akker, H., Beinema, T., Bruijnes, M., Fides-Valero, Á., Huizing, G., Kantharaju, R., Klaassen, R., Konsolakis, K., Reidsma, D. & Weusthof, M., 2018, Computational Models of Argument - Proceedings of COMMA 2018. Modgil, S., Budzynska, K., Lawrence, J. & Budzynska, K. (eds.). IOS Press, Vol. 305. p. 473-474 2 p. (Frontiers in Artificial Intelligence and Applications; vol. 305).

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

Open Access
File
19 Downloads (Pure)

A Design Engineering Approach for Quantitatively Exploring Context-Aware Sentence Retrieval for Nonspeaking Individuals with Motor Disabilities

Kristensson, P. O., Lilley, J., Black, R. & Waller, A., Apr 2020, CHI '20: Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 1-11 11 p. 398

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

Open Access
File
10 Downloads (Pure)

A dialogue game for multi-party goal-setting in health coaching

Snaith, M., De Franco, D., Beinema, T., Op Den Akker, H. & Pease, A., 2018, Computational Models of Argument - Proceedings of COMMA 2018. Modgil, S., Budzynska, K., Lawrence, J. & Budzynska, K. (eds.). IOS Press, Vol. 305. p. 337-344 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 305).

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

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

A drosophila for computational dialectics

Wells, S. & Reed, C., 2005, AAMAS '05: Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems. New York, N.Y.: Association for Computing Machinery, p. 1263-1264 2 p.

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

4 Citations (Scopus)

Advances in Argument Mining

Budzynska, K. & Reed, C., Jul 2019, Proceedings of the 57th Annual Meeting of the Association for Computational Linguistics: Tutorial Abstracts. Association for Computational Linguistics, p. 39-42 4 p. P19-4008

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

Open Access

Adversarial Convolutional Networks with Weak Domain-Transfer for Multi-sequence Cardiac MR Images Segmentation

Chen, J., Li, H., Zhang, J. & Menze, B., 2020, Statistical Atlases and Computational Models of the Heart. Multi-Sequence CMR Segmentation, CRT-EPiggy and LV Full Quantification Challenges: 10th International Workshop, STACOM 2019, Held in Conjunction with MICCAI 2019, Revised Selected Papers. Pop, M., Sermesant, M., Camara, O., Zhuang, X., Li, S., Young, A., Mansi, T. & Suinesiaputra, A. (eds.). Springer Verlag, Vol. 12009. p. 317-325 9 p. (Lecture Notes in Computer Science).

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

Open Access
File
25 Downloads (Pure)

A formal account of complex argumentation in a critical discussion

Visser, J., 2013, Virtues of argumentation: proceedings of the 10th International Conference of the Ontario Society for the Study of Argumentation (OSSA), 22-26 May 2013. University of Windsor, 15 p.

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

Open Access
File
9 Downloads (Pure)

A Formal Analysis of 5G Authentication

Basin, D., Dreier, J., Hirschi, L., Radomirović, S., Sasse, R. & Stettler, V., 8 Oct 2018, 25th ACM Conference on Computer and Communications Security. Association for Computing Machinery (ACM), Vol. 2018. p. 1383-1396 21 p. 745

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

Open Access
File
40 Citations (Scopus)
162 Downloads (Pure)

A formal analysis of the AIF in terms of the ASPIC framework

Bex, F., Prakken, H. & Reed, C., 2010, Computational Models of Argument: Proceedings of COMMA 2010. Baroni, P., Cerutti, F., Giacomin, M. & Simari, G. R. (eds.). Amsterdam: IOS Press, p. 99-110 12 p. (Frontiers in artificial intelligence and applications; vol. 216).

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

8 Citations (Scopus)

A Formal Perspective On The Pragma-Dialectical Discussion Model

Visser, J., 2015, International Society for the Study of Argumentation: 8th International Conference on Argumentation: July 1-July 4, 2014, University of Amsterdam, The Netherlands . Sic Sat , p. 1471-1482 12 p.

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

Open Access
File
4 Downloads (Pure)

A framework for analysing interactivity in a remote access field exploration system

Joel, S., Arnott, J. L., Hine, N., Ingvarsson, S., Rentoul, R. & Schofield, S., 2004, Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics. New York: IEEE, Vol. 3. p. 2669-2674 6 p.

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

6 Citations (Scopus)

Agricultural reform: More efficient farming using advanced parallel refactoring tools

Brown, C., Janjic, V., Hammond, K., Schöner, H., Idrees, K. & Glass, C., 14 Apr 2014, PDP 2014 Proceedings: 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing. Piscataway: IEEE, p. 36-43 8 p.

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

8 Citations (Scopus)

AIF: dialogue in the argument interchange format

Reed, C., Wells, S., Devereux, J. & Rowe, G., 2008, Computational Models of Argument: Proceedings of COMMA 2008. Besnard, P., Doutre, S. & Hunter, A. (eds.). Amsterdam: IOS Press, p. 311-323 13 p. (Frontiers in artificial intelligence and applications; no. 172).

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

19 Citations (Scopus)

AIFdb Corpora

Lawrence, J. & Reed, C., 2014, Computational Models of Argument: Proceedings of COMMA 2014. Parsons, S., Oren, N., Reed, C. & Cerutti, F. (eds.). Amsterdam: IOS Press, p. 465-466 2 p. (Frontiers in artificial intelligence and applications; vol. 266).

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

8 Citations (Scopus)

AIF-EL - An OWL2-EL-compliant AIF ontology

Cerutti, F., Toniolo, A., Norman, T. J., Bex, F., Rahwan, I. & 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. 455-456 2 p. (Frontiers in Artificial Intelligence and Applications; vol. 305).

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

Open Access
File
23 Downloads (Pure)

Alethea: A Provably Secure Random Sample Voting Protocol

Basin, D., Radomirović, S. & Schmid, L., 9 Aug 2018, Proceedings - IEEE 31st Computer Security Foundations Symposium, CSF 2018. IEEE, p. 283-297 15 p. 8429312

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

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

Algebraic Attacks on RFID Protocols

van Deursen, T. & Radomirović, S., 2009, Information Security Theory and Practice: Smart Devices, Pervasive Systems, and Ubiquitous Networks - Third IFIPWG 11.2 International Workshop, WISTP2009 Brussels, Belgium, September 1-4, 2009. Proceedings. Markowitch, O., Bilas, A., Hoepman, J-H., Mitchell, C. J. & Quisquater, J-J. (eds.). Berlin: Springer Verlag, p. 38-51 14 p. (Lecture Notes in Computer Science ; vol. 5746 ).

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

29 Citations (Scopus)

Algebras and coalgebras in the light affine lambda calculus

Gaboardi, M. & Péchoux, R., 29 Aug 2015, Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP. Association for Computing Machinery, Vol. 2015-August. p. 114-126 13 p.

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

Alice and Bob Meet Equational Theories

Basin, D., Keller, M., Radomirović, S. & Sasse, R., 2015, Logic, Rewriting and Concurrency : Essays Dedicated to Jose Meseguer on the Occasion of His 65th Birthday. Martí-Oliet, N., Csaba Ölveczky, P. & Talcott, C. (eds.). Switzerland: Springer International Publishing, p. 160-180 21 p. (Lecture Notes in Computer Science ; vol. 9200).

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

2 Citations (Scopus)

A Model for Processing Illocutionary Structures and Argumentation in Debates

Budzynska, K., Janier, M., Reed, C., Saint-Dizier, P., Stede, M. & Yaskorska, O., 2014, LREC 2014 Proceedings. Calzolari, N., Choukri, K., Declerck, T., Loftsson, H., Maegaard, B., Mariani, J., Moreno, A., Odijk, J. & Piperidis, S. (eds.). European Language Resources Association, p. 917-924 8 p.

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

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

A multi-lingual augmentative communication system

Alm, N., Iwabuchi, M., Andreasen, P. N. & Nakamura, K., 2003, Universal Access Theoretical Perspectives, Practice and Experience: 7th ERCIM International Workshop on User Interfaces for All, Paris, France, October 24–25, 2002, Revised Papers. Carbonell, N. & Stephanidis, C. (eds.). Berlin: Springer , p. 398-408 11 p. (Lecture notes in computer science; vol. 2615).

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

4 Citations (Scopus)

A Multi-task Deep Network for Person Re-identification

Chen, W., Chen, X., Zhang, J. & Huang, K., 17 Feb 2017, Proceedings of The Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17). Singh, S. & Markovitch, S. (eds.). Palo Alto, CA: AAAI Press, p. 3988-3994 7 p.

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

Open Access
File
89 Citations (Scopus)
109 Downloads (Pure)

An algorithm for finding large induced planar subgraphs

Edwards, K. & Farr, G., 2002, Graph Drawing : 9th International Symposium, GD 2001 Vienna, Austria, September 23–26, 2001 Revised Papers. Mutzel, P., Junger, M. & Leipert, S. (eds.). Berlin: Springer , p. 75-83 9 p. (Lecture notes in computer science ; vol. 2265).

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

8 Citations (Scopus)

Analysing the Surface Morphology of Colorectal Polyps: Differential Geometry and Pit Pattern Prediction

Zhang, J., McKenna, S. J., Zhang, J., Coats, M. & Carey, F. A., Jul 2014, Medical Image Understanding and Analysis: MIUA. Reyes-Aldasoro, C. & Slabaugh, G. (eds.). United Kingdom: British Machine Vision Association and Society for Pattern Recognition, p. 67-72 6 p.

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

Open Access
File
159 Downloads (Pure)

Analysis of Total Hip Replacements using Active Ellipses

Kerrigan, S., McKenna, S., Ricketts, I. W. & Wigderowitz, C., 2003, Medical Image Understanding and Analysis. Barber, D. C. (ed.). British Machine Vision Association and Society for Pattern Recognition

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

An Analysis of User Engagement in Relation to Computing Workshop Activities

Menzies, R., Crabb, M., Herron, D., Petrie, K., Stewart, C. & Zarb, M., 24 Feb 2015, SIGCSE '15: Proceedings of the 46th ACM Technical Symposium on Computer Science Education . New York: Association for Computing Machinery, p. 469-474 6 p.

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

1 Citation (Scopus)

An annotated corpus of argument schemes in US election debates

Visser, J., Lawrence, J., Wagemans, J. & Reed, C., 2019, Proceedings of the 9th Conference of the International Society for the Study of Argumentation (ISSA), 3-6 July 2018 . p. 1101-1111 11 p.

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

Open Access
File
38 Downloads (Pure)

An Anti-Pattern for Misuse Cases

Dashti, M. T. & Radomirović, S., 2018, Computer Security - ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Revised Selected Papers: ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, Revised Selected Papers. Katsikas, S. K., Cuppens, F., Cuppens, N., Lambrinodakis, C., Kalloniatis, C., Mylopoulos, J., Anton, A. & Gritzalis, S. (eds.). Switzerland: Springer , Vol. 10683. p. 250-261 12 p. (Lecture Notes in Computer Science; vol. 10683).

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

Open Access
File
266 Downloads (Pure)

An end-user interface for behaviour change intervention development

Rough, D. & Quigley, A., May 2014, AVI '14: Proceedings of the 2014 International Working Conference on Advanced Visual Interfaces. Association for Computing Machinery (ACM), p. 377-378 2 p.

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

An evaluation of Dasher with a high-performance language model as a gaze communication method

Rough, D., Vertanen, K. & Kristensson, P. O., May 2014, AVI '14: Proceedings of the 2014 International Working Conference on Advanced Visual Interfaces. Association for Computing Machinery (ACM), p. 169-176 8 p.

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

12 Citations (Scopus)

A new generation of SpaceFibre test and development equipment: SpaceFibre, short paper

Gonzalez-Villafranca, A., Parkes, S., McClements, C., Yu, B., Scott, P. & Ferrer Florit, A., 8 Dec 2016, 2016 International SpaceWire Conference (SpaceWire): Proceedings of the 7th International SpaceWire Conference. IEEE, p. 1-4 4 p.

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

4 Citations (Scopus)

A new generation of SpaceWire test and development equipment: SpaceWire test and verification, long paper

Mills, S., McClements, C., Yu, B. & Parkes, S., 8 Dec 2016, 2016 International SpaceWire Conference (SpaceWire): Proceedings of the 7th International SpaceWire Conference. IEEE, p. 1-6 6 p.

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

An experimental assessment of five indices of retinal vessel tortuosity with the RET-TORT public dataset

Lisowska, A., Annunziata, R., Loh, G. K., Karl, D. & Trucco, E., 2014, 2014 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2014. IEEE, p. 5414-5417 4 p.

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

19 Citations (Scopus)

An experimental comparison of trajectory-based and history-based representation for gesture recognition

Morrison, K. & McKenna, S. J., 2004, Gesture-Based Communication in Human-Computer Interaction: 5th International Gesture Workshop, GW 2003, Genova, Italy, April 15-17, 2003, Selected Revised Papers. Camurri, A. & Volpe, G. (eds.). Berlin: Springer , p. 152-163 12 p. (Lecture notes in computer science; vol. 2915).

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

2 Citations (Scopus)

An interactive entertainment system usable by elderly people with dementia

Alm, N., Astell, A., Gowans, G., Dye, R., Ellis, M., Vaughan, P. & Newell, A. F., 2007, Universal Access in Human-Computer Interaction. Ambient Interaction: 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part II. Stephanidis, C. (ed.). Berlin: Springer , p. 617-623 7 p. (Lecture notes in computer science; vol. 4555).

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

7 Citations (Scopus)

Annotating Argument Schemes with the Periodic Table of Arguments

Visser, J. & Wagemans, J., 2018, Proceedings of the16th ArgDiaP Conference Argumentation and Corpus Linguistics. ARGDIAP, p. 8-12 5 p.

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

An Online Annotation Assistant for Argument Schemes

Lawrence, J., Visser, J. & Reed, C., Aug 2019, Proceedings of the 13th Linguistic Annotation Workshop. Friedrich, A., Zeyrek, D. & Hoek, J. (eds.). Florence, Italy: Association for Computational Linguistics, p. 100-107 8 p.

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

Open Access
File
3 Citations (Scopus)
81 Downloads (Pure)

An RTEMS port for the AT6981 SpaceWire-enabled processor: features and performance

Paterson, D., Gibson, D. & Parkes, S., 2014, 2014 International SpaceWire Conference (SpaceWire) Athens, Greece, 22–26th September 2014 : proceedings of the 6th International SpaceWire Conference, SpaceWire 2014. Parkes, S. & Carrie, C. (eds.). Dundee: Space Technology Centre, University of Dundee, 4 p. 6936270

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

2 Citations (Scopus)

A Pictorial Interviewing Method Designed to Effectively Include the Voice of Residents of Care Homes for Older Adults

Dee, M. & Hanson, V., 2018, Proceedings of the 5th European International Conference on Design4Health. Christer, K., Craig, C. & Wolstenholme, D. (eds.). Sheffield Hallam University, Vol. 1. p. 123-131 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference 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)