Now showing items 158-177 of 353

    • 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; IEEE, (2017)
      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 ...
    • 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 ...
    • The Impact of Geographic Distance on Online Social Interactions 

      Laniado, D; Volkovich, Y; Scellato, S; Mascolo, Cecilia; Kaltenbrunner, A
      Online social networking services entice millions of users to spend hours every day interacting with each other. The focus of this work is to explain the effect that geographic distance has on online social interactions ...
    • The Impact of Heterogeneity and Awareness in Modeling Epidemic Spreading on Multiplex Networks. 

      Scatà, M; Di Stefano, A; Liò, Pietro; La Corte, A (Nature Publishing Group, 2016-11-16)
      In the real world, dynamic processes involving human beings are not disjoint. To capture the real complexity of such dynamics, we propose a novel model of the coevolution of epidemic and awareness spreading processes on a ...
    • Improving argument overlap for proposition-based summarisation 

      Fang, Y; Teufel, S (Association for Computational Linguistics, 2016-01-01)
      We present improvements to our incremental proposition-based summariser, which is inspired by Kintsch and van Dijk's (1978) text comprehension model. Argument overlap is a central concept in this summariser. Our new model ...
    • Incentivising software updates 

      Thomas, Daniel R.; Beresford, Alastair Richard (Internet Architecture Board, 2016-06-13)
      Internet of Things devices will need software updates to fix the security vulnerabilities that are found after they are sold. Even when using development practices that make producing updates easy, there is still a cost ...
    • Information Flow Audit for PaaS clouds 

      Pasquier, Thomas FJ-M; Singh, Jatinder; Bacon, Jean Margaret; Eyers, David (IEEE, 2016-06-02)
      With the rapid increase in uptake of cloud services, issues of data management are becoming increasingly prominent. There is a clear, outstanding need for the ability for specified policy to control and track data as it ...
    • Information Flow Audit for Transparency and Compliance in the Handling of Personal Data 

      Pasquier, Thomas F. J.-M.; Eyers, David (IEEE, 2016-04-09)
      The adoption of cloud computing is increasing and its use is becoming widespread in many sectors. As the proportion of services provided using cloud computing increases, legal and regulatory issues are becoming more ...
    • Information Theory and the IrisCode 

      Daugman, John Gustav (IEEE, 2015-11-12)
      Iris recognition has legendary resistance to False Matches, and the tools of information theory can help to explain why. The concept of entropy is fundamental to understanding biometric collision avoidance. This paper ...
    • Inter-domain Networking Innovation on Steroids: Empowering IXPs with SDN Capabilities 

      Chiesa, Marco; Dietzel, Christoph; Antichi, Gianni; Bruyere, Marc; Castro, Ignacio; Gusat, Mitch; King, Thomas et al. (IEEE, 2016-10-14)
      While innovation in inter-domain routing has remained stagnant for over a decade, Internet Exchange Points (IXPs) are consolidating their role as economically advantageous interconnection points for reducing path latencies ...
    • Inter-Social-Networking: Accounting for Multiple Identities 

      Price, Dominic; McAuley, Derek; Mortier, Richard Michael; Greenhalgh, Chris; Brown, Michael; Angelopoulos, Spyros (Springer, 2015-07-19)
      We argue that the current approaches to online social networking give rise to numerous challenges regarding the management of the multiple facets of people’s digital identities within and around social networking sites ...
    • Interacting with an inferred world: the challenge of machine learning for humane computer interaction 

      Blackwell, Alan F. (Association for Computing Machinery, 2015-08-17)
      Classic theories of user interaction have been framed in relation to symbolic models of planning and problem solving, responding in part to the cognitive theories associated with AI research. However, the behavior of ...