In program slicing, widget-based event-driven programs are different from conventional programs because of their particular features of object construction infrastructure and event-driven mechanism and asynchronous access of global variables. Therefore conventional slicing techniques cannot be applied to widget-based event-driven programs. To solve this problem, this paper first introduces a se...

Most machine learning and data mining algorithms require that the training data contain only discrete attributes, which makes it necessary to discretize continuous numeric attributes. Bottom-up discretization algorithms are well-known methods. They mainly focus on discretizing data based on either local or global independence measure. In this paper, we present a novel bottom-up discretization m...

We propose a new and rather stringent criterion for testing the goodness of fit between a theory and experiment. It is motivated by the paradox that the criterion on χ2 for testing a theory is much weaker than the criterion for finding the best fit value of a parameter in the theory. We present a method by which the stronger parameterfitting criterion can be applied to subsets of data in a glob...

Suucient conditions of existence and global asymptotic stability of a limit cycle induced by a relay with hysteresis feedback in a linear time-invariant stable system are derived. The criterion is based on inspection of the open loop step response, combined with estimations of certain measures of its variance. Unlike the well-known describing functions method, the proposed approach yields a rig...

Feature extraction is a very important preprocessing step for classification of hyperspectral images. The linear discriminant analysis (LDA) method fails to work in small sample size situations. Moreover, LDA has a poor efficiency for non-Gaussian data. LDA is optimized by a global criterion. Thus, it is not sufficiently flexible to cope with the multi-modal distributed data. In this work, we p...

In this paper, we study the global properties of classic SIS epidemic model with constant recruitment, disease-induced death and standard incidence term. We apply the Poincaré-Bendixson theorem, Dulac’s criterion, and the method of Lyapunov function to establish conditions for global stability. For this system, three Dulac functions and two Lyapunov functions are constructed for the endemic ste...