Displaying 21 – 40 of 108

Showing per page

Generalized Möbius transformation of knowledge bases

Milan Daniel (1998)

Kybernetika

Möbius transformation is an important tool for establishing weights of compositional expert systems rules from conditional weights. In this paper, an applicability of Möbius transformation of rule bases is also extended to knowledge bases with elementary disjunctions in antecedents of rules. This paper contains an existence theorem, an algorithm of the transformation and some open problems which tend to maximal generality as well.

Generalized Nets Model of an E-Learning System Software Architecture

Dimov, Aleksandar, Ilieva, Sylvia (2007)

Serdica Journal of Computing

The paper has been presented at the International Conference Pioneers of Bulgarian Mathematics, Dedicated to Nikola Obreshko ff and Lubomir Tschakaloff , Sofi a, July, 2006.Component-based software engineering and software architecture are tightly connected areas in computer science. Software architecture presents the functionality of the system as decomposition into components, the properties of these components and the connectors between them. This paper illustrates a methodology for application...

Generalized polar varieties and an efficient real elimination

Bernd Bank, Marc Giusti, Joos Heintz, Luis M. Pardo (2004)

Kybernetika

Let W be a closed algebraic subvariety of the n -dimensional projective space over the complex or real numbers and suppose that W is non-empty and equidimensional. In this paper we generalize the classic notion of polar variety of W associated with a given linear subvariety of the ambient space of W . As particular instances of this new notion of generalized polar variety we reobtain the classic ones and two new types of polar varieties, called dual and (in case that W is affine) conic. We show that...

Generalized Thue-Morse words and palindromic richness

Štěpán Starosta (2012)

Kybernetika

We prove that the generalized Thue-Morse word 𝐭 b , m defined for b 2 and m 1 as 𝐭 b , m = s b ( n ) mod m n = 0 + , where s b ( n ) denotes the sum of digits in the base- b representation of the integer n , has its language closed under all elements of a group D m isomorphic to the dihedral group of order 2 m consisting of morphisms and antimorphisms. Considering antimorphisms Θ D m , we show that 𝐭 b , m is saturated by Θ -palindromes up to the highest possible level. Using the generalisation of palindromic richness recently introduced by the author and E. Pelantová,...

Generalizing substitution

Tarmo Uustalu (2003)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

It is well known that, given an endofunctor H on a category , the initial ( A + H - ) -algebras (if existing), i.e., the algebras of (wellfounded) H -terms over different variable supplies A , give rise to a monad with substitution as the extension operation (the free monad induced by the functor H ). Moss [17] and Aczel, Adámek, Milius and Velebil [2] have shown that a similar monad, which even enjoys the additional special property of having iterations for all guarded substitution rules (complete iterativeness),...

Generalizing Substitution

Tarmo Uustalu (2010)

RAIRO - Theoretical Informatics and Applications

It is well known that, given an endofunctor H on a category C , the initial (A+H-)-algebras (if existing), i.e. , the algebras of (wellfounded) H-terms over different variable supplies A, give rise to a monad with substitution as the extension operation (the free monad induced by the functor H). Moss [17] and Aczel, Adámek, Milius and Velebil [12] have shown that a similar monad, which even enjoys the additional special property of having iterations for all guarded substitution rules (complete...

Generated fuzzy implications and fuzzy preference structures

Vladislav Biba, Dana Hliněná (2012)

Kybernetika

The notion of a construction of a fuzzy preference structures is introduced. The properties of a certain class of generated fuzzy implications are studied. The main topic in this paper is investigation of the construction of the monotone generator triplet ( p , i , j ) , which is the producer of fuzzy preference structures. Some properties of mentioned monotone generator triplet are investigated.

Currently displaying 21 – 40 of 108