Now showing items 362-380 of 380

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

      Perera, Charith; Wakenshaw, Susan; Baarslag, Tim; Haddadi, Hamed; Bandara, Arosha; Mortier, Richard Michael; Crabtree, Andy et al. (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 

      Chen, Wei; Wassell, Ian James (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 ...
    • Variational Inference for Logical Inference 

      Emerson, Guy; Copestake, Ann Alicia
    • Verified Compilation of CakeML to Multiple Machine-Code Targets 

      Fox, Anthony Charles; Myreen, MO; Tan, YK; Kumar, R (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 

      Orchard, D; Contrastin, M; Danish, M; Rice, Andrew (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 

      Gomes, Victor; Kleppmann, Martin Alexander; Mulligan, Dominic Phillip; Beresford, Alastair Richard (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 

      Paulson, Lawrence Charles (1985-01-01)
    • Vision and Feature Norms: Improving automatic feature norm learning through cross-modal maps 

      Bulat, L; Kiela, D; Clark, Stephen Christopher (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 

      Sarkar, Advait; Spott, Martin; Blackwell, Alan Frank; Jamnik, Mateja (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 

      Anderson, AJ; Kiela, Douwe; Clark, Stephen Christopher; Poesio, M (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 

      Kosinka, Jiri; Cashman, Thomas J (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. 

      Modic, David; Anderson, Ross John; Palomäki, Jussi (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 

      Granroth-Wilding, M; Clark, Stephen Christopher (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 

      Stapleton, G; Jamnik, Mateja; Shimojima, A (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 

      Georgiev, Petko; Noulas, Anastasios; Mascolo, Cecilia (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? 

      Zilberman, Noa; Grosvenor, Matthew; Popescu, Diana Andreea; Manihatty Bojan, Neelakandan; Antichi, Gianni; Wojcik, Marcin; Moore, Andrew William (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 

      Goulden, Murray; Greiffenhagen, Christian; Crowcroft, Jonathon Andrew; McAuley, Derek; Mortier, Richard Michael; Radenkovic, Milena; Sathiaseelan, Arjuna (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? 

      Grammenos, Andreas; Mascolo, Cecilia; Crowcroft, Jonathon Andrew (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 

      Lane, Nicholas D; Georgiev, Petko; Mascolo, Cecilia; Gao, Ying; Bell, Labs; University, of Cambridge; Intel, Research (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 ...