Now showing items 114-133 of 321

• #### FairCache: Introducing Fairness to ICN Caching - Technical Report ﻿

(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 ...

(2014)
• #### Fast Protection-Domain Crossing in the CHERI Capability-System Architecture ﻿

(2016-10-27)
• #### Feature-based Terrain Editing From Complex Sketches ﻿

(2014-09-19)
• #### Finding enthymemes in real-world texts: A feasibility study ﻿

(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 ﻿

(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 ﻿

(2009-09-22)
• #### Fixed-Parameter Tractable Distances to Sparse Graph Classes ﻿

(Springer, 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 ﻿

(2016-06-22)
• #### Flow- and Context-Sensitive Points-to Analysis using Generalized Points-to Graphs ﻿

(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 ﻿

(2014-04-22)
• #### A formal proof of Cauchy’s residue theorem ﻿

(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 ﻿

(2010-01-18)

(2015)
• #### From photons to big-data applications: terminating terabits ﻿

(2016-01-25)
• #### Fully Automatic Analysis of Engagement and Its Relationship to Personality in Human-Robot Interactions ﻿

(2016-09-30)

• #### Functional Distributional Semantics ﻿

(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 ﻿

(2015-10-30)
• #### A Generic Synthesisable Test Bench ﻿

(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 ...