The purpose of this paper is to present data dependence results for some multivalued weakly Picard operatorors such as: Reich-type operators, graphic-contractions.

This paper describes a general and powerful method for dependence analysis in the presence of recursive data constructions. The particular analysis presented is for identifying partially dead recursive data, but the general framework for representing and manipulating recursive substruc-tures applies to all dependence analyses. The method uses projections based on general regular tree grammars e...

It is common t o assume sensor independence in the sensory data fus ion and integration. In [l] and [2], we have illustrated that the t eam consensus approach based o n information entropy can remarkably improve the measurement accuracy. T h e major benefits of the approach are (a) the simple linear combination of the weighted initial expected estimates f o r each sensor; and (b) the low order ...

It has been accepted that multiple classifier systems provide a platform for not only performance improvement, but more efficient and robust pattern classification systems. A variety of combining methods have been proposed in the literature and some work has focused on comparing and categorizing these approaches. In this paper we present a new categorization of these combining schemes based on ...

This paper presents a new approach to structural testing, called dependence testing. First we propose dependence oriented coverage criteria that extend conventional data flow oriented coverage criteria with control dependence. This allows one to capture the full dependence information of a program or specification systematically. We then describe a model checking-based approach to test generati...