There are many different ways of proving formulas in proposition logic. Many of these can easily be characterized as forms of resolution (e.g. [12] and [9]). Others use so-called...
In the field of pattern recognition, multiple classifier systems based on the combination of outputs of a set of different classifiers have been proposed as a method for the devel...
In the field of pattern recognition, the combination of an ensemble of neural networks has been proposed as an approach to the development of high performance image classification...
One of the problems of the recent approaches to problem solving based on deep knowledge is the lack of a formal treatment of incomplete knowledge. However, dealing with incomplete...
Abstract-- This paper discusses topological geometrical aspects and a control strategy for a distributed port-Hamiltonian system with a non-integrable structure called a distribute...