All Outputs (2082)

Deepening visitor engagement with museum exhibits through hand-crafted visual markers
Presentation / Conference Contribution
Ali, S., Koleva, B., Bedwell, B., & Benford, S. (2018, June). Deepening visitor engagement with museum exhibits through hand-crafted visual markers. Presented at 2018 Designing Interactive Systems Conference DIS '18, Hong Kong, China

Visual markers, in particular QR codes, have become widely adopted in museums to enable low cost interactive applications. However, visitors often do not engage with them. In this paper we explore the application of visual makers that can be designed... Read More about Deepening visitor engagement with museum exhibits through hand-crafted visual markers.

Interval type-2 intuitionistic fuzzy logic systems - A comparative evaluation
Presentation / Conference Contribution
Eyoh, I., John, R., & De Maere, G. (2018, June). Interval type-2 intuitionistic fuzzy logic systems - A comparative evaluation. Presented at 17th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2018), Cádiz, Spain

Several fuzzy modeling techniques have been employed for handling uncertainties in data. This study presents a comparative evaluation of a new class of interval type-2 fuzzy logic system (IT2FLS) namely: interval type-2 intuitionistic fuzzy logic sys... Read More about Interval type-2 intuitionistic fuzzy logic systems - A comparative evaluation.

Noise Parameter Estimation for Non-Singleton Fuzzy Logic Systems
Presentation / Conference Contribution
Pekaslan, D., Garibaldi, J. M., & Wagner, C. (2018, October). Noise Parameter Estimation for Non-Singleton Fuzzy Logic Systems. Presented at 2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC), Miyazaki, Japan

Real-world environments face a wide range of noise (uncertainty) sources and gaining insight into the level of noise is a critical part of many applications. While Non-Singleton Fuzzy Logic Systems (NSFLSs), in particular recently introduced advanced... Read More about Noise Parameter Estimation for Non-Singleton Fuzzy Logic Systems.

Towards Better Understanding the Challenges of Reliable and Trust-Aware Critical Communications in the Aftermath of Disaster
Presentation / Conference Contribution
Radenkovic, M., Walker, A., & Bai, L. (2018, June). Towards Better Understanding the Challenges of Reliable and Trust-Aware Critical Communications in the Aftermath of Disaster. Presented at 2018 14th International Wireless Communications and Mobile Computing Conference, IWCMC 2018, Limassol, Cyprus

This paper seeks to better understand the highly multi-dimensional, multi-faceted challenges of meeting trust and reliability requirements in critical, disaster aftermath communication networks comprising heterogeneous groups of sensor equipped nodes... Read More about Towards Better Understanding the Challenges of Reliable and Trust-Aware Critical Communications in the Aftermath of Disaster.

Explicating the challenges of providing novel media experiences driven by user personal data
Presentation / Conference Contribution
Sailaja, N., Crabtree, A., McAuley, D., & Stenton, P. (2018, June). Explicating the challenges of providing novel media experiences driven by user personal data. Presented at ACM International Conference on Interactive Experiences for Television and Online Video, Seoul, Republic of Korea

The turn towards personal data to drive novel media experiences has resulted in a shift in the priorities and challenges associated with media creation and dissemination. This paper takes up the challenge of explicating this novel and dynamic scenari... Read More about Explicating the challenges of providing novel media experiences driven by user personal data.

Parametric polymorphism and operational improvement
Presentation / Conference Contribution
Hackett, J., & Hutton, G. Parametric polymorphism and operational improvement. Presented at 23rd ACM SIGPLAN International Conference on Functional Programming, St. Louis, Missouri, United States

Parametricity, in both operational and denotational forms, has long been a useful tool for reasoning about program correctness. However, there is as yet no comparable technique for reasoning about program improvement, that is, when one program uses f... Read More about Parametric polymorphism and operational improvement.

Noise Invariant Frame Selection: A Simple Method to Address the Background Noise Problem for Text-independent Speaker Verification
Presentation / Conference Contribution
Song, S., Zhang, S., Schuller, B. W., Shen, L., & Valstar, M. (2018, July). Noise Invariant Frame Selection: A Simple Method to Address the Background Noise Problem for Text-independent Speaker Verification. Presented at International Joint Conference on Neural Networks 2018, Rio de Janeiro, Brazil

The performance of speaker-related systems usually degrades heavily in practical applications largely due to the presence of background noise. To improve the robustness of such systems in unknown noisy environments, this paper proposes a simple pre-p... Read More about Noise Invariant Frame Selection: A Simple Method to Address the Background Noise Problem for Text-independent Speaker Verification.

Resource logics with a diminishing resource: extended abstract
Presentation / Conference Contribution
Alechina, N., & Logan, B. (2018, July). Resource logics with a diminishing resource: extended abstract. Presented at 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018), Stockholm, Sweden

Model-checking resource logics with production and consumption of resources is a computationally hard and often undecidable problem. We show that it is more feasible under the assumption that there is at least one diminishing resource, that is, a res... Read More about Resource logics with a diminishing resource: extended abstract.

Incentive-compatible mechanisms for norm monitoring in open multi-agent systems (Extended abstract)
Presentation / Conference Contribution
Alechina, N., Halpern, J. Y., Kash, I. A., & Logan, B. (2018, July). Incentive-compatible mechanisms for norm monitoring in open multi-agent systems (Extended abstract). Presented at 27th International Joint Conference on Artificial Intelligence (IJCAI 2018), Stockholm, Sweden

We consider the problem of detecting norm violations in open multi-agent systems (MAS). In this extended abstract, we outline the approach of [Alechina et al., 2018], and show how, using ideas from scrip systems, we can design mecha... Read More about Incentive-compatible mechanisms for norm monitoring in open multi-agent systems (Extended abstract).

Meta Models for Real-Time Design Assessment Within an Integrated Information and Numerical Modelling Framework
Presentation / Conference Contribution
Ninic, J., Koch, C., & Tizani, W. (2018, June). Meta Models for Real-Time Design Assessment Within an Integrated Information and Numerical Modelling Framework. Presented at 25th EG-ICE International Workshop 2018, Lausanne, Switzerland

© Springer International Publishing AG, part of Springer Nature 2018. In situations where rapid decisions are required or a large number of design alternatives is to be explored, numerical predictions of construction processes have to be performed in... Read More about Meta Models for Real-Time Design Assessment Within an Integrated Information and Numerical Modelling Framework.

The Coinductive Formulation of Common Knowledge
Presentation / Conference Contribution
Baston, C., & Capretta, V. (2018, October). The Coinductive Formulation of Common Knowledge. Presented at ITP 2018 - Interactive Theorem Proving, Oxford, United Kingdom

© 2018, Springer International Publishing AG, part of Springer Nature. We study the coinductive formulation of common knowledge in type theory. We formalise both the traditional relational semantics and an operator semantics, similar in form to the e... Read More about The Coinductive Formulation of Common Knowledge.

ScoutWav: Two-Step Fine-Tuning on Self-Supervised Automatic Speech Recognition for Low-Resource Environments
Presentation / Conference Contribution
Fatehi, K., Torres, M. T., & Kucukyilmaz, A. (2022, September). ScoutWav: Two-Step Fine-Tuning on Self-Supervised Automatic Speech Recognition for Low-Resource Environments. Presented at Interspeech 2022, Incheon, Korea

Recent improvements in Automatic Speech Recognition (ASR) systems obtain extraordinary results. However, there are specific domains where training data can be either limited or not representative enough, which are known as Low-Resource Environments (... Read More about ScoutWav: Two-Step Fine-Tuning on Self-Supervised Automatic Speech Recognition for Low-Resource Environments.

A landscape of design: Interaction, interpretation and the development of experimental expressive interfaces
Presentation / Conference Contribution
Chamberlain, A., Bødker, M., De Roure, D., Willcox, P., Emsley, I., & Malizia, A. (2018, July). A landscape of design: Interaction, interpretation and the development of experimental expressive interfaces. Presented at HCI: International Conference on Human-Computer Interaction, Las Vegas, Nevada, USA

© Springer International Publishing AG, part of Springer Nature 2018. This short paper presents the initial research insights of an ongoing research project that focuses upon understanding the role of landscape, its use as a resource for designing in... Read More about A landscape of design: Interaction, interpretation and the development of experimental expressive interfaces.

Accountable artefacts: The case of the Carolan Guitar
Presentation / Conference Contribution
Benford, S., Hazzard, A., Chamberlain, A., Glover, K., Greenhalgh, C., Xu, L., Hoare, M., & Darzentas, D. (2016, May). Accountable artefacts: The case of the Carolan Guitar. Presented at CHI'16: CHI Conference on Human Factors in Computing Systems, San Jose, California, USA

We explore how physical artefacts can be connected to digital records of where they have been, who they have encountered and what has happened to them, and how this can enhance their meaning and utility. We describe how a travelling technology probe... Read More about Accountable artefacts: The case of the Carolan Guitar.

Embeddedness and sequentiality in social media
Presentation / Conference Contribution
Reeves, S., & Brown, B. (2016, February). Embeddedness and sequentiality in social media. Presented at 19th ACM Conference on Computer-Supported Cooperative Work and Social Computing, San Francisco, California

Over the last decade, there has been an explosion of work around social media within CSCW. A range of perspectives have been applied to the use of social media, which we characterise as aggregate, actor-focussed or a combination. We outline the oppor... Read More about Embeddedness and sequentiality in social media.

Constructions with Non-Recursive Higher Inductive Types
Presentation / Conference Contribution
Kraus, N. (2016, July). Constructions with Non-Recursive Higher Inductive Types. Presented at LICS '16: 31st Annual ACM/IEEE Symposium on Logic in Computer Science, New York NY USA

© 2016 ACM. Higher inductive types (HITs) in homotopy type theory are a powerful generalization of inductive types. Not only can they have ordinary constructors to define elements, but also higher constructors to define equalities (paths). We say tha... Read More about Constructions with Non-Recursive Higher Inductive Types.

#Scanners: Exploring the Control of Adaptive Films using Brain-Computer Interaction
Presentation / Conference Contribution
Pike, M., Ramchurn, R., Benford, S., & Wilson, M. L. (2016, May). #Scanners: Exploring the Control of Adaptive Films using Brain-Computer Interaction. Presented at CHI'16: CHI Conference on Human Factors in Computing Systems, San Jose, California, USA

This paper explores the design space of bio-responsive entertainment, in this case using a film that responds to the brain and blink data of users. A film was created with four parallel channels of footage, where blinking and levels of attention and... Read More about #Scanners: Exploring the Control of Adaptive Films using Brain-Computer Interaction.

TRIC-track: tracking by regression with incrementally learned cascades
Presentation / Conference Contribution
Wang, X., Valstar, M. F., Martinez, B., Khan, M. H., & Pridmore, T. (2015, December). TRIC-track: tracking by regression with incrementally learned cascades. Presented at 2015 IEEE International Conference on Computer Vision (ICCV), Santiago, Chile

This paper proposes a novel approach to part-based track- ing by replacing local matching of an appearance model by direct prediction of the displacement between local image patches and part locations. We propose to use cascaded regression with incre... Read More about TRIC-track: tracking by regression with incrementally learned cascades.

Programs for cheap!
Presentation / Conference Contribution
Hackett, J., & Hutton, G. (2015, July). Programs for cheap!. Presented at Thirtieth Annual ACM/IEEE Symposium on Logic in Computer Science, Kyoto, Japan

Write down the definition of a recursion operator on a piece of paper. Tell me its type, but be careful not to let me see the operator’s definition. I will tell you an optimization theorem that the operator satisfies. As an added bonus, I will also g... Read More about Programs for cheap!.

Provenance for the people: an HCI perspective on the W3C PROV standard through an online game
Presentation / Conference Contribution
Bachour, K., Wetzel, R., Flintham, M., Huynh, T. D., Rodden, T. A., & Moreau, L. (2015, April). Provenance for the people: an HCI perspective on the W3C PROV standard through an online game. Presented at 33rd Annual ACM Conference on Human Factors in Computing Systems (CHI'15), Seoul, Republic of Korea

In the information age, tools for examining the validity of data are invaluable. Provenance is one such tool, and the PROV model proposed by the World Wide Web Consortium in 2013 offers a means of expressing provenance in a machine readable format. I... Read More about Provenance for the people: an HCI perspective on the W3C PROV standard through an online game.