Now showing items 155-174 of 380

    • Generalized-KFCS: Motion estimation enhanced Kalman filtered compressive sensing for video 

      Ding, Xin; Chen, Wei; Wassell, Ian James (IEEE, 2015-10-30)
      In this paper, we propose a Generalized Kalman Filtered Compressive Sensing (Generalized-KFCS) framework to reconstruct a video sequence, which relaxes the assumption of a slowly changing sparsity pattern in Kalman Filtered ...
    • A Generic Synthesisable Test Bench 

      Naylor, Matthew; Moore, Simon William (IEEE, 2015-08-13)
      Writing test benches is one of the most frequently-performed tasks in the hardware development process. The ability to reuse common test bench features is therefore key to productivity. In this paper, we present a generic ...
    • Generic to Specific Recognition Models for Membership Analysis in Group Videos 

      Mou, W; Tzelepis, C; Mezaris, V; Gunes, Hatice; Patras, I (2017-06-28)
    • Google DeepMind and healthcare in an age of algorithms 

      Powles, Julia Elizabeth; Hodson, H
      Data-driven tools and techniques, particularly machine learning methods that underpin artificial intelligence, offer promise in improving healthcare systems and services. One of the companies aspiring to pioneer these ...
    • Grammatical error correction using hybrid systems and type filtering 

      Felice, M; Yuan, Z; Andersen, ØE; Yannakoudakis, H; Kochmar, Ekaterina (Association for Computational Linguistics, 2014)
      This paper describes our submission to the CoNLL 2014 shared task on grammatical error correction using a hybrid approach, which includes both a rule-based and an SMT system augmented by a large webbased language model. ...
    • Graph Isomorphism Parameterized by Elimination Distance to Bounded Degree 

      Bulian, Jannis; Dawar, Anuj (Springer, 2015-08-04)
      A commonly studied means of parameterizing graph problems is the deletion distance from triviality [11], which counts vertices that need to be deleted from a graph to place it in some class for which e cient algorithms are ...
    • Graph Prefetching Using Data Structure Knowledge 

      Ainsworth, Sam; Jones, Timothy Martin (Association for Computing Machinery, 2016-06-01)
      Searches on large graphs are heavily memory latency bound, as a result of many high latency DRAM accesses. Due to the highly irregular nature of the access patterns involved, caches and prefetchers, both hardware and ...
    • Graph- and surface-level sentence chunking 

      Muszynska, Ewa (Association for Computational Linguistics, 2016-08-12)
      The computing cost of many NLP tasks increases faster than linearly with the length of the representation of a sentence. For parsing the representation is tokens, while for operations on syntax and semantics it will be ...
    • Group colocation behavior in technological social networks 

      Brown, C; Lathia, Neal Kiritkumar; Mascolo, Cecilia; Noulas, A; Blondel, V (PLOS, 2014-08-22)
      We analyze two large datasets from technological networks with location and social data: user location records from an online location-based social networking service, and anonymized telecommunications data from a European ...
    • Hammering towards QED 

      Blanchette, Jasmin C; Kaliszyk, Cezary; Paulson, Lawrence Charles; Urban, Josef (Alma Mater Studiorum - University of Bologna, 2016-02-03)
      This paper surveys the emerging methods to automate reasoning over large libraries developed with formal proof assistants. We call these methods hammers. They give the authors of formal proofs a strong “one-stroke” tool ...
    • HCI as an Inter-Discipline 

      Blackwell, Alan Frank (ACM, 2015-04-18)
      This paper responds to a 2014 paper by Liu et al seeking a quantifiable thematic core to CHI. As an alternative, I argue that CHI should strategically avoid the search for such a core, instead seeking its identity as a ...
    • HELIX-RC: An Architecture-Compiler Co-Design for Automatic Parallelization of Irregular Programs 

      Campanoni, Simone; Brownell, Kevin; Kanev, Svilen; Jones, Timothy M.; Wei, Gu-Yeon; Brooks, David (IEEE/ACM, 2014-06)
      Data dependences in sequential programs limit parallelization because extracted threads cannot run independently. Although thread-level speculation can avoid the need for precise dependence analysis, communication ...
    • High Dynamic Range Imaging Technology [Lecture Notes] 

      Artusi, A; Richter, T; Ebrahimi, T; Mantiuk, Rafal Konrad (2017-09-01)
      © 2017 IEEE. In this lecture note, we describe high dynamic range (HDR) imaging systems. Such systems are able to represent luminances of much larger brightness and, typically, a larger range of colors than conventional ...
    • High performance fault tolerance through predictive instruction re-execution 

      Soman, Jyothish; Jones, Timothy Martin (2018-01-02)
      Processor designers face the challenge of defect formation, leading to permanent faults, during fabrication and operation. Permanent or hard fault tolerance is an important problem in computing systems, solutions to which ...
    • The Higher-Order Prover Leo-II 

      Benzmüller, Christoph; Sultana, Nikolai; Paulson, Lawrence Charles; Theiß, Frank (Springer, 2015-09-22)
      Leo-II is an automated theorem prover for classical higher-order logic. The prover has pioneered cooperative higher-order-first-order proof automation, it has influenced the development of the TPTP THF infrastructure for ...
    • HIT'nDRIVE: patient-specific multidriver gene prioritization for precision oncology. 

      Shrestha, Raunak; Hodzic, Ermin; Sauerwald, Thomas Michael; Dao, Phuong; Wang, Kendric; Yeung, Jake; Anderson, Shawn et al. (2017-09)
    • HOO 2012 Error Recognition and Correction Shared Task: Cambridge University Submission Report 

      Kochmar, Ekaterina; Andersen, Oeistein Edvin; Briscoe, Edward John (Association for Computational Linguistics, 2012-06-01)
      Previous work on automated error recognition and correction of texts written by learners of English as a Second Language has demonstrated experimentally that training classifiers on error-annotated ESL text generally ...
    • HyPaFilter+: Enhanced Hybrid Packet Filtering using Hardware Assisted Classification and Header Space Analysis 

      Fiessler, A; Lorenz, C; Hager, S; Scheuermann, B; Moore, Andrew William (IEEE, 2017-12-01)
      Firewalls, key components for secured network in- frastructures, are faced with two different kinds of challenges: first, they must be fast enough to classify network packets at line speed, second, their packet processing ...
    • HyPaFilter: A Versatile Hybrid FPGA Packet Filter 

      Fiessler, Andreas; Hager, Sven; Scheuermann, Björn; Moore, Andrew William (Association for Computing Machinery, 2016-03-17)
      With network traffic rates continuously growing, security systems like firewalls are facing increasing challenges to process incoming packets at line speed without sacrificing protection. Accordingly, specialized hardware ...
    • Identifying Problem Statements in Scientific Text 

      Heffernan, Kevin; Teufel, S (University of Potsdam, 2016-09-13)
      In this work, we focus on the automatic identification of fine-grained problem-solution structure in scientific argumentation. We operationalise the task of finding problem formulations within scientific text in a supervised ...