Now showing items 131-150 of 353

    • FairCache: Introducing Fairness to ICN Caching - Technical Report 

      Wang, Liang; Tyson, G; Kangasharju, J; Crowcroft, Jonathon Andrew (IEEE, 2016-12-15)
      Caching is a core principle of information-centric networking (ICN). Many novel algorithms have been proposed for enabling ICN caching, many of which rely on collaborative principles, i.e. multiple caches interacting to ...
    • Faithful Reproduction of Network Experiments 

      Pediaditakis, Dimosthenis; Rotsos, Charalampos; Moore, Andrew William (IEEE, 2014)
      The proliferation of cloud computing has compelled the research community to rethink fundamental aspects of network systems and architectures. However, the tools commonly used to evaluate new ideas have not kept abreast ...
    • Fast Protection-Domain Crossing in the CHERI Capability-System Architecture 

      Watson, Robert Nicholas; Norton, Robert; Woodruff, Jonathan; Joannou, Alexandre; Moore, Simon William; Neumann, Peter G; Anderson, Jonathan et al. (IEEE, 2016-10-27)
      Capability Hardware Enhanced RISC Instructions (CHERI) supplement the conventional memory management unit (MMU) with instruction-set architecture (ISA) extensions that implement a capability system model in the address ...
    • Feature-based Terrain Editing From Complex Sketches 

      Tasse, Flora Ponjou; Emilien, Arnaud; Cani, Marie-Paule; Hahmann, Stefanie; Dodgson, Neil Anthony (Elsevier, 2014-09-19)
      We present a new method for first person sketch-based editing of terrain models. As in usual artistic pictures, the input sketch depicts complex silhouettes with cusps and T-junctions, which typically correspond to non-planar ...
    • Finding enthymemes in real-world texts: A feasibility study 

      Razuvayevskaya, Olesya; Teufel, Simone Heidi (IOS Press, 2017-08-17)
      Enthymeme reconstruction, i.e. the task of reformulating arguments with missing propositions, is an exciting task at the borderline of text understanding and argument interpretation. However, there is some doubt in the ...
    • Firmament: Fast, Centralized Cluster Scheduling at Scale 

      Gog, Ionel; Schwarzkopf, M; Gleave, A; Watson, Robert Nicholas; Hand, S (Usenix, 2016-11-04)
      Centralized datacenter schedulers can make high-quality placement decisions when scheduling tasks in a cluster. Today, however, high-quality placements come at the cost of high latency at scale, which degrades response ...
    • The first step in the development of text mining technology for cancer risk assessment: identifying and organizing scientific evidence in risk assessment literature 

      Korhonen, Anna-Leena; Silins, Ilona; Sun, Lin; Stenius, Ulla (2009-09-22)
      Abstract Background One of the most neglected areas of biomedical Text Mining (TM) is the development of systems based on carefully assessed user needs. We have recently investigated the user needs of an important task yet ...
    • Fixed-Parameter Tractable Distances to Sparse Graph Classes 

      Bulian, Jannis; Dawar, Anuj (Springer, 2017-09-01)
      We show that for various classes $\mathcal{C}$ of sparse graphs, and several measures of distance to such classes (such as edit distance and elimination distance), the problem of determining the distance of a given graph ...
    • FLICK: Developing and Running Application-Specific Network Services 

      Alim, Abdul; Clegg, Richard G; Mai, Luo; Rupprecht, Lukas; Seckler, Eric; Costa, Paolo; Pietzuch, Peter et al. (USENIX, 2016-06-22)
      Data centre networks are increasingly programmable, with $\textit{application-specific}$ network services proliferating, from custom load-balancers to middleboxes providing caching and aggregation. Developers must currently ...
    • Flow- and Context-Sensitive Points-to Analysis using Generalized Points-to Graphs 

      Gharat, Pritam M.; Khedker, Uday P.; Mycroft, Alan (Springer, 2016-09-10)
      Bottom-up interprocedural methods of program analysis construct summary flow functions for procedures to capture the effect of their calls and have been used effectively for many analyses. However, these methods seem ...
    • FlowR: aspect oriented programming for information flow control in ruby 

      Pasquier, Thomas FJ-M; Bacon, Jean Margaret; Shand, Brian (ACM, 2014-04-22)
      This paper reports on our experience with providing Information Flow Control (IFC) as a library. Our aim was to support the use of an unmodified Platform as a Service (PaaS) cloud infrastructure by IFC-aware web applications. ...
    • A formal proof of Cauchy’s residue theorem 

      Li, W; Paulson, Lawrence Charles (Springer, 2016-08-07)
      We present a formalization of Cauchy’s residue theorem and two of its corollaries: the argument principle and Rouché’s theorem. These results have applications to verify algorithms in computer algebra and demonstrate ...
    • Formal reasoning on qualitative models of coinfection of HIV and Tuberculosis and HAART therapy 

      Unknown author (2010-01-18)
      Abstract Background Several diseases, many of which nowadays pandemic, consist of multifactorial pathologies. Paradigmatic examples come from the immune response to pathogens, in which cases the effects of different ...
    • A Formalisation of Finite Automata using Hereditarily Finite Sets 

      Paulson, Lawrence Charles (Springer, 2015)
      Hereditarily finite (HF) set theory provides a standard universe of sets, but with no infinite sets. Its utility is demonstrated through a formalisation of the theory of regular languages and finite automata, including the ...
    • From photons to big-data applications: terminating terabits 

      Zilberman, Noa; Moore, Andrew William; Crowcroft, Jonathon Andrew (Royal Society Publishing, 2016-03-06)
      Computer architectures have entered a watershed as the quantity of network data generated by user applications exceeds the data-processing capacity of any individual computer end-system. It will become impossible to scale ...
    • Fully Automatic Analysis of Engagement and Its Relationship to Personality in Human-Robot Interactions 

      Salam, Hanan; Celiktutan, Oya; Hupont, Isabelle; Gunes, Hatice; Chetouani, Mohamed (Institute of Electrical and Electronics Engineers, 2016-09-30)
      Engagement is crucial to designing intelligent systems that can adapt to the characteristics of their users. This paper focuses on automatic analysis and classification of engagement based on humans’ and robot’s personality ...
    • Functional Distributional Semantics 

      Emerson, Guy; Copestake, Ann Alicia (The Association for Computational Linguistics, 2016-08-11)
      Vector space models have become popular in distributional semantics, despite the challenges they face in capturing various semantic phenomena. We propose a novel probabilistic framework which draws on both formal semantics ...
    • 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 ...