All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Previous Page 3 Next

Displaying 41 – 60 of 65

Showing per page

Special issue: WUPES’12

Jiřina Vejnarová, Václav Kratochvíl (2014)

Kybernetika

This special issue of the Kybernetika Journal arose from the 9th workshop on uncertainty processing, WUPES’12, held in Mariánské Lázně, Czech Republic, in September 2012. In the selection process for this special issue, we tried to capture the rich variety of the presented methodological approaches. The quality of the selected papers was judged by reviewers in accord with the usual practice of Kybernetika. After a careful selection, 7 papers were included in the special issue. There are, however,...

Spectral fuzzy classification system: a supervised approach.

Ana Del Amo, Daniel Gómez, Javier Montero (2003)

Mathware and Soft Computing

The goal of this paper is to present all algorithm for pattern recognition, leveraging on an existing fuzzy clustering algorithm developed by Del Amo et al. [3, 5], and modifying it to its supervised version, in order to apply the algorithm to different pattern recognition applications in Remote Sensing. The main goal is to recognize the object and stop the search depending on the precision of the application. The referred algorithm was the core of a classification system based on Fuzzy Sets Theory...

Statistical-learning control of multiple-delay systems with application to ATM networks

Chaouki T. Abdallah, Marco Ariola, Vladimir Koltchinskii (2001)

Kybernetika

Congestion control in the ABR class of ATM network presents interesting challenges due to the presence of multiple uncertain delays. Recently, probabilistic methods and statistical learning theory have been shown to provide approximate solutions to challenging control problems. In this paper, using some recent results by the authors, an efficient statistical algorithm is used to design a robust, fixed-structure, controller for a high-speed communication network with multiple uncertain propagation...

Stock price forecasting: Autoregressive modelling and fuzzy neural network.

Dusan Marcek (2000)

Mathware and Soft Computing

Most models for the time series of stock prices have centered on autoregresive (AR) processes. Traditionaly, fundamental Box-Jenkins analysis [3] have been the mainstream methodology used to develop time series models. Next, we briefly describe the develop a classical AR model for stock price forecasting. Then a fuzzy regression model is then introduced. Following this description, an artificial fuzzy neural network based on B-spline member ship function is presented as an alternative to the stock...

Strict maximum separability of two finite sets: an algorithmic approach

Dorota Cendrowska (2005)

International Journal of Applied Mathematics and Computer Science

The paper presents a recursive algorithm for the investigation of a strict,linear separation in the Euclidean space. In the case when sets are linearly separable, it allows us to determine the coefficients of the hyperplanes. An example of using this algorithm as well as its drawbacks are shown. Then the algorithm of determining an optimal separation (in the sense of maximizing the distance between the two sets) is presented.

Strong completeness of the Lambek Calculus with respect to Relational Semantics

Szabolcs Mikulás (1993)

Banach Center Publications

In [vB88], Johan van Benthem introduces Relational Semantics (RelSem for short), and states Soundness Theorem for Lambek Calculus (LC) w.r.t. RelSem. After doing this, he writes: "it would be very interesting to have the converse too", i.e., to have Completeness Theorem. The same question is in [vB91, p. 235]. In the following, we state Strong Completeness Theorems for different versions of LC.

Structuration cognitive et logique intrinsèque

Pascal Boldini (1993)

Mathématiques et Sciences Humaines

À travers l'étude d'un modèle de représentation des connaissances comme catégorie de faisceaux de traits localement définis ; ce texte montre que la théorie des topoï permet de décrire formellement l'émergence d'une logique intrinsèque à partir d'une approche relationnelle, qu'elle soit structurale ou cognitive. On peut alors caractériser mathématiquement le défaut d'intensionnalité des modèles classiques, et montrer qu'une solution est dans la mathématisation de structures entièrement relationnelles....

Structures grammaticales dans le français mathématique : I

Aarne Ranta (1997)

Mathématiques et Sciences Humaines

Un système de règles grammaticales est présenté pour analyser un fragment du français permettant l'expression de théorèmes et de preuves mathématiques. Pour cet objectif, on développe une version de la grammaire de Montague, avec des catégories syntaxiques relatives au contexte et aux domaines d'individus. Ce système peut être interprété dans la théorie constructive des types de Martin-Löf. Il est appliqué, d'abord, au français sans symboles mathématiques, avec une attention spéciale aux restrictions...

Structures grammaticales dans le français mathématique : II - (suite et fin)

Aarne Ranta (1997)

Mathématiques et Sciences Humaines

Un système de règles grammaticales est présenté pour analyser un fragment du français permettant l'expression de théorémes et de preuves mathématiques. Pour cet objectif, on développe une version de la grammaire de Montague, avec des catégories syntaxiques relatives au contexte et aux domaines d'individus. Ce système peut être interprété dans la théorie constructive des types de Martin-Löf. Il est appliqué, d'abord, au français sans symboles mathématiques, avec une attention spéciale aux restrictions...

Currently displaying 41 – 60 of 65