This paper proposes an evolutionary RBF network classifier for polarimetric synthetic aperture radar ( SAR) images. The proposed feature extraction process utilizes the full covar...
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, Jame...
This paper presents our approach to the rule extraction problem from trained neural network. A method called REX is briefly described. REX acquires a set of fuzzy rules using an ev...
The mormyrid electric …sh displays extremely …ne temporal resolution as measured in behavioral studies. The …rst stage of sensory processing, the sensory a¤erents, also dis...
Ovidiu D. Iancu, Jianmei Zhang, Patrick D. Roberts...
Quantum effects are a natural phenomenon and just like evolution, or immune processes, can serve as an inspiration for the design of computing algorithms. This study illustrates ...
Kai Fan, Anthony Brabazon, Conall O'Sullivan, Mich...