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.
The search session has expired. Please query the service again.
Displaying 41 –
60 of
123
In this paper, the identification of stochastic
regular languages is addressed.
For this purpose, we propose a class of algorithms which
allow
for the identification of the structure
of the minimal stochastic automaton generating the language.
It is shown that the time needed grows only linearly with the size of the
sample set and a measure of the complexity of the task is provided.
Experimentally, our implementation proves very fast
for application
purposes.
We define the class of discrete classical categorial grammars, similar in
the spirit to the notion of reversible class of languages introduced by Angluin and
Sakakibara. We show that the class of discrete classical categorial grammars is identifiable from positive structured examples. For this, we provide an original algorithm, which runs in quadratic time in the size of the examples. This work extends the previous results of Kanazawa. Indeed, in our work, several types can be associated to a word...
There exist many different approaches to the investigation of the characteristics of learning system. These approaches use different branches of mathematics and, thus, obtain different results, some of them are too complicated and others do not match the results of practical experiments.
This paper presents the modelling of learning systems by means of stochastic automate, mainly one particular model of a learning extremal regulator. The proof of convergence is based on Dvoretzky's Theorem on stochastic...
GA-P algorithms combine genetic programming and genetic algorithms to solve symbolic regression problems. In this work, we will learn a model by means of an interval GA-P procedure which can use precise or imprecise examples. This method provides us with an analytic expression that shows the dependence between input and output variables, using interval arithmetic. The method also provides us with interval estimations of the parameters on which this expression depends.The algorithm that we propose...
One of the most important aspects of fuzzy systems is that they are easily understandable and interpretable. This property, however, does not come for free but poses some essential constraints on the parameters of a fuzzy system (like the linguistic terms), which are sometimes overlooked when learning fuzzy system autornatically from data. In this paper, an objective function-based approach to learn fuzzy systems is developed, taking these constraints explicitly into account. Starting from fuzzy...
In this paper we introduce a model to represent high-level semantic concepts that can be perceived in images. The concepts are learned and represented by means of a set of association rules that relate the presence of perceptual features to the fulfillment of a concept for a set of images. Since both the set of images where a perceptual feature appears and the set of images fulfilling a given concept are fuzzy, we use in fact fuzzy association rules for the learning model. The concepts so acquired...
We study the problem of learning regular tree languages from text.
We show that the framework of function distinguishability, as introduced by the author in [Theoret. Comput. Sci.290 (2003) 1679–1711], can be generalized
from the case of string languages towards tree languages. This provides a large source of identifiable classes of regular tree languages. Each of these classes can be characterized in various ways. Moreover, we present a generic inference algorithm with polynomial update time...
We show that any positive integer is the least period of a factor of the Thue-Morse word. We also characterize the set of least periods of factors of a sturmian word. In particular, the corresponding set for the Fibonacci word is the set of Fibonacci numbers. As a by-product of our results, we give several new proofs and tightenings of well-known properties of sturmian words.
We show that any positive integer is the least period of a factor of the Thue-Morse word.
We also characterize the set of least periods of factors of a Sturmian word. In particular,
the corresponding set for the Fibonacci word is the set of Fibonacci numbers.
As a by-product of our results, we give several new proofs and tightenings
of well-known properties of Sturmian words.
En estos últimos años, el rápido incremento de los sistemas CAE/CAD en el campo de la electrónica ha hecho que la transferencia de información de unos sistemas a otros fuese un problema creciente. En consecuencia, se ha hecho necesaria una estandarización de los lenguajes de diseño y de los formatos de intercambio de datos. EDIF (Electronic Design Interchange Format) nace para responder a esta necesidad de estandarización.Este artículo describe la implementación de un reconocedor del formato EDIF...
It is shown that the class of left-to-right regular languages coincides with
the class of languages that are accepted
by monotone deterministic RL-automata,
in this way establishing a close correspondence between a classical
parsing algorithm and a certain restricted type of analysis by reduction.
Nous démontrons dans ce papier que les types du système habités uniquement par des -termes (les -types) sont à quantificateur positif. Nous présentons ensuite des conséquenses de ce résultat et quelques exemples.
We prove in this paper that the types of system
inhabited uniquely by λI-terms (the I-types) have a
positive quantifier. We give also consequences of this result and some
examples.
Nous nous intéressons à l'apprentissage à partir d'exemples et à la résolution de problème dans un univers évolutif représenté par une base de connaissances incomplète. Nous formalisons un cadre de représentation de connaissances susceptible d'être élaboré et critiqué par des humains comme par des machines. Cette représentation des connaissances est appelée théorie semi-empirique car cette forme de théorie n'est pas complètement axiomatique. Nous avons formalisé la gestion de la croissance incrémentale...
The main purpose of this paper is to give a method for
construction of the reduced reachability graph for Stochastic Petri Nets
(SPN), the symbolic graph. This construction is achieved by exploiting
the structural symetries in the net using the theory of bisimulation of
places for detecting isomorphic parts in the net. The symbolic graph,
being isomorphic to an agregated Markov chain, may be used to prove
qualitative properties as liveness, boundness, ... Moreover, this
reduced graph make more...
Currently displaying 41 –
60 of
123