A fundamental problem when performing incremental learning is that the best set of a classification system’s parameters can change with the evolution of the data. Consequently, unless the system self-adapts to such changes, it will become obsolete, even if the application environment seems to be static. To address this problem, we propose a dynamic optimization approach in this paper that perfo...

This paper presents incremental verification-validation, a novel approach for checking rich data structure invariants expressed as separation logic assertions. Incremental verification-validation combines static verification of separation properties with efficient, shortcircuiting dynamic validation of arbitrarily rich data constraints. A data structure invariant checker is an inductive predica...

In practical situations, it is of interest to investigate computing approximations of sets as an important step of knowledge reduction of dynamic covering decision information systems. In this paper, we present incremental approaches to computing the type-1 and type-2 characteristic matrices of dynamic coverings whose cardinalities increase with immigration of more objects. We also present the ...

Researchers have observed that multistage clustering can accelerate convergence and improve clustering quality. Two-stage and two-phase fuzzy C-means (FCM) algorithms have been reported. In this paper, we demonstrate that the FCM clustering algorithm can be improved by the use of static and dynamic single-pass incremental FCM procedures. Keywords-Clustering; Fuzzy C-Means Clustering; Incrementa...

Ab&aet-Finite element procedures fur the dynamic analysis of fluid-structure systems are presented and evaluated. The fluid is assumed to be inviscid and compressible and is described using an updated &ran@an formulation. Variable-number-nodes isopammetric twoand threedimensional elements with hmtped or consistent mass idealization are employed in the finite element discretization, and the incr...

In this paper we analyze the effectiveness of dynamic artificial diversity, i.e., artificial diversity in which the subject of the diversity is re-randomized periodically. We refer to a mechanism that implements dynamic diversity as a Metamorphic Shield since this mechanism applies metamorphosis to the system’s attack surface to try to shield the system from certain attacks. Contrary to intuiti...