Learn More
In this paper, we study the restoration of images corrupted by Gaussian plus impulse noise, and propose a l 1 –l 0 minimization approach where the l 1 term is used for impulse denoising and the l 0 term is used for a sparse representation over certain unknown dictionary of images patches. The main algorithm contains three phases. The first phase is to(More)
Using gene targeting in embryonic stem cells, we have derived mice with a null mutation in a DNA mismatch repair gene homolog, PMS2. We observed microsatellite instability in the male germline, in tail, and in tumor DNA of PMS2-deficient animals. We therefore conclude that PMS2 is involved in DNA mismatch repair in a variety of tissues. PMS2-deficient(More)
DNA methylation plays an important role in biological processes in human health and disease. Recent technological advances allow unbiased whole-genome DNA methylation (methylome) analysis to be carried out on human cells. Using whole-genome bisulfite sequencing at 24.7-fold coverage (12.3-fold per strand), we report a comprehensive (92.62%) methylome and(More)
Multi-label problems arise in various domains including automatic multimedia data categorization, and have generated significant interest in computer vision and machine learning community. However, existing methods do not adequately address two key challenges: exploiting correlations between labels and making up for the lack of labeled data or even missing(More)
SUMMARY Composite service selection is one of the core research issues in Web service composition. Because of the complex service correlation context, candidate services may perform differently when being used with other services. Presently, most service selection approaches ignore this issue, which makes the selected composite services less efficient than(More)
—In cluster analysis, the fuzzy c-means (FCM) clustering algorithm is the best known and most widely used method. It was proven to converge to either a local minimum or saddle points by Bezdek et al. Wei and Mendel produced efficient opti-mality tests for FCM fixed points. Recently, a weighting exponent selection for FCM was proposed by Yu et al. Inspired(More)
Service composition is becoming the dominant paradigm for developing Web service applications. It is important to ensure that a service composition complies with the requirements for the application. A rigorous compliance checking approach usually needs the requirements being specified in property specification formalisms such as temporal logics, which are(More)