Research Publications
All | |
| Narrow your search | 4931 result(s) |
By Type
By Year By Research Group
| This paper presents a novel phosphene visualization of depth and boundary computed by Associative Markov Random Fields under low resolution. Unlike conventional methods modeling the depth and boundary as an individual MRF respectively, our algorithm ... Prosthetic vision provides vision which is reduced in resolution and dynamic range compared to normal human vision. This comes about both due to residual damage to the visual system from the condition that caused vision loss, and due to limitations of... We present a generic exact method for minimizing the project duration of the resource-constrained project scheduling problem with generalized precedence relations (Rcpsp/max). This is a very general scheduling model with applications areas such as project... Current and near-term implantable prosthetic vision systems offer the potential to restore some visual function, but suffer from poor resolution and dynamic range of induced phosphenes. This can make it difficult for users of prosthetic vision systems ... The problem of recursive estimation and model validation for linear discrete-time systems with partial prior information is examined. More specifically, an underlying linear discrete-time system is considered where the statistics of the driving noise is ... Most approaches to business process compliance are restricted to the analysis of the structure of processes. It has been argued that full regulatory compliance requires information on not only the structure of processes but also on what the tasks... Retinal diseases are leading causes of severe vision loss and blindness throughout the world. Visual prosthetics has been demonstrated to be an effective therapy to partially restore vision. Reading is one of the most important functional abilities ... We propose to use Just Noticeable Difference (JND) as the principle in visualizing results for image processing modules for prosthetic vision. Current Bionic Eye hardware implants have limited levels of separately perceivable brightness (i.e., low ... Users wanting to monitor distributed or component-based systems often perceive them as monolithic systems which, seen from the outside, exhibit a uniform behaviour as opposed to many components displaying many local behaviours that together constitute ... This paper presents a practical and low-cost approach to estimate the maximum achievable wireless link bandwidth based on the prevailing link conditions in an IEEE 802.11 network. This approach works by observing the number of bits successfully delivered... Empirical data from recent work has indicated that SAT-based solvers can outperform native search-based solvers on certain classes of problems in qualitative temporal reasoning, particularly for the Interval Algebra (IA). In the present work, we show that... Recent work has shown that SAT can be theoretically more powerful than heuristic search provided the heuristic used by search is implemented as a set of clauses on which unit propagation simulates the evaluation of the heuristic. The $h^{\max}$ heuristic ... Speculative Computation is an effective means for solving problems with incomplete information in an open and distributed environment, such as peer-to-peer environment. It allows such a system to compute tentative (and possibly final) solutions using ... This paper studies the joint damage assessment and recovery of the power infrastructure after a natural disaster has occurred. Earlier work in this area proposed an optimization algorithm for the recovery phase, assuming that the infrastructure ... Stochastic local search for satisfiability (SAT) has successfully been applied to solve a wide range of problems. However, it still suffers from a major shortcoming, i.e. being trapped in local minima. In this study, we explore different heuristics to ... We present a new algorithm to find optimal routes in a multi-modal public transportation network. This work is an extension of recent work on finding multi-criteria optimal paths in multi-modal public transportation networks \cite{antsfeld2012} using ... In this paper, we examine web user tracking capabilities of the three major global Online Social Networks (OSNs). We study the mechanisms which enable these services to persistently and accurately follow users web activity, and evaluate to which extent ... In this paper we report on the development and evaluation of a business process compliance checker, based on the compliance-by-design methodology proposed by Governatori and Sadiq This paper analyzes several industrial software architecture evaluation methods from the perspective of their contextual elements. Contextual elements include the time available for the evaluation, the personnel available, the openness of the results, the... We propose a simple method for combining together voting rules that performs a run-off between the different winners of each voting rule. We prove that this combinator has several good properties. For instance, even if just one of the base voting rules ... We describe a research program on design techniques to enable the cost-effective construction of trustworthy systems. The focus is on single-machine systems that can be formally verified to provide desired system-wide security and safety properties. Such ... Scaling relational database in the cloud is one of the critical factors in the migration of applications to the cloud. It is important that applications can directly monitor fine-grained scaling performance (such as replication delays, query-specific ... Fingerprint experts have testified in criminal courts for over a century, but there have been few scientific investigations of the human capacity to discriminate these patterns. Here we present results from the first tightly controlled experiment of ... This paper provides some requirements for the data management portion of a knowledge discovery ecosystem platform. The requirements are functional – what the platform should provide for its clients; quality – how the platform should support modifiability,... We present an empirical study of personal information revealed in public profiles of people who use multiple Online Social Networks (OSNs). We first consider the number of publicly available attributes in such profiles based on various demographics and ... Coloring algebra (CA) captures common ideas of feature oriented programming (FOP), a general programming paradigm that provides formalisms, methods, languages, and tools for building maintainable, customisable, as well as extensible software. FOP has ... In the past, algebraic techniques based on semirings have been used describe shortest path algorithms and routing procedures. These approaches often use matrices over semirings/Kleene algebra, which form again a semiring/Kleene algebra. While these ... Video dissemination through sites such as YouTube can have widespread impacts on opinions, thoughts, and cultures. Not all videos will reach the same popularity and have the same impact. Popularity differences arise not only because of differences in ... Before low-level imperative code can be reasoned about in an interactive theorem prover, it must first be converted into a logical representation in that theorem prover. Accurate translations of such code should be conservative, choosing safe ... We present an Isabelle/HOL library with a generic type class implementation of separation algebra, develop basic separation logic concepts on top of it, and implement generic automated tactic support that can be used directly for any instantiation of... On the Mathematical Relationship between Expected n-call@k and the Relevance vs. Diversity Trade-off It has been previously noted that optimization of the ncall@k relevance objective (i.e., a set-based objective that is 1 if at least n documents in a set of k are relevant, otherwise 0) encourages more result set diversification for smaller n, but ... This paper proposes a definition of what it means for one system description language to encode another one, thereby enabling an ordering of system description languages with respect to expressive power. I compare the proposed definition with other ... We focus on dissemination of content for delay tolerant applications/services, (i.e. content sharing, advertisement propagation, etc.) where users are geographically clustered into communities. Due to emerging security and privacy related issues, majority... The aim of AOARD project #FA2386-12-1-4022 (“Formal System Verification - Extension 2”, running from 9 February 2012 to 8 August 2012) is to provide an initial framework prototype for efficiently performing formal proofs of targeted security or safety ... Business processes are central to the operation of both public and private organizations. With the rapid growth in the number of process models developed by di erent process designers, it becomes crucial for business process designers to be able to look ... In this paper, we present an approach to model and predict the total CPU utilization –in terms of CPU clock tick– of MapReduce applications for almost fixed-sized input data. Our approach has two key phases: profiling and modelling. In the profiling phase... Workload consolidation, sharing physical resources among multiple workloads, is a promising technique to save cost and energy in cluster computing systems. This paper highlights a few challenges of workload consolidation for Hadoop as one of the current ... Adequacy is an important criterion for judging whether a formalization is suitable for reasoning about the actual object of study. The issue is particularly subtle in the expansive case of approaches to languages with name-binding. In prior work, adequacy... This report presents an empirical study of personal information revealed in public pro- files of people who use multiple Online Social Networks (OSNs). We first consider the number of publicly available attributes in such profiles based on various ... Introduction. We discuss three initiatives from the NICTA eHealth Business Team towards developing ICT techniques for improving healthcare via: 1. capturing more clinical data; 2. converting them to processable information; 3. recording this as ... We reviewed 275 international living laboratories in relation to project and research outcomes. We outline successes and failures for the living lab model, from 33 laboratories, for health and discuss laboratory frameworks that appear more likely to ... We consider stored content being streamed to a resource poor device (such as a sensor node or a mobile phone), and address the issue of authenticating such content in real-time at the receiver. Per-packet digital signatures incur high computational cost, ... For complex engineered systems, it is important to conduct technical risk assessment early in the system development life-cycle, in order to identify critical system requirements, such as safety requirements, that should be included in design. This paper ... Successive elimination of candidates is often a route to making manipulation intractable to compute. We prove that eliminating candidates does not necessarily increase the computational complexity of manipulation. However, for many voting rules used ... Symmetry is an important problem in many combinatorial problems. One way of dealing with symmetry is to add constraints that eliminate symmetric solutions. We survey recent results in this area, focusing especially on two common and useful cases: ... The common-case IPC handler in microkernels, referred to as the fastpath, is performance-critical and thus is often optimised using hand-written assembly. However, compiler technology has advanced significantly in the past decade, which suggests that we ... Real-time operating systems (RTOSes) are traditionally designed to be fully preemptible. This improves the average interrupt response time of the system but increases kernel complexity. An alternative design is to make the kernel mostly non-preemptible ... A key challenge in developing efficient local search solvers is to effectively minimise search stagnation (i.e. avoiding traps or local minima). A majority of the state-of-the-art local search solvers perform random and/or Novelty-based walks to overcome ... Probabilistic reasoning in the real-world often requires inference in continuous variable graphical models, yet there are few methods for \emph{exact, closed-form} inference when joint distributions are non-Gaussian. To address this inferential ... Many real-world decision-theoretic planning problems are naturally modeled using both continuous state and action (CSA) spaces, yet little work has provided exact solutions for the case of continuous actions. In this work, we propose a symbolic ... This paper considers the restoration of multiple interdependent infrastructures after a man-made or natural disaster. Modern infrastructures feature complex cyclic interdependencies and require a holistic restoration process. This paper presents the ... This paper studies the applicability of the linearized DC model in optimizing power restoration after significant network disruptions. In such circumstances, no AC base-point solution exists and the objective is to maximize the served load. The paper ... This paper studies the applicability of the linearized DC model in optimizing power restoration after significant network disruptions. In such circumstances, no AC base-point solution exists and the objective is to maximize the served load. The paper ... Constraints can be exploited in paradigms outside of constraint programming. In particular, powerful global constraints can often be decomposed into small primitives and these decompositions can simulate complex propagation algorithms that perform ... We describe a pathfinding system based on Jump Point Search (JPS): a recent and very successful search strategy that performs symmetry breaking to speed up optimal pathfinding on grid maps. We first modify JPS for grid maps where corner-cutting moves are ... Defeasible Deontic Logic is a simple and computationally efficient approach for the representation of normative reasoning. Traditionally defeasible logics are defined proof theoretically based on the proof conditions for the logic. While several logic... The recent advent of broadband Internet has led to a convergence of the Web, multimedia, and social media technologies, and revolutionized the TV content consumption. It facilitates users not only watching the TV content, but also accessing personalised ... Consider a wireless multi-hop network where nodes are randomly distributed in a given area following a homogeneous Poisson process. The hop count statistics, viz the probabilities related to the number of hops between two nodes, are important for ... A common view is that good project management is necessary but not enough to ensure project success. This begs the question: Why not? The paper examines current factor-, process- and capability-based explanations of project performance and finds gaps in ... Web-based catch-up TV services allow users to watch programs at their favoured time and device and are revolutionizing the TV watching habits. With the increasing demand for catch-up TV, it has become evident that there is a need for personalised ... As organizations reach higher levels of business process management maturity, they often find themselves maintaining very large process model repositories, representing valuable knowledge about their operations. A common practice within these reposito- ... Personalized services, especially targeted advertising, are blossoming in the cloud. In targeted (or behavioural) advertising, users' behaviours are tracked over time in order to customize served ads to their interests. This creates serious privacy ... We present an industrial strength static analysis tool for automated bug detection in C/C++ source code called GoannaSMT. The underlying technology of GoannaSMT is an automata-based approach to static analysis, where high-level syntactic source code ... Topic models are increasingly being used for text analysis tasks, often times replacing earlier semantic techniques such as latent seman- tic analysis. In this paper, we develop a novel adaptive topic model with the ability to adapt topics from both ... This paper explores how and why the Linguistic Annotation Framework might be adapted for compatibility with recent more general proposals for the representation of annotations in the Semantic Web, referred to here as the Open Annotation models. We argue ... In this paper we propose a new approach for the comparison and retrieval of geometric graphs formulated from an alignment perspective. The algorithm presented here is quite general in nature and applies to geometric graphs of any dimension. The method ... In addition to theoretical analysis and simulations, the evaluation of new networking technologies in a real-life context and scale is critical to their global adoption and deployment. Federations of experimental platforms (aka testbeds) offer a ... Timing anomalies make worst-case execution time analysis much harder, because the analysis will have to consider all local choices. It has been widely recognised that certain hardware features are timing anomalous, while others are not. However, defining ... Around 1960, Dijkstra, Floyd and Warshall published papers on algorithms for solving single-source and all-sources shortest path problems, respectively. These algorithms, nowadays named after their inventors, are well known and well established. This ... Large-scale verification projects pose particular challenges. Issues include proof exploration, efficiency of the edit-check cycle, and proof refactoring for documentation and maintainability. We draw on insights from two large-scale verification ... This paper provides a flexible solution to the problem of building and maintaining a very-large-scale map using multiple vehicles. In particular, we consider producing a map on the scale of 1000 kilometres of features in an outdoor environment. The ... |