All Outputs (11)

Software Fault Localisation via Probabilistic Modelling (2020)
Conference Proceeding
Johnson, C. (2020). Software Fault Localisation via Probabilistic Modelling. In Artificial Intelligence XXXVII: 40th SGAI International Conference on Artificial Intelligence, AI 2020, Cambridge, UK, December 15–17, 2020: Proceedings (259-272). https://doi.org/10.1007/978-3-030-63799-6_20

Software development is a complex activity requiring intelligent action. This paper explores the use of an AI technique for one step in software development, viz. detecting the location of a fault in a program. A measure of program progress is propos... Read More about Software Fault Localisation via Probabilistic Modelling.

Further Exploration of Necrotic Control of Evolved Art (2020)
Conference Proceeding
Ashlock, D., & Greensmith, J. (2020). Further Exploration of Necrotic Control of Evolved Art. In Proceedings - 2020 IEEE Symposium Series on Computational Intelligence (SSCI) (2957-2964). https://doi.org/10.1109/SSCI47803.2020.9308363

This study is the second in investigating the use of necrosis based filtration as a method of steering evolutionary algorithms to create evolved art. We use a technique inspired by the danger theory of immune system activation - a method employed in... Read More about Further Exploration of Necrotic Control of Evolved Art.

From sharing to gifting: A web app for deepening engagement (2020)
Conference Proceeding
Adams, M., Spence, J., Clark, S., Farr, J. R., Benford, S., & Tandavanitj, N. (2020). From sharing to gifting: A web app for deepening engagement. In EVA London 2020: Electronic Visualisation & the Arts. , (48-49). https://doi.org/10.14236/ewic/EVA2020.7

Visitors currently use social media to share their experiences in museums, but these interactions are often short, quick and superficial. Is it possible to transform the impulse to share into an act of generosity, deepening engagement with museum col... Read More about From sharing to gifting: A web app for deepening engagement.

Necrotic Control of the Aesthetics of Evolved Art (2020)
Conference Proceeding
Ashlock, D., & Greensmith, J. (2020). Necrotic Control of the Aesthetics of Evolved Art. In 2020 IEEE Congress on Evolutionary Computation (CEC): conference proceedings (1-8). https://doi.org/10.1109/CEC48606.2020.9185654

This study uses necrosis, a technique from the domain of artificial immune systems, to control the evolution of apoptotic cellular automata. These automata generate complex images that require a very small amount of initial data. The genes that yield... Read More about Necrotic Control of the Aesthetics of Evolved Art.

BDI Agent Architectures: A Survey (2020)
Conference Proceeding
de Silva, L., Meneguzzi, F., & Logan, B. (2020). BDI Agent Architectures: A Survey. In C. Bessiere (Ed.), Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence. , (4914-4921). https://doi.org/10.24963/ijcai.2020/684

What Can I Say?: Effects of Discoverability in VUIs on Task Performance and User Experience (2020)
Conference Proceeding
Kirschthaler, P., Porcheron, M., & Fischer, J. E. (2020). What Can I Say?: Effects of Discoverability in VUIs on Task Performance and User Experience. In CUI '20: Proceedings of the 2nd Conference on Conversational User Interfaces (1–9). https://doi.org/10.1145/3405755.3406119

Discoverability, the ability for users to find and execute features through a user interface, is a recurrent problem with Voice User Interface (VUI) design that makes it difficult for users to understand what commands are supported by a newly encount... Read More about What Can I Say?: Effects of Discoverability in VUIs on Task Performance and User Experience.

VRtefacts: Performative Substitutional Reality with Museum Objects (2020)
Conference Proceeding
Spence, J., Darzentas, D. P., Huang, Y., Cameron, H. R., Beestin, E., & Benford, S. (2020). VRtefacts: Performative Substitutional Reality with Museum Objects. In DIS '20: Proceedings of the 2020 ACM Designing Interactive Systems Conference (627-640). https://doi.org/10.1145/3357236.3395459

We explore how a combination of manipulations and transitions can extend Substitutional Reality to create a highly personal Virtual Reality experience. Our design aimed to meet two challenges faced by museums: the limitations of object handling and t... Read More about VRtefacts: Performative Substitutional Reality with Museum Objects.

Performance and Interpretability in Fuzzy Logic Systems – can we have both? (2020)
Conference Proceeding
Pekaslan, D., Chen, C., Wagner, C., & Garibaldi, J. M. (2020). Performance and Interpretability in Fuzzy Logic Systems – can we have both?.

Fuzzy Logic Systems can provide a good level of interpretability and may provide a key building block as part of a growing interest in explainable AI. In practice, the level of interpretability of a given fuzzy logic system is dependent on how well i... Read More about Performance and Interpretability in Fuzzy Logic Systems – can we have both?.

Coherence via Well-Foundedness: Taming Set-Quotients in Homotopy Type Theory (2020)
Conference Proceeding
Kraus, N., & Von Raumer, J. (2020). Coherence via Well-Foundedness: Taming Set-Quotients in Homotopy Type Theory. In LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (662-675). https://doi.org/10.1145/3373718.3394800

Suppose we are given a graph and want to show a property for all its cycles (closed chains). Induction on the length of cycles does not work since sub-chains of a cycle are not necessarily closed. This paper derives a principle reminiscent of inducti... Read More about Coherence via Well-Foundedness: Taming Set-Quotients in Homotopy Type Theory.

Soma Design and Sensory Misalignment (2020)
Conference Proceeding
Tennent, P., Marshall, J., Tsaknaki, V., Windlin, C., Höök, K., & Alfaras, M. (2020). Soma Design and Sensory Misalignment. In CHI '20: Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems (1-12). https://doi.org/10.1145/3313831.3376812

We report on a workshop bringing together researchers working in soma design and sensory misalignment. Creating experiences that make use of sensory misalignment has become increasingly common, often associated with virtual reality research. However,... Read More about Soma Design and Sensory Misalignment.

The Goods and Bads in Dyadic Co-Manipulation: Identifying Conflict-Driven Interaction Behaviours in Human-Human Collaboration (2020)
Conference Proceeding
Issak, I., & Kucukyilmaz, A. (2020). The Goods and Bads in Dyadic Co-Manipulation: Identifying Conflict-Driven Interaction Behaviours in Human-Human Collaboration. In UKRAS20 Conference: “Robots into the real world”: proceedings: UKRAS20 Conference Proceedings: 17th April 2020 (37-39). https://doi.org/10.31256/Fv3Gn1L

One of the challenges in collaborative human-robot object transfer is the robot’s ability to infer about the interaction state and adapt to it in real time. During joint object transfer humans communicate about the interaction states through mul- tip... Read More about The Goods and Bads in Dyadic Co-Manipulation: Identifying Conflict-Driven Interaction Behaviours in Human-Human Collaboration.