Research Publications
All Conference Paper | |
| Narrow your search | 3163 result(s) |
By Type By Year By Research Group
| Learning Objective and Outcome: Attendees will receive an overview of recent criticisms of forensic identification; be updated on the findings of and rationale behind recent studies of expertise in fingerprint identification; and understand the ... ..., to simplify reasoning and increase its robustness against later tweaks to the program's implementation. In this short paper we introduce extensible specifications, a technique for writing specifications that allows properties to be proved at the ... ... that the implementation of any particular general-purpose kernel enforces this property is yet to be achieved. In this paper we take a significant step towards this vision by presenting a machine-checked formulation of intransitive noninterference for OS ... ... context, such as switching from a walking to a stair climbing activity gives clues about pedestrian’s current position. In this paper, we have made a first attempt in developing a performance model for such systems. For an unbiased random walk, we have... In this paper an efficient energy curtailment scheme is studied, which enables the power users of a smart grid network to decide on the reduction in energy supplied to them in the event of a power outage in the system. Considering the advantages of a ... ...}) and noisy strings (\ex{tmrw}), potentially hampering prediction and leading to slower/more memory-intensive models. In this paper, we focus on finding location indicative words (LIWs) via feature selection, and establishing whether the reduced ... ... the original problem has been solved, hence enhancing their prospects of solving their particular problem. In this paper, we investigate the task of \solve classification by exploiting the discourse structure of forum threads. Experimental ... We present a novel top modelling-based methodology to track emerging events in microblogs such as Twitter. Our topic model has an in-built update mechanism based on time slices and implements a dynamic vocabulary. We first show that the method is... Automatically extracting terminology and index terms from scientific literature is useful for a variety of digital library, indexing and search applications. This task is non-trivial, complicated by domain-specific terminology and a steady ... Statistical learning and sequential prediction are two different but related formalisms to study the quality of predictions. Mapping out their relations and transferring ideas is an active area of investigation. We provide another piece of the puzzle ... ..., PMTUD). Unfortunately it is common to see ICMP malfunctions, thereby causing various levels of problems. The contributions of this paper are threefold. We first introduce a taxonomy of the way routers process ICMP, which is of great help to understand ... In this paper, our main concern is to study the influence of the number of edges on the convergence rate and the total communication cost in distributed average consensus problems. We begin with the case of regular networks, i.e. networks for which the... We present a new formulation for attacking binary classification problems. Instead of relying on convex losses and regularisers such as in SVMs, logistic regression and boosting, or instead non-convex but continuous formulations such as those encountered ... Partially ordered plans have several useful properties, such as exhibiting the structure of the plan more clearly which facilitates post-plan generation tasks like scheduling the plan, explaining it to a user, or breaking it into subplans for ... We consider an isotropic gradient model for the regularization terms in a multi-label MRF lattice. The isotropic gradient is modeled by considering 3-cliques in an 8-connected lattice. Of interest here are iterative move algorithms like alpha-expansion ... ... simplified protein structure prediction, genetic algorithms have not been applied to 3-dimensional face-centred cubic lattice. In this paper, we present a new genetic algorithm for protein structure prediction problem using face-centred cubic lattice and ... ... for SAT. Observing that variables are flipped several times in an attempt to escape from a local minimum, this paper presents a duplication learning mechanism in stagnation stages to minimise duplicative variable flipping. The heuristic incorporates the ... ... to separate requirement-related contract elements from specification-related elements and integrate them into the overall API design. In this paper, we present a novel approach to designing service platform APIs in order to achieve high evolvability. We ... ... (EBM). The partaking groups demonstrated strong participation this year, outperforming our proposed baseline systems. In this overview paper we explain the process of building the baseline classifiers and data set and present the outcome of the final... Local Search approaches to constraint satisfaction are based on the ability to compute violation scores. These estimate ’how far’ a given assignment is from satisfying the constraints, and aim at guiding the search towards assignments whose violation will... We study propagation of a global constraint that ensures that each row of a matrix of decision variables satisfies a Regular constraint, and each column satisfies a Gcc constraint. On the negative side, we prove that propagation is NP-hard even under some... ... in saturated traffic scenarios and provides a native measure of the quality of (end-to-end) network connections. In this paper, we explore the use of probabilistic connectivity matrix as a possible tool to measure the quality of network connectivity. ... In this paper, we propose a novel extension to the Class-specific Hough Forest (CHF) framework for object detection and localization. Our approach utilizes depth information during training to build a more discriminative codebook which simultaneously ... ..., distortions in shape and colour make the re-identification task difficult and uncertain for both machine and human. In this paper, we propose a new approach to address the uncertainty in low resolution images for person re-identification by using ... ... feature to MFCC for robust speech recognition. The objective of this paper is to investigate the speaker verification performance of PNCC features with ...), using a mixture of ℓ1 and ℓ2 norms. The paper also explores the score level fusion of both MFCC and ... Partially-observable Markov decision processes (POMDPs) provide a powerful model for real-world sequential decision-making problems. In recent years, point- based value iteration methods have proven to be extremely effective techniques for finding (... We strengthen recent connections between prediction markets and learning by showing that a natural class of market makers can be understood as performing stochastic mirror descent when trader demands are sequentially drawn from a fixed distribution. This ... We propose a quick and widely applicable approach for converting biometric identification match scores to probabilistic confidence scores, resulting in increased discrimination accuracy. This approach builds on a confidence scoring approach for ... Dynamic contrast enhanced magnetic resonance imaging (DCE-MRI) is a sensitive tool used for the detection of breast cancer. Automated segmentation of breast lesions in DCE-MR images is challenging due to the inherent low signalto- noise ratios and ... ...findings tend to be limited to very narrow domains and global solutions and results are lacking. The aim of this paper is to take steps towards establishing an international electronic repository and virtual laboratory of open data and open-source code for... ... studies in environmental science is the geographic region in which the study took place (the ``study region''). In this paper, we apply support vector machines to the automatic classification of study region in a dataset of titles and abstracts from ... ... protocols are designed with multiple features and parameters to effectively discover routes and to quickly detect link breaks. In this paper, we compare the performance of four popular routing protocols, AODV, DYMO, OLSR and HWMP, in terms of the ... We present a method to estimate word use similarity independent of an external sense inventory. This method utilizes a topic-modelling approach to compute the similarity in usage of a single word across a pair of sentences, and we evaluate our ... Reliable in-order multi-path data transfer under asymmetric heterogeneous network conditions has known prob- lems related to receiver's buffer blocking, caused by out of order packet arrival. Consequently, the aggregate capacity from multiple paths, which... In systems verification we are often concerned with multiple, inter-dependent properties that a program must satisfy. To prove that a program satisfies a given property, the correctness of intermediate states of the program must be characterized. However... ...that resources can be provisioned in a timely manner, but not all prediction approaches are made equal. In this paper, we formulate an event-aware strategy to more effectively predict workload bursts by exploiting prior knowledge associated with scheduled ... This paper presents a formalisation of pGCL in Isabelle/HOL. Using a shallow embedding, we demonstrate close integration with existing automation support. We demonstrate the facility with which the model can be extended to incorporate existing results, ... We develop a practical solution to the problem of automatic verification of the interface between device drivers and the OS. Our solution relies on a combination of improved driver architecture and verification tools. It supports drivers written in C and ... Galvanic Skin Response (GSR) has recently attracted researchers’ attention as a prospective physiological indicator of cognitive load and emotions. However, it has commonly been investigated through single or few measures and in one experimental scenario.... |