Deep-learning-based semi-supervised learning (SSL) methods have achieved a strong performance in medical image segmentation, which can alleviate doctors' expensive annotation by utilizing a large amount of unlabel...
详细信息
softwares are naturally evolved to cope with various changing system requirements. software evolution includes a series of activities to analyze, assess, and validate the changes. This paper proposes an integrated sof...
详细信息
softwares are naturally evolved to cope with various changing system requirements. software evolution includes a series of activities to analyze, assess, and validate the changes. This paper proposes an integrated software evolution model, namely SE-FCA, to support four core software evolution activities: program comprehension,change impact analysis, regression testing, and fault localization. These four activities are integrated and supported under the formal concept analysis technique, which is efficient to deal with the relation between entities and entity properties to provide a remarkable insight into the structure of the original relation. These activities are evaluated in a unified empirical environment. The empirical study shows the effectiveness of these activities under the SEFCA model.
To better meet the challenge of providing effective,low-cost,energy efficient transport services,the concept of intelligent transport systems(ITS) has been proposed and lauded as an innovative and promising solution f...
详细信息
To better meet the challenge of providing effective,low-cost,energy efficient transport services,the concept of intelligent transport systems(ITS) has been proposed and lauded as an innovative and promising solution for next generation transport *** this paper,the progress of ITS research around the world is briefly reviewed and current challenges are outlined,thereby offering further insight into ITS development for all researchers in this area.
Traditional requirements method has some problems when it is used for large distributed systems. Multiple viewpoints oriented requirements method (MVORM) is a new method for resolving these problems. This paper develo...
详细信息
Traditional requirements method has some problems when it is used for large distributed systems. Multiple viewpoints oriented requirements method (MVORM) is a new method for resolving these problems. This paper develops two generic formal frameworks of MVORM, framework based on refinement relation (FBRR) and framework based on implementation relation (FBIR). They are generic, because no assumptions are made about the development process or the formal description languages to be used. Three kinds of specification relations and three kinds of specification transformations are discussed over FBIR and FBRR. This paper also compares the equivalence between FBIR and FBRR. We point out that an equivalent FBIR can be found for any FBRR, but reverse transformation is not always possible. We think FBIR is better than FBRR on most cases.
To meet the end-user's dynamically changed requirements for software and achieve the on-demand changes of operational process in time, based on the Goal model and the Process model, the user's personalized ope...
详细信息
To meet the end-user's dynamically changed requirements for software and achieve the on-demand changes of operational process in time, based on the Goal model and the Process model, the user's personalized operations of the related work were simplified and integrated, and rules for the cooperation between Goal and Process which fit for software engineers were proposed and formalized. The user's personalized operations of the related work were analyzed to conclude the pattern of Goal modification. By the direct drive of Goal modification, the corresponding changes of Process were induced and specified. Then rules for the cooperation between Goal and Process were concluded and the formalization was achieved in Semantic Web Rule Language (SWRL). In this paper, reasoning support was provided for the model modification based on ontology and the dynamic evolution of Process model.
With the development of Web service technology, using composite services to satisfy users' requirements has become an inevitable tendency. Goal changes caused by changing requirements of users may directly drive t...
详细信息
With the development of Web service technology, using composite services to satisfy users' requirements has become an inevitable tendency. Goal changes caused by changing requirements of users may directly drive the corresponding evolution of service composition. However, most researches focus on how to compose services, and little efforts have been placed on how to evolve the composite services with changing requirements. In this paper, the service composition patterns are defined based on workflow patterns, and the changes of service composition patterns are analyzed according to changing goals. Finally, a case study is given to demonstrate the feasibility of the proposed approach.
This paper presents a novel tracking algorithm which integrates two complementary trackers. Firstly, an improved Bayesian tracker(B-tracker) with adaptive learning rate is presented. The classification score of B-trac...
详细信息
This paper presents a novel tracking algorithm which integrates two complementary trackers. Firstly, an improved Bayesian tracker(B-tracker) with adaptive learning rate is presented. The classification score of B-tracker reflects tracking reliability, and a low score usually results from large appearance change. Therefore, if the score is low, we decrease the learning rate to update the classifier fast so that B-tracker can adapt to the variation and vice versa. In this way, B-tracker is more suitable than its traditional version to solve appearance change problem. Secondly, we present an improved incremental subspace learning method tracker(Stracker). We propose to calculate projected coordinates using maximum posterior probability, which results in a more accurate reconstruction error than traditional subspace learning tracker. Instead of updating at every time, we present a stopstrategy to deal with occlusion problem. Finally, we present an integrated framework(BAST), in which the pair of trackers run in parallel and return two candidate target states separately. For each candidate state, we define a tracking reliability metrics to measure whether the candidate state is reliable or not, and the reliable candidate state will be chosen as the target state at the end of each frame. Experimental results on challenging sequences show that the proposed approach is very robust and effective in comparison to the state-of-the-art trackers.
Recent years have witnessed a rapid growth in using Web services for data publishing and sharing among *** improve the efficiency of software development and economize on human and material resources,service reuse is ...
详细信息
Recent years have witnessed a rapid growth in using Web services for data publishing and sharing among *** improve the efficiency of software development and economize on human and material resources,service reuse is viewed as a powerful means which will not only reuse atomic services,but also reuse arbitrary granularities of Service process fragments(SPFs).However,effectively reusing arbitrary granularities of SPFs has not been solved yet,let alone taking diverse Qo S preferences of service providers and users into *** this paper,we propose a novel method of SPF reuse,named SCKY,based on the Cocke-Kasami-Younger(CKY) *** first present an extended CKY to do *** we address how to do SPF-query by a probability CKY,i.e.,return a SPF with maximum emergence ***,we explore the SPF-query with a consensus of Qo S preferences between service providers and *** a set of experiments,the effectiveness and robustness of our approach are evaluated.
Resources shared in e-Science have critical requirements on *** subjective trust management is essential to guarantee users' collaborations and communications on such a promising *** an important nature of subjective...
详细信息
Resources shared in e-Science have critical requirements on *** subjective trust management is essential to guarantee users' collaborations and communications on such a promising *** an important nature of subjective trust,uncertainty should be preserved and exhibited in trust definition,representation and *** the drawbacks of existing mechanisms based on random mathematics and fuzzy theory,this paper designs an uncertainty enhanced trust evolution strategy based on cloud model *** define subjective trust as trust *** we propose new algorithms to propagate,aggregate and update ***,based on the concept of similar cloud,a method to assess trust level is put *** simulation results show the effiectiveness,rationality and efficiency of our proposed strategy.
The existing camera tracking and perception methods mainly rely on sparse SLAM, which limits the dense perception ability of the scene and affects the reliability of auxiliary decision-making. Different from this, thi...
详细信息
暂无评论