Now showing items 332-351 of 352

    • Understanding food consumption lifecycles using wearable cameras 

      Ng, Kher Hui; Shipp, Victoria; Mortier, Richard Michael; Benford, Steve; Flintham, Martin; Rodden, Tom (Springer, 2015-08-20)
      Application of design in HCI is a common approach to engendering behavioural change to address important challenges such as sustainability. Encouraging such change requires an understanding of current motivations and ...
    • Undisciplined disciples: everything you always wanted to know about ethnomethodology but were afraid to ask Yoda 

      Blackwell, Alan Frank; Blythe, M; Kaye, J (Springer, 2017-06-01)
      As computing technologies become ubiquitous in social life, social science increasingly becomes the study of those technosystems. Similarly, as technology corporations compete to design new ubicomp products, social science ...
    • Units-of-Measure Correctness in Fortran Programs 

      Contrastin, Mistral; Orchard, Dominic; Rice, Andrew; Danish, Matthew (IEEE, 2015-12-21)
      The authors argue that they can increase confidence in Fortran programs with unit annotations and CamFort units-of-measure analysis.
    • Unsupervised Timeline Generation for Wikipedia History Articles 

      Bauer, Sandro; Teufel, Simone Heidi (Association for Computational Linguistics, 2016-11-01)
      This paper presents a generic approach to content selection for creating timelines from individual history articles for which no external information about the same topic is available. This scenario is in contrast to ...
    • Using Augmented Reality to Elicit Pretend Play for Children with Autism 

      Bai, Zhen; Blackwell, Alan Frank; Coulouris, George (IEEE, 2014-12-31)
      Children with autism spectrum condition (ASC) suffer from deficits or developmental delays in symbolic thinking. In particular, they are often found lacking in pretend play during early childhood. Researchers believe that ...
    • 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 ...
    • Vision and Feature Norms: Improving automatic feature norm learning through cross-modal maps 

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

      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, 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 ...
    • 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 ...