Research Publications
All | |
| Narrow your search | 4931 result(s) |
By Type
By Year By Research Group
| The Affine ADD (AADD) is an extension of the Algebraic Decision Diagram (ADD) capable of compactly representing context-specific, additive and multiplicative structure in functions from a discrete domain to a real-valued range. In this paper, we ... The ability to automatically classify different cognitive load levels can be very useful, especially in the field of human computer interaction, as human task performance is related to the cognitive load experienced. Although Mel-frequency cepstral ... Within the service-oriented computing domain, Web service composition is an effective realization to satisfy the rapid changing requirements of business. Therefore, the research into Web service composition has unfolded broadly. Since examining all of the... Wireless link quality estimations are essential for the optimal operation of various network functions like routing and rate adaptation. In this paper, we present a new link quality metric named Effective Link Capacity (ELC), which predicts link capacity ... Abstract—In Mobile Social Networks(MSN) individuals with similar interests or commonalities, connect to each other using the mobile phones. Validation of protocols for these networks relies almost exclusively on simulations. Thus a simulation using a ... Erroneous local geometric realizations in some parts of the network due to the sensitivity to certain distance measurement errors is a major problem in wireless sensor network localization, which may in turn affect the reliability of the localization ... Current devices use a network selection policy that is mostly driven by the physical layer, choosing the point of attachment with the highest Received Signal Strength Indicator (RSSI). Unfortunately for 802.11 networks, RSSI is not a good indicator of ... Architecting applications for the Cloud is challenging due to significant differences between Cloud infrastructures, and Cloud performance and scalability limitations. Clouds claim to offer benefits in terms of cost and elasticity under some situations, ... Developing a fusion-based system is one of the key research issues in modern Language Identification (LID) systems. In this paper we investigate existing fusion techniques for LID systems and propose an alternative solution.By directly utilizing ... Conventional Hidden Markov models generally consist of a Markov chain observed through a linear map corrupted by additive noise. This general class of model has enjoyed a huge and diverse range of applications, for example, speech processing, ... The use of simultaneous masking in speech enhancement has shown promise for a range of noise types. In this paper, a new speech enhancement algorithm based on a short-term temporal masking threshold to noise ratio (MNR) is presented. A novel functional ... Instance-based methods are a specific class of methods for automated proof search in first-order logic. This article provides an overview of the major methods in the area and discusses their properties and relations to the more established ... We describe our experience from the implementation of the T-MAC protocol for wireless sensor networks in the open-source Castalia simulator. Notwithstanding the popularity of the protocol in the research literature in recent years, we find several ... Coverage is an important problem in wireless networks. Together with the access probability, which measures how well an arbitrary user can access a wireless network, in particular VANET, they are often used as major indicators of the quality of the ... This paper explores visualizations of document collections, which we call topic maps. Our topic maps are based on a topic model of the document collection, where the topic model is used to determine the semantic content of each document. Using two ... The main goal of this guide is to provide an introduction to the defeasible logics reasoner – SPINdle . It teaches researchers how to carry out research using SPINdle and application developers how to embed SPINdle into their applications. In addition, it... We present results from a measurement campaign using 40 simultaneous links. The channel gain is shown to fit a log-normal distribution, and the level crossing rates and fade distributions are compared to derived theoretical second order log-normal ... Computational experiments with P2PSAP, a self adaptive communication protocol for peer to peer distributed computing are presented and analyzed. P2PSAP can configure itself automatically in function of application requirements and topology changes by ... Many important (particularly industry) solutions to research problems are included in patents, but not in academic publications. We studied patents invented by researchers associated with the annual IEEE/IFIP Business-Driven IT Management (BDIM) workshops... This paper investigates the impact of carrier frequency offset (CFO) on Single Carrier wireless communication systems with Frequency Domain Equalization (SC-FDE). We show that CFO in SCFDE systems causes irrecoverable channel estimation error, which ... An efficient and novel technique is developed for detecting and localizing corners of planar curves. This paper begins with a discussion of the gradient feature distribution of planar curves, followed by constructing Gradient Correlation Matrices (GCMs) ... Coexistence of multiple wireless body area networks (WBAN) is a very challenging problem because each piconet can have a large number of sensors and their movement is unpredictable. Moreover, suitable global coordination schemes do not exist as there is ... A dynamic narrowband on-body area communications scenario is characterized with respect to link margin as a difference between system operating point, in terms of receive power, and receiver sensitivity. The characterization is based on an extensive ... In many commercial applications of XML (Extensible Markup Language) Web services, it is necessary to know not only provided functionality, but also (guaranteed and/or achieved) quality of service (QoS). Potential QoS metrics of XML Web services include ... We analytically characterize the energy consumption per successfully transmitted packet in end-to-end packet transmissions in a identically and independently distributed in a square area following a homogeneous Poisson process. It is assumed that a ... One of the major causes of patient harm in hospital is poor communication. We are developing a video review and visualization platform to research and improve medics’ communication skills. It intended for use by experimenters, as a deployable training ... Poster accompanying Extended Abstract in submission QRL-3479 BACKGROUND: Systematic Literature Review (SLR) has become an important research methodology in software engineering since 2004. One critical step in applying this methodology is to design and execute appropriate and effective search strategy. This is ... Systematic Literature Reviews and Systematic Mapping Studies are relatively new forms of secondary studies in software engineering. Identifying relevant papers from various Electronic Data Sources (EDS) is one of the key activities of conducting these ... Abstract—Process modeling allows for analysis and improvement of processes that coordinate multiple people and tools working together to carry out a task. Process modeling typically focuses on the normative process, that is, how the collaboration ... Preference elicitation (PE) is an important component of interactive decision support systems that aim to make optimal recommendations to users by actively querying their preferences. In this paper, we outline five principles important for PE in ... During the development of an open-source exploratory sequential data analysis tool, broad control theory principles have guided user experience design. Closed-loop development practices guide the implementation discussion, which broadly comprises two ... We summarise ongoing research directed to the problem of prospectively evaluating the impact of eHealth technologies on work in the critical care context. We outline our approach and present a simplified model of clinical information pathways in a large ... The architecture of complex software systems is a collection of decisions that are very expensive to change. This makes effective software architecture evaluation methods essential in today’s system development for mission critical systems. We have ... This paper extends recent research on the risk implications of software project organization structures by considering how structure-related risk might be managed. Projects, and other organizations involved in projects, are usually structured according to... In SOA, Reputation-Based Trust (RBT) mechanism is applied to achieve trust management. RBT enables services to assess the trust level of other services based on the reputation accumulated from user recommendations. A key challenge to apply RBT is to ... Background: A central tenet of structural biology is that related proteins of common function share structural similarity. This has key practical consequences for the derivation and analysis of protein structures, and is exploited by the process of ‘... In this paper we investigate the complexity of temporal defeasible logic, and we propose an efficient algorithm to compute the extension of a temporalised defeasible theory. We motivate the logic showing how it can be used to model deadlines. We propose a systematic investigation on how to modify a preference relation in a defeasible logic theory to change the conclusions of the theory itself. We argue that the approach we adopt is applicable to legal reasoning, where users, in general, ... |