The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
In the presence of environmental noise, speaker verification systems inevitably see a decrease in performance. This paper proposes the (1) use of two parallel classifiers, (2) feature enhancement based on blind signal-to-noise ratio (SNR) estimation and (3) fusion, to improve the performance of speaker verification systems. The two classifiers are based on Gaussian mixture models and the partial least-squares...
The paper proposes the use of just mostly voiced speech (MVS) for speaker verification (SV). The speech is partitioned into an MVS part and a non-MVS part by a simple machine classification. SV experiments were held with a standard Gaussian mixture model (GMM) with universal background model (UBM) system and a GMM with computationally improved individual background model (IBM) system. They demonstrate...
The objective of this paper is to extend the applicability of the GLR method to a wide range of practical systems. Most real systems are nonlinear, multivariate, and are best represented by input-output type of models. Kernel partial least squares (KPLS) models have been widely used to represent such systems. Therefore, in this paper, kernel PLS-based GLR method will be utilized in practice to improve...
In the Era of the Internet of Things (IoT) the validity of sensing coverage is of utmost importance as it affects the reliability of sensing services. The presence of anchor misplacement poses a challenge on the validity of sensing coverage. This kind of challenge has generally been overlooked in sensing coverage research. In this paper, we investigate the sensing validity under several scenarios...
Testing every product of a software product line (SPL) is often not feasible due to the exponential number of products in the number of features. Thus, the order in which products are tested matters, because it can increase the early rate of fault detection. Several approaches have been proposed to prioritize products based on configuration similarity. However, current approaches are oblivious to...
The advancement of information technology and research in finance have recently led to flash decision making and actions by computer algorithms in order to respond to fast events occurring in the stock markets. This new area of technology involves the implementation of high-speed trading strategies which have generated significant amount of activity and information for financial research. In this...
Diderot is a parallel domain-specific language forthe analysis and visualization of multidimensional scientific images, such as those produced by CT and MRI scanners. Diderot is designed to support algorithms that are based on differential tensor calculus and produces a higher-order mathematical model which allows direct manipulation of tensor fields. One of the main challenges of the Diderot implementation...
The User Requirements Notation is a standard published by the International Telecommunication Union that contains two complementary notations for goal and scenario/workflow modeling. Use Case Maps (UCM) – the workflow notation – focuses on the causal relationships of the steps in a workflow without requiring the specification of detailed message exchanges and data. A UCM model captures the interactions...
Large-scale software systems like Amazon and healthcare.gov are used by thousands or millions of people every day. To ensure the quality of these systems, load testing is a required testing procedure in addition to the conventional functional testing techniques like unit and system integration testing. One of the important requirements of load testing is to create a field-like test environment. Unfortunately,...
Similarity measure is an important part of user-based collaborative filtering, where the prediction of the rank of the item depends on the similarity between users. In this paper, a novel weighting technique for the similarity measure is proposed in order to increase the accuracy of collaborative filtering. In this technique, the user weight of each category is calculated using the ranks of items...
A nested Latin hypercube DOE (Design Of Experiment) involves at least a low accuracy experiments and a high accuracy one in Finite Element Method (FEM) Simulation. How to use the information contained in the regression model of previous low accuracy experiments in the design of high accuracy one needs deeply study because such information may be ignored in evenly sampling method, leading to a imprecise...
In today's modern computing environment we are surrounded by a vast sea of electronic computing systems and devices. These systems are now closely integrated into our everyday lives and provide us with a wealth of computing power. While these systems provide us with great computational values, these very systems we have come to rely upon now also face issues regarding their own long term longevity...
Testing as a Service (TaaS) is a new business and service model that provides efficient and effective software quality assurance and enables the use of a cloud for the meeting of quality standards, requirements and consumer's needs. However, problems that limit the effective use of TaaS involve lack of standardization in writing, execution, configuration and management of tests and lack of portability...
The development of algorithms and models to be used for prediction of the reliability and health monitoring of components and sensors is of great importance in aerospace, automotive and power generation industry. For this purpose metamodels have been developed that are based on physical simulations and that are able to quantify the impact of uncertainties on system behavior. These surrogate metamodels...
Model-based mutation analysis is a powerful but expensive testing technique. We tackle its high computation cost by proposing an optimization technique that drastically speeds up the mutant execution process. Central to this approach is the Featured Mutant Model, a modelling framework for mutation analysis inspired by the software product line paradigm. It uses behavioural variability models, viz...
All engineering disciplines are founded and rely on models, although they may differ on purposes and usages of modeling. Interdisciplinary domains such as Cyber Physical Systems (CPSs) seek approaches that incorporate different modeling needs and usages. Specifically, the Simulink modeling platform greatly appeals to CPS engineers due to its seamless support for simulation and code generation. In...
We present SimCoTest, a tool to generate small test suites with high fault revealing ability for Simulink/Stateflow controllers. SimCoTest uses meta-heuristic search to (1) maximize the likelihood of presence of specific failure patterns in output signals (failure-based test generation), and to (2) maximize diversity of output signal shapes (output diversity test generation). SimCoTest has been evaluated...
One of the longstanding problems in spectral graph clustering (SGC) is the so-called model order selection problem: automated selection of the correct number of clusters. This is equivalent to the problem of finding the number of connected components or communities in an undirected graph. In this paper, we propose AMOS, an automated model order selection algorithm for SGC. Based on a recent analysis...
Apache ZooKeeper is a distributed data storage that is highly concurrent and asynchronous due to network communication, testing such a system is very challenging. Our solution using the tool "Modbat" generates test cases for concurrent client sessions, and processes results from synchronous and asynchronous callbacks. We use an embedded model checker to compute the test oracle for non-deterministic...
Despite analog SPICE-like simulators have reached their maturity, most of them were not originally conceived for simulating faulty circuits. With the advent of smart systems, fault testing has to deal with models encompassing both analog and digital blocks. Due to their complexity, the industry is still lacking of effective testing approaches for these analog and mixed-signal (AMS) models. The current...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.