Research Publications
All 2012 | |
| Narrow your search | 645 result(s) |
By Type
By Year By Research Group
| How to apply automated verification technology such as model checking and static program analy- sis to millions of lines of embedded C/C++ code? How to package this technology in a way that it can be used by software developers and engineers, who might ... Information about verb subcategorization frames (SCFs) is important to many tasks in natural language processing (NLP). Biomedicine has a need for high-quality SCF lexicons to support the extraction of information from the biomedical literature, which in ... Measuring cognitive load changes can contribute to better treatment of patients, can help design effective strategies to reduce medical errors among clinicians and can facilitate user evaluation of health care information systems. This paper proposes an ... This paper describes an analytical model and an associated algorithm for assessing the throughputs of each host in Wireless Mesh Networks (WMNs). It provides a framework for studying WMNs, particularly when the performance and parameters in multiple ... Despite intensive research in the area of network connectivity, there is an important category of problems that remain unsolved: how to measure the quality of connectivity of a wireless multi-hop network which has a realistic number of nodes, not ... In this paper, we study the dependency between MapReduce configuration parameters and network load of fixed-size MapReduce jobs during the shuffle phase; then we propose an analytical method to model this dependency. Our approach consists of three key ... 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 ... One way to reduce the cost of formally verifying a program is to perform proofs over a specification of its behaviour, which its implementation refines. However, interesting programs must often satisfy multiple properties. Ideally, each property should... While intransitive noninterference is a natural property for any secure OS kernel to enforce, proving 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 ... Abstract—Advanced computing and sensing capabilities of smartphones provide new opportunities for personal indoor positioning. A particular trend is to employ human activity recognition for autonomous calibration of pedestrian dead reckoning systems ... 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 ... Retinal implants offer prospects of vision restoration for some blind patients via visual percepts of points of light called phosphenes. Recently, a mathematical model has been developed that predicts patient perception of phosphene brightness for ... 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 ... Geolocation prediction is vital to geospatial applications like localised search and local event detection. Predominately, social media geolocation models are based on full text data, including common words with no geospatial dimension (e.g.\... 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... Online discussion forums are a valuable means for users to resolve specific information needs, both interactively for the participants and statically for users who search/browse over historical thread data. However, the complex structure of forum... 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 ... ICMP is a key protocol to exchange control and error messages over the Internet. An appropriate ICMP’s processing throughout a path is therefore a key requirement both for troubleshooting operations (e.g. debugging routing problems) and for several ... 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 ... This paper proposes a concrete approach for the automatic mitigation of risks that are detected during process enactment. Given a process model ex- posed to risks, e.g. a financial process exposed to the risk of approval fraud, we enact this process and ... 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 ... 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 ... The emergence of web services gives rise to service ecosystems, where core service platforms are exposed through APIs to a large number of third parties to provide new solutions. This often requires platform APIs to be able to evolve rapidly while not ... In 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 ... Stochastic perturbation on variable flipping is the key idea of local search 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 ... The ALTA shared task ran for the third time in 2012 with the aim of bringing research students together to work on the same task and data set to program and compare their methods for a current research problem. The task was based on the recent study ... Clinical shift handover is the transfer of professional responsibility for patient care to another person. While verbal handover provides a good picture of care, after 3-5 shifts 100% of this information is lost or transferred incorrectly if notes are not... 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... Despite intensive research in the area of network connectivity, there is an important category of problems that remain unsolved: how to measure the quality of connectivity of a wireless multi-hop network which has a realistic number of nodes, not ... 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 ... 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 ... 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 ... Person re-identification on image sets in which each image is taken from a different angle and lighting condition is a very challenging task. This task becomes even more difficult when images are low resolution and carrying image compression artefacts. ... 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 ... Most conventional features used in speaker recognition are based on Mel Frequency Cepstral Coefficients (MFCC) or Perceptual Linear Prediction (PLP) coefficients. Recently, the Power Normalised Cepstral Coefficients (PNCC) which are computed based on ... High cognitive load arises from complex time- and safety-critical tasks (e.g., mapping out flight paths, monitoring traffic, or even managing nuclear reactors), which cause stress, errors and diminished performance. Over the past five years, our research ... This paper introduces multi-directional local search, a metaheuristic for multi-objective op- timization. We first motivate the method and present an algorithmic framework for it. We then apply it to several known multi-objective problems such as the ... This paper focuses on a generic sensor placement model for vision based traffic monitoring. A significant problem with using such sensors is the difficulty in detection due to the occlusion between vehicles. Thus, the efficiency of traffic monitoring can ... Health data includes all health-related content in all data formats, document types, information systems, publication media and languages from all specialties, organizations, regions, states and countries. Examples include private data on electronic ... One of the potentially most relevant pieces of metadata for filtering 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 ... 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 ... Routing protocols are used to discover, maintain, and repair routes between pairs of nodes in wireless ad-hoc networks. In order to handle dynamic network topologies caused by node mobility, many routing protocols are designed with multiple features ... When implementing a propagator for a constraint, one must decide about variants: When implementing min, should one also implement max? Should one implement linear constraints both with unit and non-unit coefficients? Constraint variants are ubiquitous: ... 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... Workload bursts have become notorious for rendering numerous web information systems unavailable. While cloud computing has the potential to alleviate this problem by offering computing resources on an on-demand basis, important challenges remain in ... 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 ... Many wireless multi-hop networks are deployed with some infrastructure support. Existing results on ad-hoc networks are inadequate to fully understand the properties of those networks. In this paper, we study the properties of 1-D infrastructure-based... 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.... The security of state estimation in critical networked infrastructure such as the transportation and electricity (smart grid) networks is an increasingly important topic. Here, the problem of recursive estimation and model validation for linear ... The unavailability or poor service of web sites that are faced with surges in workload during important events, like product announcements, sporting events, and sales events, have frequently been the subject of news headlines. Companies that host such ... Network propagated malware such as worms are a potentially serious threat, since they can infect and damage a large number of vulnerable hosts at timescales in which human reaction is unlikely to be eective. Research on worm detection has produced many ... In this paper, we examine mobile users behavior and their corresponding video viewing patterns from logs extracted from the servers of a large scale VoD system. We concentrate on the analysis of the main discrepancies that might exist when users access ... In this paper, we study the content viewing behaviors of users of PPTV, the largest Internet Video provider in China. We examine three unique datasets extracted from different video log servers according to their access types, i.e. either from web, ... Runtime adaptability is a desired quality attribute in business processes, particularly cross-organizational ones. Past work showed that designing and implementing business processes following the REpresentational State Transfer (REST) principles ... Static program analysis for bug detection in large C/C++ projects typically uses a high-level abstraction of the original program under investigation. As a result, so-called false positives are often inevitable, i.e., warnings that are not true bugs. ... Automatically constructing or completing knowledge bases of SOA design knowledge puts traditional clustering approaches beyond their limits. We propose an approach to amend incomplete knowledge bases of enterprise service (ES) design knowledge, based ... Despite all efforts to support processes through IT, processes based on paper forms are still prevalent. While they are easy to create, using paper-based forms puts a burden of tedious manual work on the end users. Automating these processes often ... we present BPMashup in this demonstration: a framework that tailors REST principles towards process-aware information systems. This is achieved by splitting business processes into distributed process fragments that are transferred dynamically at runtime.... In this paper, we present a method to detect shadows in outdoor scenes. Here, we note that the shadow areas correspond to the diffuse skylight which arises from the scattering of the sunlight by particles in the atmosphere. This yields a treatment in ... In this paper we present a method to recover a spectra representation for reproduction and recognition on multispectral imagery. To do this, we commence by viewing the spectra in the image as a mixture which can be expressed in terms of the sample ... In this paper, we present a method for segmenting illuminants in non-uniformly lit scenes. Here, we view the illuminant colour at an image location as a mixture of the segmented illuminants. Based on the dichromatic structure of the image radiance space, ... We address the problem of localizing glass objects with a multimodal RGB-D camera. Our method integrates the intensity and depth information from a single view point, and builds a Markov Random Field that predicts glass boundary and region jointly. Based ... Most of the state-of-the-art algorithms of restoring single blurred image are sensitive to image noise and artifacts. Our idea is to learn an adaptive filter for blind deconvolution to remedy this problem. We use this auxiliary filter to progressively ... A key problem in statistics and machine learning is the determination of network structure from data. We consider the case where the structure of the graph to be reconstructed is known to be scale-free. We show that in such cases it is natural to ... The process of finding the best locations for drilling in geothermal exploration requires the collection of vast amounts of information. Gravity, magnetism, seismicity, radiometric, magnetotellurics and drilling data are commonly used to infer specific ... We present enhancements to the TCP-Friendly Rate Control mechanism (TFRC) designed to better handle the intermittent connectivity occurring in mobility situations. Our aim is to quickly adapt to new network conditions and better support real-time ... In this paper, we aim at learning the colour matching functions making use of hyperspectral and trichromatic imagery. The method presented here is quite general in nature, being data driven and devoid of constrained setups. Here, we adopt a probabilistic ... Extracting important relations between biological components and semantic events involving genes or proteins from literature has become a focus for the biomedical text mining community. In this paper, we review a subgraph matching-based approach proposed ... We study the computational complexity of optimal bribery and manipulation schemes for sports tournaments with uncertain information: cup; challenge or caterpillar; and round robin. Our results carry over to the equivalent voting rules: sequential ... Humans experience cognitive load during critical task activities and learning. Affective factors such as arousal and valence can be experienced at the same time, induced by the task in hand or by personal feelings. Identifying modalities or features that ... In order to develop retinal implants with a large number of electrodes, it is necessary to ensure that they do not cause damage to the neural tissue by the heat that the electrical circuits generate. Knowledge about the threshold of the amount of power ... Protein Secondary Structure Prediction (PSSP) is considered as a challenging task in bioinformatics and so many approaches have been proposed in the literature to solve this problem via achieving more accurate prediction results. Accurate prediction of ... Protein Secondary Structure Prediction (PSSP) is considered as a challenging task in bioinformatics and so many approaches have been proposed in the literature to solve this problem via achieving more accurate prediction results. Accurate prediction of ... Real-time operating systems (RTOSes) are required to run for years without human intervention, and never fail. Safety is a concern when they control physical equipment. One strand of real-time operating system (RTOS) research is looking at the question: ... Dynamic MANET On-demand (AODVv2) routing, formerly known as DYMO, is a routing protocol especially designed for wireless, multi hop networks. AODVv2 determines routes in a network on an on-demand fashion. In this paper we present a formal model of ... With the ever increasing usage of handheld devices and vast deployment of wireless networks, we observe that it is possible to collect data from mobile devices and reveal personal relationships of their owners. In the paper, we exploit the hidden ... We explore an information extraction task where the goal is to determine the correct values for fields which are relevant to prescription drug administration such as dosage amount, frequency and route. The data set is a collection of prescriptions from... Microblog is a prominent information platform for sharing experiences, discussing current events, and exchanging ideas. Many events are first reported in social media, and increas- ing amounts of rich-media content are associated with the posts, making ... The promise of spectral clustering is that it can help detect complex shapes and intrinsic manifold structure in large and high dimensional spaces. The price for this promise is the computational cost O(n^3) for computing the eigen-decomposition of the ... We discuss mechanised proofs of Fermat’s Little Theorem in a variety of styles, focusing in particular on an elegant combinatorial “necklace” proof that has not been mechanised previously. What is elegant in prose turns out to be long-winded mechanically,... Octopus cells, located in the mammalian auditory brainstem, receive their excitatory synaptic input exclusively from auditory nerve fibers (ANFs). They respond with accurately timed spikes but are broadly tuned for sound frequency. Since the ... Node mobility, signal fading and interference introduce dynamics in wireless channels. In 802.11 wireless networks there are several transmission rates that can be adaptively selected by the MAC-layer rate control mechanisms to cater for various channel ... This paper presents conditional probabilistic modeling suitable to characterize the temporal variation of links in wireless body area networks (BAN); according to short, medium and long term fading characteristics. The approach captures first and second ... A wireless sensor network (WSN) was designed and implemented to provide reliable long-term hazard monitoring at the Port of Brisbane, Australia. The proposed system consists of four sensor nodes, a wireless gateway and a central monitoring computer. ... In this paper we present a rigorous analysis of the Ad hoc On-Demand Distance Vector (AODV) routing protocol using a formal specification in AWN (Algebra for Wireless Networks), a process algebra which has been specifically tailored for the modelling ... A typical Body Area Network (BAN) involves multiple on- body sensors exchanging information with a central gateway, forming a star topology network. The characterization of sensor-to-gateway wireless links is clearly important in sim- ulation, as ... ETX (Expected Transmission Count) is shown to be the best link metric in terms of higher throughput for wireless multi-hop network with stationary-nodes having single radio. Some recent work, however, shows that ETX may exhibit high sensitivity to ... Distributed social networking services show promise to solve data ownership and privacy problems associated with centralised approaches. Smartphones could be used for hosting and sharing users data in a distributed manner, if the associated high ... The AOARD project #FA2386-11-1-4070 aims at providing a provably correct initialiser of componentised systems. Taking as input a description of the desired components and the desired authorised communication between them, the initialiser sets up the ... We present an algorithm to nd optimal routes in a multi-modal public transportation network. Our model takes into account many realistic features such as walking between multi-modal stations, transfer times, trac days, multiple objectives and nding ... Experimentation for research on the future Internet involves observing multiple metrics at various distributed points of the network under observation. Be it in a testbed or in an uncontrolled field experiment, collecting these measurements is not an easy... Multimedia content is becoming the most prominent traffic over the Internet. However the transport of multimedia objects between mobile devises and web servers is slowed down due to the use of the TCP protocol because its congestion control, reliability, ... Model checking and static analysis are traditionally seen as two separate approaches to software analysis and verification. In this work we define a model checking approach for the static analysis of large C/C++ source code bases to detect potential ... This paper proposes a novel hierarchical algorithm for nonlinear weighted least squares state estimation. The proposed method is based on the actored approach recently considered for hierarchical state estimation, but overcomes an approximation that leads... In this paper, a method suitable for distinguishing between different materials occurring in natural scenes using a multi-spectral camera is devised. Such a capability is useful in autonomous robot applications to help negotiating the environment as ... Underlying symmetries in constraint satisfaction and optimization problems can make the search for solutions or optimal solutions much harder. In contrast, when symmetries are known, they can be used to speed up the search for solutions by avoiding ... Online social networks offer unprecedented potential for rallying a large number of people to accomplish a given task. Here we focus on information gathering tasks where rare information is sought through “referral-based crowdsourcing”: the information ... The Resource-constrained Project Scheduling Problem (Rcpsp), in which a schedule must obey resource constraints and precedence constraints between pairs of activities, is one of the most studied scheduling problems. An important variation of this problem ... Two competing approaches to handling complex constraints in satisfaction and optimization problems using SAT and LCG/SMT technology are: decompose the complex constraint into a set of clauses; or (theory) propagate the complex constraint using a ... Many constraint problems exhibit dominance relations which can be exploited for dramatic reductions in search space. Dominance relations are a generalization of symmetry and conditional symmetry. Unlike symmetry breaking which is relatively well ... Lazy Clause Generation is a powerful approach to reducing search in Constraint Programming. This is achieved by recording sets of domain restrictions that previously led to failure as new clausal propagators called nogoods. This dramatically reduces the ... This paper introduces an extension to the MiniZinc modelling language that adds support for user-defined functions. Functions are a useful modelling tool, as functional relations are ubiquitous in combinatorial problems - the Global Constraint ... Software developers are an ideal channel through which Constraint Programming (CP) technology can be made available to the general public. Unfortunately, most software developers find it very difficult to formulate declarative constraint models. We aim... Filtering algorithms for table constraints are constraint-based, which means that the propagation queue only contains information on the constraints that must be reconsidered. This paper proposes four efficient value-based algorithms for table ... Reasoning over bit vectors arises in a variety of applications in verification and cryptography. This paper presents a bit-vector domain for constraint programming and its associated filtering algorithms. The domain supports all the traditional bit ... TRANSIT is a fast and optimal technique for computing shortest path costs in road networks. It is attractive for its usually modest memory requirements and impressive running times. In this paper we give a first analysis of TRANSIT routing on a set of ... Pairwise Markov random fields are an effective framework for solving many pixel labeling problems in computer vision. However, the performance is limited by their inability to capture higher-order correlations. Recently proposed higher-order models are ... We revisit the SEQBIN constraint. This meta-constraint subsumes a number of important global constraints like CHANGE, SMOOTH and INCREASINGNVALUE. We show that the previously proposed filtering algorithm for SEQBIN has two drawbacks even under strong ... We propose a hybrid MIP/CP approach for solving multi-activity shift scheduling problems, based on regular languages that partially describe the set of feasible shifts. We use an aggregated MIP relaxation to capture the optimization part of the problem ... Developing and maintaining large safety- and security-critical software systems can be complex and error prone when based on a monolithic design. Techniques like formal verification can be used to gain a measure of confidence in the correctness of the ... In this paper, we study CPU utilization time patterns of several Map-Reduce applications. After extracting running patterns of several applications, the patterns with their statistical information are saved in a reference database to be later used to ... Recent advances suggest that a wide range of computer vision problems can be addressed more appropriately by considering non-Euclidean geometry. This paper tackles the problem of sparse coding and dictionary learning over the space of symmetric positive ... The facility to undo a collection of changes, reverting to a previous acceptable state, is widely recognised as valuable support for dependability. In this paper, we consider the particular needs of the user of cloud computing resources, who wishes to ... Various visual tasks such as the recognition of human actions, gestures, facial expressions, and classification of dynamic textures require modeling and the representation of spatio-temporal information. In this paper, we propose representing ... Protein structure prediction is one of the most challenging problems in computational biology. Given a protein’s amino acid sequence, a simplified version of the problem is to find an on-lattice self-avoiding walk that minimizes the interaction energy ... Protein structure prediction is a challenging optimisation problem to the computer scientists. A large number of existing (meta-)heuristic search algorithms attempt to solve the problem by exploring possible structures and finding the one with minimum ... Background We propose a method for automatic extraction of protein-specific residue mentions from the biomedical literature. The method searches text for mentions of amino acids at specific sequence positions and attempts to correctly associate each ... The L4.verified project at NICTA previously completed the formal verification, to the level of C source code, of the full functional correctness of the seL4 microkernel. The project proceeded in several phases. Major artefacts were developed in ... The aim of AOARD project #FA2386-10-1-4105 is to investigate the creation of a framework enabling the formal verification of trustworthy embedded systems, leading to formal guarantees, holding at the source code level, about the security of large, complex... We consider the problem of controller synthesis under imperfect information in a setting where there is a set of available observable predicates, each of the subset having a cost. The problem that we address is the computation of a subset of predicates ... In this paper, we mainly study the influence of the number of links on the convergence rate and the total number of message exchanges, a surrogate for cost, in average consensus problems. For a wireless sensor network with fixed number of nodes, the ... A distributed control law for triangular formation control with a mixture of bearing and range measurements and relative pair-wise inter-agent angle constraints and a single range constraint is introduced. The control law is weak in the sense that two ... This paper characterizes a recently proposed anonymous file sharing system, OneSwarm. This characterisation is based on measurement of several aspects of the OneSwarm system such as the nature of the shared and searched content and the geolocation and ... In this paper, the problem of grid-to-vehicle energy exchange between a smart grid and plug-in electric vehicle groups (PEVGs), e.g., parking lots or groups of nearby vehicles, is studied using a noncooperative Stackelberg game. In this game, on the one ... Performance of multipath transport protocols is known to be sensitive to path asymmetry. The difference between each path in terms of bandwidth, delay and packet loss has a potential to significantly decrease the overall performance of a data flow carried... In this paper a distributed transmit beamforming technique is proposed for time-varying wireless communication channels that improves the signal gain at the receiving terminal, and thus yielding an enhanced signal-to-interferenceplus-noise ratio. In this ... One highly-scalable approach to content delivery is to harness the upload bandwidth of the clients. Peer-assisted content delivery systems have been shown to effectively offload the servers of popular files, as the request rates of popular content ... For covariance-based image descriptors, taking into account the curvature of the corresponding feature space has been shown to improve discrimination performance. This is often done through representing the descriptors as points on Riemannian manifolds, ... With the aim of improving the clustering of data (such as image sequences) lying on Grassmann manifolds, we propose to embed the manifolds into Reproducing Kernel Hilbert Spaces. To this end, we define a measure of cluster distortion and embed the ... We introduce an approach to question answering in the biomedical domain that utilises similarity matching of question/answer pairs in a document, or a set of background documents, to select the best answer to a multiple-choice question. We explored a ... We propose a novel trust and probabilistic node selection mechanism for content distribution in mobile ad hoc networks. Due to the open nature of such networks which as a rule do not have strict node membership control, the selection of trustworthy nodes ... We extend the Bayesian skill rating system of TrueSkill to accommodate score-based match outcomes. TrueSkill has proven to be a very effective algorithm for matchmaking --- the process of pairing competitors based on similar skill-level --- in ... We propose to implement approaches to solve the multihomed flow management problem in the OPNET simulator. We formulate various decision methods as binary integer programming problems and use them (with the CPLEX solver) to drive the network selection ... The Open Connectivity Services (OConS) framework is cur- rently being defined within the framework of the SAIL project. Its main objective is to offer adaptive connectivity services to seamlessly address user and service requirements while complying with... Dealing with uncertainty is one of the major challenges when constructing autonomous mobile robots. The CogX project addressed key aspects of that by developing and implementing mechanisms for self- understanding and self-extension – i.e. awareness of ... 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 the results of the first ever experiment of fingerprint ... We develop a practical solution to the problem of automatic verification of the interface between device drivers and the operating system. Our solution relies on a combination of improved driver architecture and verification tools. Unlike previous ... Given the continually increasing amount of commercial Cloud services in the market, evaluation of different services plays a significant role in cost-benefit analysis or decision making for choosing Cloud Computing. In particular, employing suitable ... Project stakeholders can have different perceptions of risks and how they should be mitigated, but these differences are not always well understood and managed. This general issue occurs in Off-the-shelf (OTS)-based custom software development projects, ... In contrast to comparing faces via single exemplars, matching sets of face images increases robustness and discrimination performance. Recent image set matching approaches typically measure similarities between subspaces or manifolds, while representing ... Introduction More and more textual eHealth information is electronically available. Examples include scientific literature, care guidelines, health records, and social media. Language technologies (LTs) provide a way to analyse these documents for the... Introduction. Failures in information flow from clinical handover are the leading cause of sentinel events in the USA and associated with nearly half of all adverse events and over a tenth of preventable adverse events in Australia.1-3 Verbal clinical ... Introduction Invasive fungal diseases (IFDs) cause more than 1,000 deaths in hospitals and cost the health system more than AUD100m in Australia each year.1 The most common life-threatening IFD is aspergillosis and a patient with this IFD typically has ... In 2011, simple and concise axioms for feature compositions, interactions and products have been proposed by Batory et al. They were mainly inspired by Kästner's Colored IDE (CIDE) as well as by experience in feature oriented programming over the last ... CLEFeHealth2012 is the CLEF2012 workshop on cross-language evaluation of methods, applications, and resources for eHealth document analysis. Its focus is on written and spoken natural-language processing with the use scenario of people using ICT tools to ... Capabilities to share, integrate, and compare eHealth data, clinical trial results, and other evaluation outcomes together with eHealth applications are critical to accelerate discovery and its diffusion to clinical practice. However, the same ethical and... Static source code analysis for software bug detection has come a long way since its early beginnings as a compiler technology. The introduction of new technologies and tools based on new theoretical results has drastically changed static analysis. ... We present our experiences with developing, improving, and main- taining an industrial strength C/C++ static analysis tool whose core is written in OCaml. In particular we focus on integrating several different components with various backgrounds and ... In this chapter, we revisit the energy reduction technique in DVFS-enabled processors. After formulating the problem of slack reclamation in an optimization form by selection of multiple processor frequencies, we propose an algorithm based on linear ... In this paper, coexistence of multiple mobile wireless body area networks (WBANs), where there is no coordination between WBANs, is investigated for the case where the WBAN-of-interest employs cooperative communications. A decode-and-forward protocol ... We study the computational complexity of computing a manipulation of a two stage voting rule. An example of a two stage voting rule is Black’s procedure. The first stage of Black’s procedure selects the Condorcet winner if they exist, otherwise the second... We study in detail a simple sequential procedure for allocating a set of indivisible goods to multiple agents. Agents take turns to pick items according to a policy. For example, in the alternating policy, agents simply alternate who picks the next item. ... Mobile devices like tablets and smartphones are increasingly popular. They usually embed several network interfaces (Wi-Fi and 3G). They allow the user to keep a permanent Internet connection, but should be used efficiently to give him the best quality... Cumulative resource constraints can model scarce resources in scheduling problems or a dimension in packing and cutting problems. In order to efficiently solve such problems with a constraint programming solver, it is important to have strong and fast ... We present a solution to evaluate the performance of transport protocols as a function of link layer reliability schemes (i.e. ARQ, FEC and Hybrid ARQ) applied to satellite physical layer traces. As modelling such traces is complex and may require ... The perception of independently moving objects in the scene is an important capability for prosthetic vision, but is impeded by the limited resolution and dynamic range of current and near-term retinal prostheses. We propose a novel, ... The challenge and workshop on Context-Aware Movie Recommendation (CAMRa2010) were conducted in 2010 jointly with the Recommender Systems conference. The challenge focused on three context-aware recommendation scenarios: time-based, mood-based, and ... |