Research Publications
All 2009 | |
| Narrow your search | 713 result(s) |
By Type
By Year By Research Group
| An attractive mechanism to specify global constraints in rostering and other domains is via formal languages. For instance, the \regular and \CFG constraints specify constraints in terms of the %fixed-length languages accepted by an automaton ... Multimodal User Interaction technology aims at building natural and intuitive interfaces allowing a user to interact with computer in a way similar to human-to-human communication, for example, through speech and gestures. As a critical component in a ... Smart cameras are becoming more popular in human computer interaction (HCI). One of HCI research areas, multimodal user interface (MMUI) allows user to interact with a computer by using his or her natural communication modalities, such as speech, pen,... Open forms of global constraints allow the addition of new variables to an argument during the execution of a constraint program. Such forms are needed for difficult constraint programming problems where problem construction and problem solving are ... Model Driven Development (MDD) refers to the systematic use of models as primary engineering artefacts throughout a software development life cycle. In recently years, MDD has been increasingly employed to guide development with a focus on system ... Wireless networks are being used increasingly in industrial, health care, military and public-safety environments.In these environments security is extremely important because a successful attack against the network may pose a threat to human life. To ... APCO Project 25 (P25) is the digital communications standard that has widespread deployment amongst emergency ?rst-responders in several different countries. This paper describes the implementation of a low-cost software-defined radio receiver for APCO ... The sensor network localization problem is one of determining the Euclidean positions of all sensors in a network given knowledge of the Euclidean positions of some, and knowledge of a number of inter-sensor distances. This paper identifies graphical ... This paper examines software architecture through the lenses of four basic organizational perspectives and identifies opportunities for research to improve the positioning, acceptance and support of the discipline within organizations. It concludes that ... This research investigates how to provide automated analysis and decision-making support for adaptation of business processes and underlying software infrastructure, in the way that both maximizes business value metrics (e.g., profit, return on investment... We address the problems that Web service management policies are not defined during Web service design (they are usually defined later, during deployment or run-time) and that management information collected during run-time is not directly annotated ... In this paper, we show how to apply recent tools for the automatic synthesis of robust and near-optimal controllers for a real industrial case study. We show how to use three different classes of models and their supporting existing tools, TiGA ... Software development governance is a nascent field of research. Establishing how it is framed early, can significantly affect the progress of contributions. This position paper considers the nature and role of governance in organizations and in the ... It is increasingly common for users to have accounts with multiple different social networking services. Motivated by this scenario, “social aggregation” services have been intro- duced, which aggregate the information available through various ... This paper further examines why some software development organizations decide not to adopt CMMI by replicating an earlier Australian study in another country. The study examines data collected from the efforts of three consulting firms to sell a CMMI ... Background: A Technical Development Process (TDP) is a development process for a particular technology, such as XML, service orientation, object orientation or a programming language. Unlike software development life-cycle processes, TDPs provide concrete... This research investigates how to provide automated analysis and decision-making support for adaptation of business processes and underlying software infrastructure, in the way that both maximizes business value metrics (BVMs) (e.g., profit, return on ... The stable marriage problem is a well-known problem of matching men to women so that no man and woman who are not married to each other both prefer each other. Such a problem has a wide variety of practical applications ranging, from matching ... This is the editorial for the JAR special issue on Operating System Verification. Application software in pervasive computing is required to control devices embedded in the environment by being aware of the contexts on which eectiveness of the devices depend. Developers face di culties to enumerate involved physical prerequisites for ... This paper proposes a cognitive and integrated communication system that can support any combination of transmission media (TM) available in a future digital home. To avoid the overhead with frequent hand-over in relation to authentication, association ... Systems delivering stored video content using a peer-assisted approach are able to serve large numbers of concurrent requests by utiliz- ing upload bandwidth from their clients to assist in delivery. In systems providing download service, ... Compositional heterogeneity is a poorly appreciated attribute of aligned nucleotide and amino acid sequences. It is a common property of molecular phylogenetic data, and it has been found to occur across sequences and/or across sites. Most molecular ... The i* framework is a goal-oriented approach that addresses organizational IT requirements engineering concerns, and is considered an effective technique for analyzing dependencies between actors. However, the effectiveness and limitations of i* are ... We introduce the DR-CONTRACT architecture to represent and reason on e-Contracts. The architecture extends the DR-device architecture by a deontic defeasible logic of violation. We motivate the choice for the logic and we show how to extend ... Partial proposal for the IEEE 802.15.6 PHY and MAC standard. Edited book on localization Abstract— Localization is an important aspect in the field of wireless sensor networks that has attracted significant research interest recently. The interest in wireless sensor network localization is expected to grow further with the advances in the ... It has been shown that isometric matching problems can be solved exactly in polynomial time, by means of a Junction Tree with small maximal clique size. Recently, an iterative algorithm was presented which converges to the same solution an order of ... We consider secure communication for Body-Area-Networks (BAN's). We examine the near-body radio channel of BAN's as a source of common randomness between two sensors. The movement of the subject and associated fading is used to hide a secure key from ... We propose a different approach to determining network availability of mobile nodes which leverages on the fact that nodes on the move will meet other nodes who will be able to share conditions of networks they have recently encountered. This paper ... In current dynamic business environment, it has been argued that certain characteristics of ad-hocism in business processes are desirable. Such business processes typically have a very large number of instances, where design decisions for each process ... This special issue contains expanded versions of papers that appeared in preliminary form in the proceedings of the 18th International Conference on Algorithmic Learning Theory (ALT 2007), which was held in Sendai, Japan during October 1--4, 2007. ... Researching organization structures is no longer in fashion. However, a recent study uncovered gaps in our knowledge about the structure of software projects and their associated risks. This paper develops risk profiles from the literature for four common... Organizations are increasingly outsourcing the development of strategic IT systems to external vendors. Because of the importance of such systems to a client organization, unaddressed risks that develop into serious problems can have a huge negative ... Without careful methodological guidance, case studies in software engineering are difficult to plan, design and execute. While there are a number of broad guidelines for case study research, there are none that specifically address the needs of a software... A video sharing service allows ``user generated'' video clips to be uploaded, and users of the service to view, rate, and comment on uploaded videos. Prior work has focused mostly on the YouTube video sharing service. While YouTube is arguably the ... In this paper we show how defeasible logic could formally account for the non-monotonic properties involved in motivational attitudes like intention and obligation. Usually, \emph{normal} modal operators are used to represent such attitudes ... - Detailing the advantages of traffic control systems in providing an adaptive response to traffic demand and management - Exploring the recent developments in real-time traffic state modelling and new technology for tracking and reporting traffic ... Current automatic cognitive load measurement system uses MFCC and prosody as features. These features utilize only the magnitude part of the speech spectrum. This paper aims to improve the performance of this baseline system by introducing phase based ... As a major prosodic feature, duration-based features have been explored in related areas but the existing approaches require manually annotated corpus to train the segmentation models, which may be cost and time-consuming. In this paper, a novel duration ... This article surveys and gives historical accounts to the algorithmic essentials of directed model checking, a promising bug-hunting technique to mitigate the state explosion problem. In the enumeration process, successor selection is prioritized. We ... A key problem that challenges the designers of service-oriented systems is ensuring the consistency of contract parameter values in service composition. This paper utilizes constraint satisfaction approach to examine the problem at design time and by ... Clustering problems in a complex geographical setting are often required to incorporate the type and extent of land cover within a region. Given a set P of n points in a geographical setting, with the constraint that the points of P can only occur in one ... Spectral and excitation features, commonly used in automatic emotion classification systems, parameterise different aspects of the speech signal. This paper groups these features as speech production cues, broad spectral measures and detailed spectral ... Mashup provides a way of forming new applications from existing Web content using APIs provided by different Web sites. Such a nature makes mashup a promising technology to deliver a Web-based Enterprise application with rich information of various ... Search has a lot to do with what it is that is actually being searched. Traditionally, this has been documents, but our notion of a “document” is blurring. People are also interested today in connecting with people through social networks or discovering ... As the digital information takes more space in everyday life, users suffering from language impairments are left in a gap. It is essential that search systems take into account such impairments to help users. Language impairments vary so much from one... We propose hashing to facilitate efficient kernels. This generalizes previous work using sampling and we show a principled way to compute the kernel matrix for data streams and sparse feature spaces. Moreover, we give deviation bounds from the exact kernel ... In this paper we examine the problem of optimal bearing-only localization of a single target using synchronous measurements from multiple sensors. We approach the problem by forming geometric relationships between the measured parameters and their ... The stability of a dynamic narrowband on-body area channel is characterized based on real-time measurements of the time domain channel response at frequencies near the 900MHz and 2400MHz, Industrial, Scientific and Medical (ISM) bands. A new parameter,... Management (monitoring and control) of service-oriented systems is needed to ensure their regular operation, attain guaranteed quality of service (QoS), and accommodate changes. Monitoring is used to measure technical QoS (e.g., response time, ... Software project managers require reliable methods for estimating software project costs, and it is especially important at the early stage of software cycle. For this purpose, analogy for software cost estimation has been considered as an suitable ... Determining the scope, size, cost and effort of a Service Oriented Architecture (SOA) project is important to building the business case and securing the funding for the project. Little work has been done in examining the various aspects of SOA projects ... It is a typical scenario that many organisations have their business processes specified independently of their business obligations (which includes contractual obligations to business partners, as well as obligations a business has to fulfil ... Matlab worksheets for the synthesis and simulation of 2nd, 3rd, and 4th order systems using passive loop filters. The method employed is derived from Dean Banerjee's Book "PLL Performance, Simulation, and Design" 4th Edition. Matlab worksheets for the synthesis and simulation of 2nd, 3rd, and 4th order systems using passive loop filters. The method employed is derived from Dean Banerjee's Book "PLL Performance, Simulation, and Design" 4th Edition. Overall query execution time consists of the time spent transferring data from disk to memory, and the time spent performing actual computation. In any measurement of overall time on a given hardware confi guration, the two separate costs are aggregated. ... Quadrature orthogonal frequency division multiple access (Q-OFDMA) systems have been recently proposed to reduce the peak-to-average power ratio (PAPR) and complexity, and improve carrier frequency offset (CFO) robustness and frequency diversity for the ... Systems code is almost universally written in the C programming language or a variant. C has a very low level of type and memory abstraction and formal reasoning about C systems code requires a memory model that is able to capture the semantics of C ... Detecting outliers which are grossly different from or inconsistent with the remaining dataset is a major challenge in real-world KDD applications. Existing outlier detection methods are ineffective on scattered real-world datasets due to implicit data ... In this paper, we consider the coherent theory of (epistemic) uncertainty of Walley, in which beliefs are represented through sets of probability distributions, and we focus on the problem of modeling prior ignorance about a categorical random variable. ... We present two unitary space-time signal designs for two or more transmit antennas. The first design is a reparametrization of rotations applied to diagonal matrices to form unitary space-time codes. The rotations are applied as matrices similar to ... Managing the power consumption of computing platforms is a prohibitively complicated problem thanks to a multitude of hardware configuration options and characteristics. Much of the academic research is based on unrealistic assumptions, and has, therefore... We consider secure communication for Body-Area-Networks (BAN's). We examine the near-body radio channel of BAN's as a source of common randomness between two sensors. The movement of the subject and associated fading is used to hide a secure key from ... This paper evaluates pointer tainting, an incarnation of Dynamic Information Flow Tracking (DIFT), which has recently become an important technique in system security. Pointer tainting has been used for two main purposes: detection of ... This paper considers the problem of reduction of self-localization errors in multi-agent autonomous formations when only distance measurements are available to the agents in a globally rigid formation. It is shown that there is a relationship between ... Reliable broadband communication is becoming increasingly important during disaster recovery and emergency response operations. In situations where infrastructure-based communication is not available or has been disrupted, an Incident Area Network needs ... Product line approaches are well-known in many manufacturing industries, such as consumer electronics, medical systems and automotive [1]. In recent years, approaches with a similar background have rapidly emerged within Software Engineering, so ... This paper presents an approach of moving vehicle detection and cast shadow removal for video based traffic monitoring. Based on conditional random field, spatial and temporal dependencies in traffic scenes are formulated under a probabilistic ... In this paper, we study the giant component, the largest component containing a non-vanishing fraction of nodes, in a wireless multi-hop network where n nodes are randomly and uniformly distributed in [0; 1]d (d = 1; 2) and any two nodes can ... Wireless multihop networks, in various forms, are being increasingly used in military and civilian applications. Advanced applications of wireless multihop networks demand better understanding on their properties. Existing research on wireless ... Energy saving is an important design consideration in wireless sensor networks. In this paper, we analyze the energy savings that can be achieved in a sensor network where each sensor is capable of reducing its transmission power from a maximum power ... Use of hardware-based memory protection to implement a componentised system is an effective way to enforce isolation between untrusted software components. Unfortunately this type of system design can lead to poor performance. Manual optimisation is ... Erroneous local geometric realizations in some parts of the network due to their sensitivity to certain distance measurement errors is a major problem in wireless sensor network localization. This may in turn affect the localization of either the ... We describe the mechanisation of SLR parsing, covering background properties of context-free languages and grammars, as well as the construction of an SLR automaton. Among the various properties proved about the parser we show, in particular, soundness: ... This paper develops an ontological basis for evaluating software design methods, based on the situated function-behaviour-structure (FBS) framework. This framework accounts for the situatedness of designing, viewing it as a dynamic activity driven by the ... In this third Quantum Interaction (QI) meeting it is time to examine our failures. One of the weakest elements of QI is its continuing lack of models displaying proper Schr¨odinger-type time evolution. This paper presents an overview of the modern ... In this paper, we study the giant component, the largest component containing a non-vanishing fraction of nodes, in wireless multi-hop networks in Adequacy is an important criterion for judging the correctness of formal reasoning. The issue is particularly subtle in the expansive case of approaches to languages with name-binding. We posit that adequacy of a novel representation technique is best ... Gabor feature constrained statistical model for efficient landmark localization and face recognition Feature extraction and classification using Gabor wavelets have proven to be successful in computer vision and pattern recognition. Gabor feature-based Elastic Bunch Graph Matching (EBGM), which demonstrated excellent performance in the FERET evaluation ... B-SCP is a promising framework addressing alignment of IT with business strategy from a requirements engineering persective. A problem with the B-SCP framework is that it is extremely difficult to track dependencies between requirements in a project ... Server virtualisation is addressing tomorrow’s environmental challenges by enabling higher average server utilisation and reduced electricity consumption resulting in decreased green house emissions. In this presentation Server Oriented Performance ... The import of the notion of institution in the design of MASs requires to develop formal and efficient methods for modeling the interaction between agents' behaviour and normative systems. This paper discusses how to check whether agents' ... Context modelling approaches differ in what concepts can be captured by application designers, in the expressive power of the context models, in the support they can provide for reasoning about context, and in the way they facilitate software engineering ... Recently, subband frame-averaged frequency modulation (FM) as a complementary feature to amplitude-based features for several speech based classification problems including speaker recognition has shown promise. One problem with using FM extraction in ... The planning problem in Artificial Intelligence was the first application of SAT to reasoning about transition systems and a direct precursor to the use of SAT in a number of other applications including bounded model-checking in computer-aided ... We present details of channel measurements around 400MHz for on-body to on-body radio communication using human subjects. The results extend previous works IEEE 802.15-08-354-01-0006 Power delay profile analysis for dynamic BAN channel measurements around 2400MHz, 900MHz and 400MHz We make the case for virtual shared memory (VSM) for supporting future many-core chips. VSM is a shared memory abstraction implemented over distributed memory by a hypervisor, providing the operating system direct access to all memory in the system. VSM ... Real-time strategy (RTS) games often feature a wide number unit types for the player to control. One of my favourite titles from the past, Westwood's seminal Red Alert, had many classes of differently sized units: small infantry soldiers, medium-sized ... The impact of model-based design on the software engineering community is impressive, and recent research in model transformations, and elegant behavioral specifications of systems has the potential to revolutionize the way in which systems are designed. ... In complex and time-critical situations, system users can experience extremely high cognitive load, which can interfere with task completion. An understanding of the users’ cognitive load will enable us to alleviate these problems by implementing ... Given i.i.d. data from an unknown distribution, we consider the problem of predicting future items. An adaptive way to estimate the probability density is to recursively subdivide the domain to an appropriate data-dependent granularity. A Bayesian would ... The Conference on Artificial General Intelligence is the only major conference series devoted wholly and specifically to the creation of AI systems possessing general intelligence at the human level and ultimately beyond. Its second installation, AGI-09, ... General purpose intelligent learning agents cycle through (complex,non-MDP) sequences of observations, actions, and rewards. On the other hand, reinforcement learning is well-developed for small finite state Markov Decision Processes (MDPs). So far it is ... Feature Markov Decision Processes (PhiMDPs) are well-suited for learning agents in general environments. Nevertheless, unstructured (Phi)MDPs are limited to relatively simple environments. Structured MDPs like Dynamic Bayesian Networks (DBNs) are used for... Variance in business process execution can be the result of several situations, such as disconnection between documented models and business operations, workarounds in spite of process execution engines, dynamic change and exception handling, flexible and... A hyperbolic arctan based Digital Tanlock Loop (D-TLL) operating with complex signals at baseband or intermediate frequencies in high Doppler environments is treated here. The arctand D-PLL, known as the tanlock loop (TLL), is used in software defined ... One of the most important questions in social networks is the identification of cohesive subgroups (a.k.a. community identification). These cohesive subgroups are loosely defined as collection of individuals who interact frequently. Once the communities ... This paper gives a high-level introduction to the topic of formal, interactive, machine-checked software verification in general, and the verification of operating systems code in particular. We survey the state of the art, the advantages and ... Given a connected geometric graph G, we consider the problem of constructing a t-spanner of G having the minimum number of edges. We prove that for every real number t with 1 < t < 1/4*log n, there exists a connected geometric graph G with n vertices, ... In this presentation we provide an overview of NICTA’s performance modelling approach, and then explore a number of alternative deployment scenarios for an example SOA application — an emissions trading system. Our modelling approach provides insights ... “Satisfiability (SAT) related topics have attracted researchers from various disciplines: logic, applied areas such as planning, scheduling, operations research and combinatorial optimization, but also theoretical issues on the theme of complexity and ... We present results from two studies where users’ speech was analysed to determine their cognitive load for the task at hand. Certain speech features have been shown to change under high levels of load and are good candidates for cognitive load indices. ... This study utilized the multi-instrument data of the Defense Meteorological Satellite Program to investigate the evening/nighttime topside ionosphere during the 1996/1997 southern summer. A series of regional surface maps were constructed and permitted ... The sensor network localization problem with distance information is to determine the positions of all sensors in a network, given the positions of some of the sensors and the distances between some pairs of sensors. A definition is given of what is ... Query Expansion is commonly used in Information Retrieval to overcome vocabulary mismatch issues, such as synonymy between the original query terms and a relevant document. In general, query expansion experiments exhibit mixed results. Overall TREC ... In a multimodal interface, a user can use multiple modalities, such as speech, gesture, and eye gaze etc., to communicate with a system. As a critical component in a multimodal interface, multimodal input fusion explores the ways to effectively interpret ... Poster presented for AusCTW 2009, Non-coherent fractional sampling UWB receiver Characterizations of the dynamic narrowband on-body to on-body, and on-body to off-body area channel A summary of statistical characterizations is presented of the dynamic narrowband on-body and on-body to off-body area channel at carrier frequencies near the 900 MHz and 2400 MHz Industrial, Scientific and Medical Bands. In consideration of an ... This paper finds the number of essential Fourier coefficients required to synthesise an arbitrary wave field composed of plane waves from all directions. We analyse the problem in rectangular coordinates for 1D, 2D and 3D regions, and our findings ... Abstract—This paper presents an efficient low-complexity clipping noise compensation scheme for PAR reduced orthogonal frequency division multiple access (OFDMA) systems. Conventional clipping noise compensation schemes proposed for OFDM systems are ... Walley's Imprecise Dirichlet Model (IDM) for categorical i.i.d. data extends the classical Dirichlet model to a set of priors. It overcomes several fundamental problems which other approaches to uncertainty suffer from. Yet, to be useful in practice, one ... This paper studies the problem of controlling the shape of a formation of point agents in the plane. A model is considered where the distance between certain agent pairs is maintained by one of the agents making up the pair; if enough appropriately ... Recent years have seen considerable interest in procedures for computing finite models of first-order logic specifications. One of the major paradigms, MACE-style model building, is based on reducing model search to a sequence of propositional ... Microcontroller software typically consists of a few hundreds lines of code only, but it is rather different from standard application code. The software is highly hardware and platform specific, and bugs are often a consequence of neglecting subtle ... We provide a finite basis for the (in)equational theory of the process algebra BCCS modulo the weak failures preorder and equivalence. We also give positive and negative results regarding the axiomatizability of BCCS modulo weak impossible futures ... The intercalated disc (ICD) occupies a central position in the transmission of force, electrical continuity and chemical communication between cardiomyocytes. Changes in its structure and composition are strongly implicated in heart failure. ICD ... CCTV cameras are becoming a common fixture at the roadside. Their use varies from traffic monitoring to security surveillance. In this paper a novel technique, using Invariant Features of Local Textures (IFLT) & Support Vector Machine (SVM), for ... Due to the popularity of mobile devices, more and more commercial applications have been developed on these devices. While commercial applications are mostly backed by relational database systems, numerous database engines have been ported to or built on ... Background: Recent advances in experimental and computational technologies have fueled the development of many sophisticated bioinformatics programs. The correctness of such programs is crucial as incorrectly computed results may lead to wrong ... Hybrid Wireless Mesh Networks (WMN) are generally employed to establish communication during disaster recovery operations. The Hybrid WMN network is formed in a spontaneous manner when wireless nodes belonging to different agencies are operated in the ... This study utilizes a novel technique to map the Defense Meteorological Satellite Program (DMSP) data across the two hemispheres to learn about the morphology and plasma composition of the topside ionosphere, and the underlying ionospheric dynamics. In... The wider Social Network & Professional Network communities will benefit from interoperable standards for data portability, policy expression and accountability, and network migration. These standards need to be developed which addresses both the ... Efficient Information retrieval is the key goal of Semantic Web. This technology ameliorates the documents with metadata in a machine readable markup. Well known semantic search engines such as swoogle1 or SHOE2 use pre-fetched static indexing for ... Virtualization, well established in enterprise, is finding its way into embedded systems. However, the use cases differ dramatically between the domains, and this results in significant differences in the requirements on the virtual-machine technology.... This XML-based Emergency Data Exchange Language (EDXL) Resource Messaging specification describes a suite of standard messages for data sharing among emergency and other information systems that deal in requesting and providing emergency equipment, ... In this paper we construct an optimal IDMA receiver where the timing for each user is asynchronous. We derive the maximum likelihood receiver for a chip asynchronous IDMA system. A super-block structure is used to formulate a band diagonal matrix model... We unify f-divergences, Bregman divergences, surrogate loss bounds (regret bounds), proper scoring rules, matching losses, cost curves, ROC-curves and information. We do this by systematically studying integral and variational representations of these ... Background: Some diseases, like tumors, can be related to chromosomal aberrations, leading to changes of DNA copy number. The copy number of an aberrant genome can be represented as a piecewise constant function, since it can exhibit regions of deletions ... The problem of source localization has assumed increased importance in recent years. In this paper, we formulate a continuous time adaptive localization algorithm, that permits a mobile agent to estimate the location of a stationary source, using only ... Alive with movement and excitement, cities transmit a rapid flow of exchange facilitated by a meshwork of infrastructure connections. In this environment, the Internet has advanced to become the prime communication medium, creating a vibrant and ... Accurately detecting pedestrians is the first fundamental step for many computer vision applications such as video surveil- lance, smart vehicles, intersection traffic analysis, etc. This paper presents an experimental study on pedestrian detection ... A detailed study with statistical investigations was conducted on the morning topside ionosphere for the 1996/97 equinoctial period utilizing DMSP data and CTIP wind simulations. Highly structured plasma densities, including a daytime Weddell Sea Anomaly ... Hybrid Wireless Mesh Networks (WMN) are generally employed to establish communication during disaster recovery operations. The Hybrid WMN network is formed in a spontaneous manner when wireless nodes belonging to different agencies are operated in the... General-purpose, intelligent, learning agents cycle through sequences of observations, actions, and rewards that are complex, uncertain, unknown, and non-Markovian. On the other hand, reinforcement learning is well-developed for small finite state Markov ... We are interested in the problem of automatically tracking football players, subject to the constraint that only one vantage point is available. Tracking algorithms benefit from seeing the entire playing field, as one does not have to worry about objects... Large-margin structured estimation methods work by minimizing a convex upper bound of loss functions. While they allow for efficient optimization algorithms, these convex formulations are not tight and sacrifice the ability to accurately model the true... Tree walking transducers are an expressive formalism for reasoning about XSLT-like document transformations. One of the useful properties of tree transducers is decidability of type checking: given a transducer and input and output types, it can be ... Images captured in foggy weather conditions exhibit losses in quality which are dependent on distance. If the depth and atmospheric conditions are known, one can enhance the images (to some degree) by compensating for the effects of the fog. Recently, ... Approximate solutions to labelling problems can be found using binary graph cuts and the alpha-beta swap algorithm. In some specific cases, an exact solution can be computed by constructing a multilabel graph. However, in many practical applications ... This paper presents a novel discriminative approach for pave-ment scene understanding and obstacle detection in real-world images. It overcomes the heavy constraints in previous systems such as a simple background, a speci c obstacle, etc. The approach ... Large displays are now more widely used than ever before, yet the computer mouse remains the most common input tool for large displays users. The main drawback of the mouse is that it is only a tool for mapping hand movements to on-screen cursor movements... It is typically thought that the interaction between transcription factor (TF) and DNA is mediated by the ability of the TF to recognise a canonical DNA sequence, and the chromatin structure that renders the DNA accessible to the TF. As the DNA ... Humans frequently produce emergent properties or associates when com- bining concepts in new ways. This presentation will examine the manner in which concept combination can generate emergent properties suggest- ing that the process is abductive in ... Many applications in the field of scientific computing - such as computational biology, computational linguistics, and others - depend on Machine Learning algorithms to provide important core functionality to support solutions in the particular ... Systemic Lupus Erythematosus (SLE) is a complex autoimmune disease that has heterogeneous clinical manifestation with diverse patterns of organ involvement, autoantibody profiles and varying degrees of severity of disease. Research and clinical ... This paper investigates combining opportunistic routing techniques with multipath routing for achieving reliability and timeliness in fast-changing network conditions. We present two approaches, WIMOP and DOMR, based on source routing and distributed ... There is growing interest in applying agile practices in Global Software Development (GSD) projects. But project stakeholder distribution in GSD creates a number of challenges that make it difficult to use some agile practices. Moreover, little is known ... This paper explores the use of machine learning techniques to restore punctuation and case in English text, as part of which it investigates the co-dependence of case information and punctuation. We achieve an overall F-score of .619 for the task using a ... |