In this paper, we have studied a common Web service composition problem, the syntactic matching problem, where the output parameters of a Web service can be used as the input parameters of another Web service. Many au...
详细信息
In this paper, we have studied a common Web service composition problem, the syntactic matching problem, where the output parameters of a Web service can be used as the input parameters of another Web service. Many automatic Web service composition algorithms based on AI planning techniques have been proposed. However, most of them do not scale well when the number of Web services increases, or may miss finding a solution even if one exists. The planning graph, another AI planning technique, provides a unique search space. We have found that when we model the Web service composition problem as a planning graph, it actually provides a trivial solution to the problem. Instead of following the usual way to find a solution by a backward search, we put our efforts into removing the redundant Web services contained in the planning graph. Our approach can find a solution in polynomial time, but with possible redundant Web services. We have tested our algorithms on the data set used in ICEBEpsila05 and compared our results with existing methods.
The QAOOSE 2007 workshop brought together, for half day, researchers working on several aspects related to quantitative evaluation of software artifacts developed with the object-oriented paradigm and related technolo...
详细信息
作者:
Alberto BosioGiorgio Di NataleLanguages
Informatics Systems and Software Engineering Department Faculty of Computer Science Université Montpelher II Montpellier France
High-density components and process scaling lead more and more to the occurrence of new class of dynamic faults, especially in Static Random Access Memories (SRAMs), thus requiring more and more sophisticated test alg...
详细信息
High-density components and process scaling lead more and more to the occurrence of new class of dynamic faults, especially in Static Random Access Memories (SRAMs), thus requiring more and more sophisticated test algorithms. Among the different types of algorithms proposed for testing SRAMs, March Tests have proven to be the most performing due to their low complexity, their simplicity and regular structure. Several March Tests for dynamic faults have been published, with different fault coverage. In this paper we propose March BDN, an extended version of the March AB. We will prove that it is able to increase the fault coverage in order to target latest dynamic faults. We show that the proposed March BDN has the highest known fault coverage compared to March Tests with the same complexity.
In this paper, we propose an efficient algorithm, NCLOSED, for mining the N k-closed itemsets with the highest supports for 1 up to a certain k max value. The algorithm adopts best-first search strategy to generate c...
详细信息
In this paper, we propose an efficient algorithm, NCLOSED, for mining the N k-closed itemsets with the highest supports for 1 up to a certain k max value. The algorithm adopts best-first search strategy to generate closed itemsets with highest remaining supports. It does not keep closed itemsets mined in main memory to ensure that they are really closed. This is because this algorithm can directly generate closed itemsets. Moreover, duplicated closed itemsets are detected and discarded from this algorithm.
Ambiguity is a major problem of software errors because much of the requirements specification is written in a natural language format. Therefore, it is hard to identify consistencies because this format is too ambigu...
详细信息
ISBN:
(纸本)9781424439027
Ambiguity is a major problem of software errors because much of the requirements specification is written in a natural language format. Therefore, it is hard to identify consistencies because this format is too ambiguous for specification purposes. This paper aims to propose a method for handling requirement specification documents which have a similar content to each other through a hierarchical text classification. The method consists of two main processes of classification: heavy classification and light classification. The heavy classification is to classify the requirement specification documents having similar content together. Meanwhile, light classification is to elaborate specification requirement documents by using the Euclidean distance. Finally, slimming down the number of requirements specification through hierarchical text classification classifying may yield a specification which is easier to understand. That means the proposed method is more effective for reducing and handling in the requirements specification.
Increasingly drug discovery is turning to in-silico methods to find potential enzyme or protein-protein inhibitors. The quantitative structure-activity relationship (QSAR) is commonly used to find potential inhibitors...
详细信息
Increasingly drug discovery is turning to in-silico methods to find potential enzyme or protein-protein inhibitors. The quantitative structure-activity relationship (QSAR) is commonly used to find potential inhibitors in the search for new drugs. In this paper we propose to use a radial basis function (RBF) network to determine the QSAR of aldose reductase inhibitors (ARIs). We find that the RBF network shows promising results of predicting the bioactivities of the ARIs.
An increasingly popular and promising way for complex disease diagnosis is to employ artificial neural networks (ANN). Single nucleotide polymorphisms (SNP) data from individuals is used as the inputs of ANN to find o...
详细信息
An increasingly popular and promising way for complex disease diagnosis is to employ artificial neural networks (ANN). Single nucleotide polymorphisms (SNP) data from individuals is used as the inputs of ANN to find out specific SNP patterns related to certain disease. Due to the large number of SNPs, it is crucial to select optimal SNP subset and their combinations so that the inputs of ANN can be reduced. With this observation in mind, a hybrid approach - a combination of genetic algorithms (GA) and ANN (called GANN) is used to automatically determine optimal SNP set and optimize the structure of ANN. The proposed GANN algorithm is evaluated by using both a synthetic dataset and a real SNP dataset of a complex disease.
This paper presents a method of ontology-based sentiment classification to classify and analyse online product reviews of consumers. We implement and experiment with a support vector machines text classification appro...
详细信息
This paper presents a method of ontology-based sentiment classification to classify and analyse online product reviews of consumers. We implement and experiment with a support vector machines text classification approach based on a lexical variable ontology. After testing, it could be demonstrated that the proposed method can provide more effectiveness for sentiment classification based on text content.
In this paper, we present the result of our study on the application of artificial neural networks (ANNs) for adaptive channel equalization in a digital communication system using 4-quadrature amplitude modulation (QA...
详细信息
In this paper, we present the result of our study on the application of artificial neural networks (ANNs) for adaptive channel equalization in a digital communication system using 4-quadrature amplitude modulation (QAM) signal constellation. We propose a novel single-layer Legendre functional-link ANN (L-FLANN) by using Legendre polynomials to expand the input space into a higher dimension. A performance comparison was carried out with extensive computer simulations between different ANN-based equalizers, such as, radial basis function (RBF), Chebyshev neural network (ChNN) and the proposed L-FLANN along with a linear least mean square (LMS) finite impulse response (FIR) adaptive filter-based equalizer. The performance indicators include the mean square error (MSE), bit error rate (BER), and computational complexities of the different architectures as well as the eye patterns of the various equalizers. It is shown that the L-FLANN exhibited excellent results in terms of the MSE, BER and the computational complexity of the networks.
Different types of sensors are used to control and monitor complex systems in many applications, where the environmental parameters, e.g., temperature, humidity, etc., undergo large variations. In such conditions, the...
详细信息
Different types of sensors are used to control and monitor complex systems in many applications, where the environmental parameters, e.g., temperature, humidity, etc., undergo large variations. In such conditions, the sensor's output may be erroneous and the system being controlled may malfunction. The need of intelligent sensors arise in such situations. These sensors should be capable of compensating for the adverse effects of the environmental conditions on the sensor output and linearization of sensor response, in order to provide correct readout. In this paper, we propose a novel computationally efficient Legendre functional-link artificial neural network (L-FLANN) to develop a smart sensor that can compensate for the adverse effects of the environmental conditions. By taking two types of environmental models and a pressure sensor, we have shown with extensive computer simulations that the proposed smart sensor is computationally efficient with respect to a multi-layer perceptron (MLP)-based sensor model and capable of satisfactory linearization of sensor output. This smart sensor produces only plusmn0.5% full-scale error between the actual and estimated output for the two selected environmental models under a temperature variation of -50 to 200degC.
暂无评论