Computer Science Research Group

Search results

  • Conference publication

    AstonCAT-plus: an efficient specialist for the TAC market design tournament

    Chang, M., He, M. & Luo, X., 2011, Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. Walsh, T. (ed.). Palo Alto (US): AAAI, Vol. 1. p. 146-151 6 p.

    Research output: Chapter in Book/Published conference output › Conference publication

    Open Access
    File

  • A study of the impact of persuasive argumentation in political debates

    Cano-Basave, A. E. & He, Y., 17 Jul 2016, Proceedings of the 2016 Conference of the North American Chapter of the Association for Computational Linguistics: human language technologies. Stroudsburg, PA (US): Association for Computational Linguistics, p. 1405-1413 9 p. N16-1166

    Research output: Chapter in Book/Published conference output › Conference publication

    Open Access

  • A Study on Mental State Classification using EEG-based Brain-Machine Interface

    Bird, J., Manso, L. J., Ribeiro, E. P., Ekárt, A. & Faria, D., 8 May 2019, 9th International Conference on Intelligent Systems 2018: Theory, Research and Innovation in Applications, IS 2018 - Proceedings. Martins, J., Jotsov, V., Bierwolf, R., Mendonca, J. P., Jardim-Goncalves, R. & Marques, M. (eds.). IEEE, p. 795-800 6 p. 8710576. (2018 International Conference on Intelligent Systems (IS)).

    Research output: Chapter in Book/Published conference output › Conference publication

  • A survey of self-awareness and its application in computing systems

    Lewis, P. R., Chandra, A., Parsons, S., Robinson, E., Glette, K., Bahsoon, R., Torresen, J. & Yao, X., 2011, Proceedings : 2011 5th IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2011. IEEE, p. 102-107 6 p.

    Research output: Chapter in Book/Published conference output › Conference publication

    Open Access
    File

  • A survey of semantic web services formalisms

    Wang, H. H., Gibbins, N., Payne, T. & Patelli, A., 2013, Proceedings : 2013 ninth international conference on Semantics, Knowledge and Grids, SKG 2013. Piscataway, NJ (US): IEEE, p. 135-142 8 p. 6816595

    Research output: Chapter in Book/Published conference output › Conference publication

  • A survey on preferences of quality attributes in the decision-making for self-adaptive systems: The bad, the good and the ugly

    Paucar, L. H. G. & Bencomo, N., 2017, Anais do WER 2017 - Workshop em Engenharia de Requisitos. Brito Isabel, S. & de la Vara, J. L. (eds.). p. 1-14 14 p. (Anais do WER 2017 - Workshop em Engenharia de Requisitos).

    Research output: Chapter in Book/Published conference output › Conference publication

    Open Access
    File

  • Asymmetric Spatio-Temporal Embeddings for Large-Scale Image-to-Video Retrieval

    Garcia, N. & Vogiatzis, G., 6 Sept 2018, 29TH BRITISH MACHINE VISION CONFERENCE.

    Research output: Chapter in Book/Published conference output › Conference publication

    Open Access
    File

  • A target-oriented text scanning mechanism

    Zhuge, H. & Xu, B., 19 Jan 2018, Proceedings - 2017 13th International Conference on Semantics, Knowledge and Grids, SKG 2017. IEEE, Vol. 2018-January. p. 132-138 7 p.

    Research output: Chapter in Book/Published conference output › Conference publication

  • A technique for incorporating dynamic paths in lab-based mobile evaluations

    Crease, M., Lumsden, J. & Longworth, B., 2007, People and computers XXI HCI...but not as we know it: proceedings of HCI 2007 : the 21st British HCI Group annual conference. Ball, L. J., Sasse, M. A., Sas, C., Ormerod, T. C., Dix, A., Bagnall, P. & McEwan, T. (eds.). British Computer Society , Vol. 1. p. 99-108 10 p.

    Research output: Chapter in Book/Published conference output › Conference publication

  • Augmented Reality for Accessible Digital Mental Healthcare

    Lush, V., Buckingham, C., Wileman, S., Edwards, S. & Bernardet, U., 21 Oct 2019, Proceedings of the 2019 5th Experiment at International Conference, exp.at 2019. Cardoso, A. & Restivo, M. T. (eds.). IEEE, p. 274-275 2 p. 8876554

    Research output: Chapter in Book/Published conference output › Conference publication

  • A utility model for volunteered service composition

    Elhabbash, A., Bahsoon, R., Tiño, P. & Lewis, P. R., 31 Dec 2014, Proceedings : 2014 IEEE/ACM 7th international conference on Utility and Cloud Computing, UCC 2014. Piscataway, NJ (US): IEEE, p. 337-344 8 p.

    Research output: Chapter in Book/Published conference output › Conference publication

  • Auto-Active Verification of Floating-Point Programs via Nonlinear Real Provers

    Rasheed, J. & Konečný, M., 1 Oct 2022, Software Engineering and Formal Methods - 20th International Conference, SEFM 2022, Proceedings. Schlingloff, B-H. & Chai, M. (eds.). p. 20-36 (Lecture Notes in Computer Science; vol. 13550).

    Research output: Chapter in Book/Published conference output › Conference publication

  • Automated provenance graphs for models@run.time

    Reynolds, O., García-Domínguez, A. & Bencomo, N., 16 Oct 2020, Proceedings - 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2020 - Companion Proceedings. ACM, p. 344-353 10 p. 53. (Proceedings - 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2020 - Companion Proceedings).

    Research output: Chapter in Book/Published conference output › Conference publication

    Open Access
    File

  • Automatic identification of best answers in online enquiry communities

    Burel, G., He, Y. & Alani, H., 2012, The semantic web : research and applications: 9th extended semantic web conference, ESWC 2012, Heraklion, Crete, Greece, May 27-31, 2012. Proceedings. Simperl, E., Cimiano, P., Polleres, A., Corcho, O. & Presutti, V. (eds.). Heidelberg (DE): Springer, Vol. 7295. p. 514-529 16 p. (Lecture notes in computer science; vol. 7295).

    Research output: Chapter in Book/Published conference output › Conference publication

  • Automatic labelling of topic models learned from Twitter by summarisation

    Cano, E. & He, Y., 2014, 52nd Annual Meeting of the Association for Computational Linguistics, ACL 2014 - Proceedings of the Conference. Association for Computational Linguistics, Vol. 2. p. 618-624 7 p.

    Research output: Chapter in Book/Published conference output › Conference publication

  • Automatic object segmentation from calibrated images

    Campbell, N. D. F., Vogiatzis, G., Hernández, C. & Cipolla, R., 2011, 2011 Conference for Visual Media Production (CVMP). IEEE, p. 126-137 12 p.

    Research output: Chapter in Book/Published conference output › Conference publication

  • Automatic question answering based on single document

    Wang, X., Xu, B. & Zhuge, H., 11 Jan 2017, Proceedings - 2016 12th International Conference on Semantics, Knowledge and Grids, SKG 2016. Zhuge, H. & Sun, X. (eds.). Piscataway, NJ (US): IEEE, p. 90-96 7 p. 7815082

    Research output: Chapter in Book/Published conference output › Conference publication

  • Autonomic curation of crowdsourced knowledge: the case of career data management

    Patelli, A., Lewis, P. R., Wang, H., Nabney, I., Bennett, D., Lucas, R. & Coles, A., 8 Dec 2016, Proceedings : 2016 International Conference on Cloud and Autonomic Computing: co-located with the Tenth IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2016), ICCAC 2016. IEEE, p. 40-49 10 p.

    Research output: Chapter in Book/Published conference output › Conference publication

  • A variational radial basis function approximation for diffusion processes

    Vrettas, M. D., Cornford, D. & Shen, Y., 2009, ESANN 2009 proceedings, 17th European Symposium on Artificial Neural Networks - Advances in Computational Intelligence and Learning. p. 497-502 6 p.

    Research output: Chapter in Book/Published conference output › Conference publication

  • A weakly-supervised Bayesian model for violence detection from social media

    Cano, E., He, Y., Liu, K. & Zhao, J., 2013, The 6th International Joint Conference on Natural Language Processing (IJCNLP). Nagoya (JP), p. 109-117 9 p.

    Research output: Chapter in Book/Published conference output › Conference publication

  • A world full of surprises: Bayesian theory of surprise to quantify degrees of uncertainty

    Bencomo, N. & Belaggoun, A., 31 Dec 2014, Companion : proceedings of the 36th International Conference on Software Engineering. New York, NY (US): ACM, p. 460-463 4 p.

    Research output: Chapter in Book/Published conference output › Conference publication

  • Axial Generation: A Concretism-Inspired Method for Synthesizing Highly Varied Artworks

    Easton, E., Ekárt, A. & Bernardet, U., 2 Apr 2021, Artificial Intelligence in Music, Sound, Art and Design - 10th International Conference, EvoMUSART 2021, Held as Part of EvoStar 2021, Proceedings. Romero, J., Martins, T. & Rodríguez-Fernández, N. (eds.). Springer, p. 115-130 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12693 LNCS).

    Research output: Chapter in Book/Published conference output › Conference publication

  • Axiomatic Reals and Certified Efficient Exact Real Computation

    Konečný, M., Park, S. & Thies, H., 17 Nov 2021, Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Proceedings: 27th International Workshop, WoLLIC 2021. Silva, A., Wassermann, R. & de Queiroz, R. (eds.). Berlin / Heidelberg: Springer, Vol. 13038. p. 252-268 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13038 LNCS).

    Research output: Chapter in Book/Published conference output › Conference publication

    Open Access
    File

  • Bayesian artificial intelligence for tackling uncertainty in self-adaptive systems: The case of dynamic decision networks

    Bencomo, N., Belaggoun, A. & Issarny, V., 4 Nov 2013, 2013 2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE 2013 - Proceedings. p. 7-13 7 p. 6615198

    Research output: Chapter in Book/Published conference output › Conference publication

  • Bayesian training of mixture density networks

    Hjorth, L. U. & Nabney, I. T., 13 Aug 2000, Proceedings of the IEEE-INNS-ENNS International Joint Conference on Neural Networks, 2000. IJCNN 2000. Piscataway, NJ, United States: IEEE, Vol. 4. p. 455-460 6 p.

    Research output: Chapter in Book/Published conference output › Conference publication

  • BERT-Based Transformers for Early Detection of Mental Health Illnesses

    Martínez-Castaño, R., Htait, A., Azzopardi, L. & Moshfeghi, Y., 14 Sept 2021, Experimental IR Meets Multilinguality, Multimodality, and Interaction: 12th International Conference of the CLEF Association, CLEF 2021, Virtual Event, September 21–24, 2021, Proceedings. Candan, K. S., Ionescu, B., Goeuriot, L., Larsen, B., Mueller, H., Joly, A., Maistro, M., Piroi, F., Faggioli, G. & Ferro, N. (eds.). p. 189-200 (Lecture Notes in Computer Science; vol. 12880).

    Research output: Chapter in Book/Published conference output › Conference publication

    Open Access
    File

  • Bi-directional double auction for financial market simulation

    Chang, M., He, M., Ekárt, A., Luo, X. & Zhang, S., 6 May 2013, 12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013. ACM, Vol. 2. p. 1313-1314 2 p.

    Research output: Chapter in Book/Published conference output › Conference publication

  • Boosting simple projections for multi-class dimensionality reduction

    Yuan, Y. & Pang, Y., 1 Dec 2008, IEEE International Conference on Systems, Man and Cybernetics, 2008. SMC 2008. IEEE, p. 2231-2235 5 p. (IEEE international conference on systems, man, and cybernetics : conference proceedings ).

    Research output: Chapter in Book/Published conference output › Conference publication

  • Bringing a construction site into the lab: a context-relevant lab-based evaluation of a multimodal mobile application

    Lumsden, J., Kondratova, I. & Langton, N., 2006, Proceedings of 1st international workshop on Multimodal and Pervasive Services (MAPS'2006). p. 62-68 7 p.

    Research output: Chapter in Book/Published conference output › Conference publication

  • Budget-feasible Mechanism Design for Cost-Benefit Optimization in Gradual Service Procurement

    Farhadi, F., Chli, M. & Jennings, N. R., 30 May 2023, Proceedings of AAMAS 2023. IFAAMAS, Vol. 2023-May. p. 2706-2708 3 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS).

    Research output: Chapter in Book/Published conference output › Conference publication

  • Business Intelligence Solution for an SME: A Case Study.

    Raj, R., Wong, S. H. & Beaumont, A. J., 11 Nov 2016, Proceedings of the 8th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2016). SciTePress, p. 41-50 9 p.

    Research output: Chapter in Book/Published conference output › Conference publication

    Open Access
    File

  • CamSim: a distributed smart camera network simulator

    Esterle, L., Lewis, P. R., Caine, H., Yao, X. & Rinner, B., 2014, Proceedings : IEEE 7th international conference on Self-Adaptation and Self-Organizing Systems Workshops: SASOW 2013. IEEE, p. 19-20 2 p.

    Research output: Chapter in Book/Published conference output › Conference publication

    Open Access
    File

  • Can diversity amongst learners improve online object tracking?

    Nebehay, G., Chibamu, W., Lewis, P. R., Chandra, A., Pflugfelder, R. & Yao, X., 2013, Multiple classifier systems: 11th International Workshop, MCS 2013, Nanjing, China, May 15-17, 2013. Proceedings. Zhou, Z-H., Roli, F. & Kittler, J. (eds.). Berlin (DE): Springer, p. 212-223 12 p. (Lecture notes in computer science; vol. 7872).

    Research output: Chapter in Book/Published conference output › Conference publication

  • Can mean shift trackers perform better?

    Zhou, H., Schaefer, G., Yuan, Y. & Celebi, M. E., 2010, Proceedings of the 6th International Conference on Signal Image Technology and Internet Based Systems, SITIS 2010. Yetongnon, K., Chbeir, R. & Dipanda, A. (eds.). Piscataway, NJ (US): IEEE, p. 98-101 4 p.

    Research output: Chapter in Book/Published conference output › Conference publication

  • Capturing human intelligence for modelling cognitive-based clinical decision support agents

    Rezaei-Yazdi, A. & Buckingham, C. D., 19 Apr 2018, (E-pub ahead of print) Artificial Life and Intelligent Agents - Second International Symposium, ALIA 2016, Revised Selected Papers. Springer, Vol. 732. p. 105-116 12 p. (Communications in Computer and Information Science; vol. 732).

    Research output: Chapter in Book/Published conference output › Conference publication

    Open Access
    File

  • Cardiovascular risk prediction based on retinal vessel analysis using machine learning

    Fathalla, K., Ekárt, A., Seshadri, S. & Gherghel, D., 6 Feb 2017, 2016 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2016 - Conference Proceedings. IEEE, p. 880-885 6 p.

    Research output: Chapter in Book/Published conference output › Conference publication

  • Categorically speaking: reflecting AEC/FM participants' requirements in Groupware

    O'Reilly, T. D., Waugh, L. M., Kondratova, I. & Lumsden, J., 2003, Proceedings of the 5th Construction Speciality Conference of the Canadian Society for Civil Engineer s. 10 p. NRC 45833

    Research output: Chapter in Book/Published conference output › Conference publication

  • CEPBen: a benchmark for complex event processing systems

    Li, C. & Berry, R., 1 Jan 2014, Performance characterization and benchmarking: 5th TPC Technology Conference, TPCTC 2013, Trento, Italy, August 26, 2013, revised selected papers. Nambiar, R. & Poess, M. (eds.). Cham (CH): Springer, p. 125-142 18 p. (Lecture notes in computer science; vol. 8391).

    Research output: Chapter in Book/Published conference output › Conference publication

  • Certified Computation of Nondeterministic Limits

    Konečný, M., Park, S. & Thies, H., 20 May 2022, NASA Formal Methods - 14th International Symposium, NFM 2022, Proceedings: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings. Deshmukh, J. V., Havelund, K. & Perez, I. (eds.). Springer, p. 771-789 19 p. (Lecture Notes in Computer Science; vol. 13260).

    Research output: Chapter in Book/Published conference output › Conference publication

  • CHARIOT - Towards a Continuous High-Level Adaptive Runtime Integration Testbed

    Barnes, C. M., Bellman, K., Botev, J., Diaconescu, A., Esterle, L., Gruhl, C., Landauer, C., Lewis, P. R., Nelson, P. R., Stein, A., Stewart, C. & Tomforde, S., 8 Aug 2019, Proceedings - 2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems, FAS*W 2019. IEEE, p. 52-55 4 p. 8791947

    Research output: Chapter in Book/Published conference output › Conference publication

  • Classifying ovarian tumors using Bayesian multi-layer perceptrons and automatic relevance determination: A multi-center study

    Van Calster, B., Timmerman, D., Nabney, I. T., Valentin, L., Van Holsbeke, C. & Van Huffel, S., 1 Dec 2006, Annual International Conference of the IEEE Engineering in Medicine and Biology - Proceedings. IEEE, p. 5342-5345 4 p. 4029269

    Research output: Chapter in Book/Published conference output › Conference publication

  • Cloud adoption: prioritizing obstacles and obstacles resolution tactics using AHP

    Zardari, S., Bahsoon, R. & Ekárt, A., 24 Mar 2014, SAC '14 : proceedings of the 29th annual ACM Symposium on Applied Computing. New York, NY (US): ACM, p. 1013-1020 8 p.

    Research output: Chapter in Book/Published conference output › Conference publication

  • CloudMPL: a domain specific language for describing management policies for an autonomic cloud infrastructure

    Alansari, M. M., Almeida, A., Bencomo, N. & Bordbar, B., 2015, Proceedings of the 5th International Conference on Cloud Computing and Services Science. SciTePress, p. 451-462 12 p.

    Research output: Chapter in Book/Published conference output › Conference publication

    Open Access
    File

  • Co-designing a SMART diet diary application with older adults with AMD

    Hakobyan, L., Lumsden, J. & O'Sullivan, D., 9 Sept 2014, Procedings of BCS-HCI '14. BCS

    Research output: Chapter in Book/Published conference output › Conference publication

  • Coevolutionary learning of neuromodulated controllers for multi-stage and gamified tasks

    Barnes, C. M., Ekart, A., Ellefsen, K. O., Glette, K., Lewis, P. R. & Torresen, J., 15 Sept 2020, Proceedings - 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2020. El-Araby, E., Tomforde, S., Wood, T., Kumar, P., Raibulet, C., Petri, I., Valentini, G., Nelson, P. & Porter, B. (eds.). IEEE, p. 129-138 10 p. 9196458. (Proceedings - 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2020).

    Research output: Chapter in Book/Published conference output › Conference publication

  • Combining the power of AGS and XML: AGSML, the data format for the future

    Chandler, R. J., Quinn, P. M., Beaumont, A. J., Evans, D. J. & Toll, D. G., 28 Dec 2006, GeoCongress 2006: Geotechnical Engineering in the Information Technology Age. American Society of Civil Engineers (ASCE), Vol. 2006.

    Research output: Chapter in Book/Published conference output › Conference publication

  • Comparison between conventional and stochastic pinning control

    Herzallah, R. & Lowe, D., 2011, 2011 19 th Mediterranean Conference on Control and Automation (MED). IEEE, p. 730-735 6 p.

    Research output: Chapter in Book/Published conference output › Conference publication

  • Content-Based Conflict-of-Interest Detection on Wikipedia

    Orizu, U. & He, Y., 8 May 2018, The 11th International Conference on Language Resources and Evaluation (LREC). p. 166-173

    Research output: Chapter in Book/Published conference output › Conference publication

    Open Access
    File

  • Contributions to adaptable agent societies

    Simões-Marques, M., Mariano, P., Ribeiro, R., Correia, L., Chli, M., De Wilde, P., Abramov, V. & Goosenaerts, J., 3 Dec 2003, EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings . IEEE, Vol. 2. p. 354-361 8 p. (IEEE International Conference on Emerging Technologies and Factory Automation, ETFA).

    Research output: Chapter in Book/Published conference output › Conference publication

  • cPV – Simulation and Verification for Membrane Computing

    Liu, Y., Sun, J., Nicolescu, R. & Wang, H., 5 Dec 2022, Proceedings of the 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS). IEEE, p. 606-615 10 p.

    Research output: Chapter in Book/Published conference output › Conference publication