Pansharpening techniques aim at fusing the structural detail of the panchromatic and the color accuracy of the low-resolution spectral bands provided by Earth observation satellites to produce a high-resolution multispectral image. A large number of methods have been proposed in the literature, most of which were developed based on certain assumptions about the acquisition system. If any of the...

A key challenge of post-silicon validation methodology is to select a limited number of trace signals that are effective during post-silicon debug. Structural analysis used by traditional signal selection techniques are fast but lead to poor restoration quality. In contrast, simulation-based selection techniques provide superior restorability but incur significant computation overhead. While ea...

A key challenge of post-silicon validation methodology is to select a limited number of trace signals that are effective during post-silicon debug. Structural analysis used by traditional signal selection techniques are fast but lead to poor restoration quality. In contrast, simulation-based selection techniques provide superior restorability but incur significant computation overhead. While ea...

Knowledge Management is one of the most important goals of any organization. Therefore, several automatic tools are used for that purpose, e.g. Knowledge Based Systems (KBS), Experts Systems, Data Mining Applications and Computer Aided Decision Systems. The Validation and Verification (V&V) process is fundamental in order to ensure the quality of used knowledge. The usage of Automatic Verificat...

The structure of the social wasp communities was studied in the forest areas of the Karkonosze Mts. transformed by acid rains in 1989 and 1994. A significant increase of species diversity (H’) was observed in the season of the even year, which resulted from the increased competing interactions between queen mothers. Whereas the distribution of the species’ number decreased together with the alt...

In some pattern recognition processes bmed on recognizing structural features, a serious problem is poorly-cbawn lines which cause broken parts when a digital bitmap (a binary image) is madeof the line-jgure. This broken pattern changes the pattern structure, and increases the likelihood of rejection or misreading during the recognition process. Therefore, we have developed a restoration method...

During the last years, electrical utilities began to install intelligent applications in order to assist Control Centres operators. The Verification and Validation (V&V) process intends to assure the reliability of these applications, even under incident conditions. This paper addresses the Validation and Verification of Knowledge-Based Systems (KBS) in general, focussing particularly on the V&...