Now showing items 314-328 of 328

• #### 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 ﻿

(2015-06-12)

• #### 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 ...
• #### Vision and Feature Norms: Improving automatic feature norm learning through cross-modal maps ﻿

(Association for Computational Linguistics, 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 ﻿

(2016)
© 2016 IEEE.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 ...
• #### Visually Grounded and Textual Semantic Models Differentially Decode Brain Activity Associated with Concrete and Abstract Nouns ﻿

(Association for Computational Linguistics, 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 ﻿

(2015-06-10)
• #### 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, 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 ﻿

(2014-05-16)
• #### 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 ﻿

(2016-04-06)
• #### ZOE: A Cloud-less Dialog-enabled Continuous Sensing Wearable Exploiting Heterogeneous Computation ﻿

(2015-05-18)