Outputs (150)

The automatic detection of chronic pain-related expression: requirements, challenges and a multimodal dataset (2015)
Journal Article
Aung, M. S., Kaltwang, S., Romera-Paredes, B., Martinez, B., Singh, A., Cella, M., Valstar, M. F., Meng, H., Kemp, A., Shafizadeh, M., Elkins, A., Kanakam, N., Rothschild, A. D., Tyler, N., Watson, P. J., Williams, A. C. D. C., Pantic, M., & Bianchi-Berthouze, N. (2015). The automatic detection of chronic pain-related expression: requirements, challenges and a multimodal dataset. IEEE Transactions on Affective Computing, 99, https://doi.org/10.1109/TAFFC.2015.2462830

Pain-related emotions are a major barrier to effective self rehabilitation in chronic pain. Automated coaching systems capable of detecting these emotions are a potential solution. This paper lays the foundation for the development of such systems by... Read More about The automatic detection of chronic pain-related expression: requirements, challenges and a multimodal dataset.

Automatic detection of protected health information from clinic narratives (2015)
Journal Article
Yang, H., & Garibaldi, J. M. (2015). Automatic detection of protected health information from clinic narratives. Journal of Biomedical Informatics, 58(Suppl.), S30-S38. https://doi.org/10.1016/j.jbi.2015.06.015

This paper presents a natural language processing (NLP) system that was designed to participate in the 2014 i2b2 de-identification challenge. The challenge task aims to identify and classify seven main Protected Health Information (PHI) categories an... Read More about Automatic detection of protected health information from clinic narratives.

On the boundary of (un)decidability: decidable model-checking for a fragment of resource agent logic (2015)
Presentation / Conference Contribution
Alechina, N., Bulling, N., Logan, B., & Nguyen, H. N. On the boundary of (un)decidability: decidable model-checking for a fragment of resource agent logic. Presented at International Joint Conference on Artificial Intelligence (IJCAI-15)

The model-checking problem for Resource Agent Logic is known to be undecidable. We review existing (un)decidability results and identify a significant fragment of the logic for which model checking is decidable. We discuss aspects which makes model c... Read More about On the boundary of (un)decidability: decidable model-checking for a fragment of resource agent logic.

Agile Planning for Real-World Disaster Response (2015)
Presentation / Conference Contribution
Wu, F., Ramchurn, S. D., Jiang, W., Fischer, J. E., Rodden, T., & Jennings, N. R. (2015, July). Agile Planning for Real-World Disaster Response. Presented at International Joint Conference on Artificial Intelligence (IJCAI-15), Buenos Aires, Argentina

We consider a setting where an agent-based planner instructs teams of human emergency responders to perform tasks in the real world. Due to uncertainty in the environment and the inability of the planner to consider all human preferences and all attr... Read More about Agile Planning for Real-World Disaster Response.

Symbolic model checking for one-resource RB+-ATL (2015)
Presentation / Conference Contribution
Alechina, N., Logan, B., Nguyen, H. N., & Raimondi, F. (2015, July). Symbolic model checking for one-resource RB+-ATL. Presented at Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina

RB+-ATL is an extension of ATL where it is possible to model consumption and production of several resources by a set of agents. The modelchecking problem for RB+-ATL is known to be decidable. However the only available model checking algorithm for R... Read More about Symbolic model checking for one-resource RB+-ATL.

Ethics considerations for Corpus Linguistic studies using internet resources (2015)
Presentation / Conference Contribution
Koene, A., Adolphs, S., Perez, E., Carter, C. J., Statache, R., O'Malley, C., Rodden, T., & McAuley, D. (2015, July). Ethics considerations for Corpus Linguistic studies using internet resources. Presented at Corpus Linguistics 2015, Lancaster, UK

With the rising popularity of public and semi-public communication channels such as Blogs (late 1990s), Wikipedia (launched in 2001), Facebook (launched in 2004), Reddit (from 2005) and Twitter (from 2006), the Internet has become an increasingly fer... Read More about Ethics considerations for Corpus Linguistic studies using internet resources.

Navigating in large hospitals (2015)
Presentation / Conference Contribution
Hughes, N., Pinchin, J., Brown, M., & Shaw, D. E. Navigating in large hospitals. Presented at 6th International Conference on Indoor Positioning and Indoor Navigation

Navigating around large hospitals can be a stressful and time-consuming experience for all users of the hospital infrastructure. Navigation difficulties encountered by patients and visitors can result in missed appointments or simply create a poor im... Read More about Navigating in large hospitals.

A Modified Ant Colony Optimization Algorithm for Network Coding Resource Minimization (2015)
Journal Article
Wang, Z., Xing, H., Li, T., Yang, Y., Qu, R., & Pan, Y. (2016). A Modified Ant Colony Optimization Algorithm for Network Coding Resource Minimization. IEEE Transactions on Evolutionary Computation, 20(3), 325-342. https://doi.org/10.1109/TEVC.2015.2457437

The paper presents a modified ant colony optimization approach for the network coding resource minimization problem. It is featured with several attractive mechanisms specially devised for solving the network coding resource minimization problem: 1)... Read More about A Modified Ant Colony Optimization Algorithm for Network Coding Resource Minimization.

Analysis of objectives relationships in multiobjective problems using trade-off region maps (2015)
Presentation / Conference Contribution
Pinheiro, R. L., Landa-Silva, D., & Atkin, J. Analysis of objectives relationships in multiobjective problems using trade-off region maps. Presented at Proceedings of the 2015 Genetic and Evolutionary Computation Conference (GECCO 2015)

Understanding the relationships between objectives in many-objective optimisation problems is desirable in order to develop more effective algorithms. We propose a techniquefor the analysis and visualisation of complex relationships between many (thr... Read More about Analysis of objectives relationships in multiobjective problems using trade-off region maps.

HABIT: Horse Automated Behaviour Identification Tool: a position paper (2015)
Presentation / Conference Contribution
North, S., Hall, C., Roshier, A., & Mancini, C. HABIT: Horse Automated Behaviour Identification Tool: a position paper. Presented at ACI@BHCI (Animal Computer Interaction Workshop), British HCI 2015

HABIT (Horse Automated Behaviour Identification Tool) is an Animal Computer Interaction (ACI) project, on the interdisciplinary boundary between equitation science and computer science. HABIT will automate the analysis and recognition of horse-to-hor... Read More about HABIT: Horse Automated Behaviour Identification Tool: a position paper.