: a proposed framework for using topic maps to manage information in blood donation units.
Taclets: a new paradigm for constructing interactive theorem provers.
Frameworks for interactive theorem proving give the user explicit control over the construction of proofs based on meta languages that contain dedicated control structures for describing proof construction. Such languages are not easy to master and thus contribute to the already long list of skills required by prospective users of interactive theorem provers. Most users, however, only need a convenient formalism that allows to introduce new rules with minimal overhead. On the the other hand, rules...
Taming the wild in impartial combinatorial games.
Teoretické problémy technickej kybernetiky
Test lineární separability
Testing and Validation of an Expert System for Advising on Spares for Maintenance Purposes
Testing statistical hypotheses in fuzzy environment.
In traditional statistics all parameters of the mathematical model and possible observations should be well defined. Sometimes such assumption appears too rigid for the real-life problems, especially while dealing with linguistic data or imprecise requirements. To relax this rigidity fuzzy methods are incorporated into statistics. We review hitherto existing achievements in testing statistical hypotheses in fuzzy environment, point out their advantages or disadvantages and practical problems. We...
Text document classification based on mixture models
Finite mixture modelling of class-conditional distributions is a standard method in a statistical pattern recognition. This paper, using bag-of-words vector document representation, explores the use of the mixture of multinomial distributions as a model for class-conditional distribution for multiclass text document classification task. Experimental comparison of the proposed model and the standard Bernoulli and multinomial models as well as the model based on mixture of multivariate Bernoulli distributions...
The 2nd Conference on Digitization
The Bhattacharyya metric as an absolute similarity measure for frequency coded data
This paper highlights advantageous properties of the Bhattacharyya metric over the chi-squared statistic for comparing frequency distributed data. The original interpretation of the Bhattacharyya metric as a geometric similarity measure is reviewed and it is pointed out that this derivation is independent of the use of the Bhattacharyya measure as an upper bound on the probability of misclassification in a two-class problem. The affinity between the Bhattacharyya and Matusita measures is described...
The concept of indirectness in artificial intelligence
The conjugacy between Cascades generated by a weakly nonlinear system and the Euler method of a flow
Sufficient conditions for the existence of a topological conjugacy between a cascade obtained from a weakly nonlinear flow by fixing the time step and a cascade obtained by the Euler method are analysed. The aim of this paper is to provide relations between constants in the Fečkan theorem. Given such relations an implementation of a weakly nonlinear neuron is possible.
The convergence rate for a -functional in learning theory.
The Coverage Model and Its Use in Image Processing
The current approaches in pattern recognition
The Diamond Tool: a way of effective development and utilization of knowledge
This paper presents the Diamond Tool for knowledge management. The main objective of its specification and implementation was to create a universal and easily extendable tool for efficient work with knowledge. One of its extensions is the eTrium technology. The principal idea behind this technology is to represent explicitly the knowledge used by the information system by means of a knowledge agent built on the Diamond Tool – in contrary to current approaches, where knowledge is present implicitly...
The embedding of the formal concept analysis into the L-Fuzzy concept theory.
In this work, we study the relation between the concept lattice of Wille ([5], [6]) and the L-Fuzzy concept lattice ([2]) developed by us. To do it, we have defined an application g that associates to each concept of Wille an L-Fuzzy concept. The main point of this work is to prove that if we are working with a crisp relation between an object set and an attribute set, the concept lattice of Wille is a sublattice of the L-Fuzzy concept lattice. At the end, we show a typical example in the formal...
The employment of Prolog for a syntax analysis in syntactic pattern recognition applications
The estimation of electric power losses in electrical networks by fuzzy regression model using genetic algorithm.
This paper presents the comparative study for fuzzy regression model using linear programming, fuzzy regression model using genetic algorithms and standard regression model. The fuzzy and standard models were developed for estimation of electric power losses in electrical networks. Simulation was carried out with a tool developed in MATLAB.
The expert system shell EQUANT-PC: brief information