The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying 161 –
180 of
518
In this paper we study bi-infinite words on two letters. We say that such a word has stiffness if the number of different subwords of length equals for all sufficiently large. The word is called -balanced if the numbers of occurrences of the symbol a in any two subwords of the same length differ by at most . In the present paper we give a complete description of the class of bi-infinite words of stiffness and show that the number of subwords of length from this class has growth order...
We show that the pairs where T is a tree and its dual are the only maximal antichains of size 2 in the category of directed graphs endowed with its natural homomorphism ordering.
We investigate the structure of “worst-case” quasi reduced ordered decision diagrams and Boolean functions whose truth tables are associated to: we suggest different ways to count and enumerate them. We, then, introduce a notion of complexity which leads to the concept of “hard” Boolean functions as functions whose QROBDD are “worst-case” ones. So we exhibit the relation between hard functions and the Storage Access function (also known as Multiplexer).
We investigate the structure of “worst-case” quasi reduced ordered decision diagrams and Boolean functions whose truth tables are associated to: we suggest different ways to count and enumerate them. We, then, introduce a notion of complexity which leads to the concept of “hard” Boolean functions as functions whose QROBDD are “worst-case” ones. So we exhibit the relation between hard functions and the Storage Access function (also known as Multiplexer).
Standard properties of -divergences of probability measures are widely applied in various areas of information processing. Among the desirable supplementary properties facilitating employment of mathematical methods is the metricity of -divergences, or the metricity of their powers. This paper extends the previously known family of -divergences with these properties. The extension consists of a continuum of -divergences which are squared metric distances and which are mostly new but include...
We study the problem of scheduling jobs on a serial batching machine to minimize total tardiness. Jobs of the same batch start and are completed simultaneously and the length of a batch equals the sum of the processing times of its jobs. When a new batch starts, a constant setup time occurs. This problem s-batch is known to be NP-Hard in the ordinary sense. In this paper we show that it is solvable in pseudopolynomial time by dynamic programming.
We study the problem of scheduling jobs on a serial batching machine
to minimize total tardiness. Jobs of the same batch start and are
completed simultaneously and the length of a batch equals the sum of
the processing times of its jobs. When a new batch starts, a constant
setup time s occurs. This problem 1|s-batch
| ∑Ti is
known to be NP-Hard in the ordinary sense. In this paper we show that
it is solvable in pseudopolynomial time by dynamic programming.
This paper deals with numerical functions J : [0,1] x [0,1] → [0,1] able to functionally express operators →: [0,1]X x [0,1]Y → [0,1]XxY defined as (μ → σ)(x,y) = J(μ(x),σ(y)), and verifying either Modus Ponens or Modus Tollens, or both. The concrete goal of the paper is to search for continuous t-norms T and strong-negation functions N for which it is either T(a, J(a,b)) ≤ b (Modus Ponens) or T(N(b), J(a,b)) ≤ N(a) (Modus Tollens), or both, for all a,b in [0,1] and a given J. Functions J are taken...
In this note we consider the longest word, which has periods p1,...,pn, and does not have the period gcd(p1,...,pn).
The length of such a word can be established by a simple algorithm. We give a short and natural way to prove that the algorithm is correct. We also give a new proof that the maximal word is a palindrome.
Two linear numeration systems, with characteristic polynomial equal to the minimal polynomial of two Pisot numbers and respectively, such that and are multiplicatively dependent, are considered. It is shown that the conversion between one system and the other one is computable by a finite automaton. We also define a sequence of integers which is equal to the number of periodic points of a sofic dynamical system associated with some Parry number.
Two linear numeration systems, with
characteristic polynomial equal to the
minimal polynomial of two Pisot numbers β and γ respectively,
such that
β and γ are multiplicatively dependent, are considered. It is shown that the conversion between one
system and the other one
is computable by a finite automaton.
We also define a sequence of integers which is equal to the number of periodic
points of a sofic
dynamical system associated with some
Parry number.
Formalization of a part of [11]. Unfortunately, not all is possible to be formalized. Namely, in the paper there is a mistake in the proof of Lemma 3. It states that there exists x ∈ M1 such that M1(x) > N1(x) and (∀y ∈ N1)x ⊀ y. It should be M1(x) ⩾ N1(x). Nevertheless we do not know whether x ∈ N1 or not and cannot prove the contradiction. In the article we referred to [8], [9] and [10].
The currently dominant speech recognition technology, hidden Mar-kov modeling, has long been criticized for its simplistic assumptions about speech, and especially for the naive Bayes combination rule inherent in it. Many sophisticated alternative models have been suggested over the last decade. These, however, have demonstrated only modest improvements and brought no paradigm shift in technology. The goal of this paper is to examine why HMM performs so well in spite of its incorrect bias due to...
Currently displaying 161 –
180 of
518