Now showing items 362-380 of 380

• #### Valorising the IoT $\textit{Databox}$: Creating Value for Everyone ﻿

(Wiley, 2016-11-11)
The Internet of Things (IoT) is expected to generate large amounts of heterogeneous data from diverse sources including physical sensors, user devices, and social media platforms. Over the last few years, significant ...
• #### Variational Bayesian Algorithm For Distributed Compressive Sensing ﻿

(IEEE, 2015-06-12)
Distributed compressive sensing (DCS) concerns the reconstruction of multiple sensor signals with reduced numbers of measurements, which exploits both intra- and inter-signal correlations. In this paper, we propose a novel ...

• #### Verified Compilation of CakeML to Multiple Machine-Code Targets ﻿

(ACM, 2017-01-16)
This paper describes how the latest CakeML compiler supports verified compilation down to multiple realistically modelled target architectures. In particular, we describe how the compiler definition, the various language ...
• #### Verifying Spatial Properties of Array Computations ﻿

(ACM, 2017-10)
Arrays computations are at the core of numerical modelling and computational science applications. However, low-level manipulation of array indices is a source of program error. Many practitioners are aware of the need to ...
• #### Verifying strong eventual consistency in distributed systems ﻿

(2017-10-12)
Data replication is used in distributed systems to maintain up-to-date copies of shared data across multiple computers in a network. However, despite decades of research, algorithms for achieving consistency in replicated ...
• #### Verifying the unification algorithm in LCF ﻿

(1985-01-01)
• #### Vision and Feature Norms: Improving automatic feature norm learning through cross-modal maps ﻿

(Association for Computational Linguistics, 2016-06-17)
Property norms have the potential to aid a wide range of semantic tasks, provided that they can be obtained for large numbers of concepts. Recent work has focused on text as the main source of information for automatic ...
• #### Visual discovery and model-driven explanation of time series patterns ﻿

(IEEE, 2016)
Gatherminer is an interactive visual tool for analysing time series data with two key strengths. First, it facilitates bottom-up analysis, i.e., the detection of trends and patterns whose shapes are not known beforehand. ...
• #### Visually Grounded and Textual Semantic Models Differentially Decode Brain Activity Associated with Concrete and Abstract Nouns ﻿

(Association for Computational Linguistics, 2017-01-01)
Important advances have recently been made using computational semantic models to decode brain activity patterns associated with concepts; however, this work has almost exclusively focused on concrete nouns. How well ...
• #### Watertight conversion of trimmed CAD surfaces to Clough-Tocher splines ﻿

(Elsevier, 2015-06-10)
The boundary representations (B-reps) that are used to represent shape in Computer-Aided Design systems create unavoidable gaps at the face boundaries of a model. Although these inconsistencies can be kept below the scale ...
• #### We will make you like our research: The development of a susceptibility-to-persuasion scale. ﻿

(Public Library of Science (PLoS), 2018-01)
Psychological and other persuasive mechanisms across diverse contexts are well researched, with many studies of the effectiveness of specific persuasive techniques on distinct types of human behaviour. In the present paper, ...
• #### What Happens Next? Event Prediction Using a Compositional Neural Network Model ﻿

(Association for the Advancement of Artificial Intelligence, 2016-02-12)
We address the problem of automatically acquiring knowledge of event sequences from text, with the aim of providing a predictive model for use in narrative generation systems. We present a neural network model that ...
• #### What Makes an Effective Representation of Information: A Formal Account of Observational Advantages ﻿

(Springer, 2017-06-01)
In order to effectively communicate information, the choice of representation is important. Ideally, a chosen representation will aid readers in making desired inferences. In this paper, we develop the theory of observation: ...
• #### Where Businesses Thrive: Predicting the Impact of the Olympic Games on Local Retailers through Location-based Services Data ﻿

(AAAI, 2014-05-16)
The Olympic Games are an important sporting event with notable consequences for the general economic landscape of the host city. Traditional economic assessments focus on the aggregated impact of the event on the national ...
• #### Where Has My Time Gone? ﻿

(Springer, 2017-02-17)
Time matters. In a networked world, we would like mobile devices to provide a crisp user experience and applications to instantaneously return results. Unfortunately, application performance does not depend solely on ...
• #### Wild Interdisciplinarity: Ethnography and Computer Science ﻿

(Taylor & Francis, 2016)
Drawing on the experiences of a novel collaborative project between sociologists and computer scientists, this paper identifies a set of challenges for fieldwork that are generated by this wild interdisciplinarity. Public ...
• #### You Are Sensing, but Are You Biased? ﻿

(Association for Computing Machinery, 2018-03-26)
Mobile devices are becoming pervasive to our daily lives: they follow us everywhere and we use them for much more than just communication. These devices are also equipped with a myriad of different sensors that have the ...
• #### ZOE: A Cloud-less Dialog-enabled Continuous Sensing Wearable Exploiting Heterogeneous Computation ﻿

(ACM, 2015-05-18)
The wearable revolution, as a mass-market phenomenon, has finally arrived. As a result, the question of how wearables should evolve over the next 5 to 10 years is assuming an increasing level of societal and commercial ...