Displaying 61 – 80 of 90

Showing per page

New aspects on extraction of fuzzy rules using neural networks.

José Manuel Benítez, Armando Blanco, Miguel Delgado, Ignacio Requena (1998)

Mathware and Soft Computing

In previous works, we have presented two methodologies to obtain fuzzy rules in order to describe the behaviour of a system. We have used Artificial Neural Netorks (ANN) with the Backpropagation algorithm, and a set of examples of the system. In this work, some modifications which allow to improve the results, by means of an adaptation or refinement of the variable labels in each rule, or the extraction of local rules using distributed ANN, are showed. An interesting application on the assignement...

Normalization of edit sequences for text synchronization

Rafael C. Carrasco, Alexander Sánchez Díaz (2011)

RAIRO - Theoretical Informatics and Applications

It often occurs that local copies of a text are modified by users but that the local modifications are not synchronized (thus allowing the merged text to become the source for later editions) until later when, for instance the network connection is reestablished. Since text editions usually affect a small fraction of the whole content, the history of edit operations provides a compact representation of the modified file. In this paper, we define a normal form for these records which will...

Normalization of edit sequences for text synchronization

Rafael C. Carrasco, Alexander Sánchez Díaz (2011)

RAIRO - Theoretical Informatics and Applications

It often occurs that local copies of a text are modified by users but that the local modifications are not synchronized (thus allowing the merged text to become the source for later editions) until later when, for instance the network connection is reestablished. Since text editions usually affect a small fraction of the whole content, the history of edit operations provides a compact representation of the modified file. In this paper, we define a normal form for these records which will...

PDF Enhancements Tools for a Digital Library

Hatlapatka, Radim, Sojka, Petr (2010)

Towards a Digital Mathematics Library. Paris, France, July 7-8th, 2010

This paper describes several innovative PDF document enhancements and tools that can be used when building a digital library. The main result presented in this paper is the PDF re-compression tool, developed using the jbig2enc encoder called pdfJbIm. This re-compression tool enables the size of the original bitonal PDFs to be, on average, downsized by one third. Some modifications to the jbig2enc encoder that increase the compression ratio even further are also described here. Together with another...

Piecewise linear classifiers preserving high local recognition rates

Hiroshi Tenmoto, Mineichi Kudo, Masaru Shimbo (1998)

Kybernetika

We propose a new method to construct piecewise linear classifiers. This method constructs hyperplanes of a piecewise linear classifier so as to keep the correct recognition rate over a threshold for a training set. The threshold is determined automatically by the MDL (Minimum Description Length) criterion so as to avoid overfitting of the classifier to the training set. The proposed method showed better results in some experiments than a previous method.

Producing MathML with Tralics

Grimm, José (2010)

Towards a Digital Mathematics Library. Paris, France, July 7-8th, 2010

We describe here how Tralics can be used to convert LaTeX documents into XML or HTML. It uses an ad-hoc DTD (a simplification of the TEI), but the translation of the math formulas is conforming to the presentation MathML 2.0 recommendations. We explain how to run and parametrize the software. We give an overview of the various MathML constructs, and how they are rendered by different browsers.

Recent Development of the DML-CZ and Its Current State

Rákosník, Jiří (2011)

Towards a Digital Mathematics Library. Bertinoro, Italy, July 20-21st, 2011

The project DML-CZ: The Czech Digital Mathematics Library has been implemented since 2005 and in 2010 switched over to routine operation. This report describes progress, growth and usage of the DML-CZ, the experience from cooperation with content providers in the designed editorial workflow, some newly implemented features, adjustments of the workflow following from both the ongoing practical experience and the requirements of the advancing EuDML project, the general public acceptance and attendance...

Refinement of a fuzzy control rule set.

Antonio González, Raúl Pérez (1998)

Mathware and Soft Computing

Fuzzy logic controller performance depends on the fuzzy control rule set. This set can be obtained either by an expert or from a learning algorithm through a set of examples. Recently, we have developed SLAVE an inductive learning algorithm capable of identifying fuzzy systems. The refinement of the rules proposed by SLAVE (or by an expert) can be very important in order to improve the accuracy of the model and in order to simplify the description of the system. The refinement algorithm is based...

Symbol Declarations in Mathematical Writing

Wolska, Magdalena, Grigore, Mihai (2010)

Towards a Digital Mathematics Library. Paris, France, July 7-8th, 2010

We present three corpus-based studies on symbol declaration in mathematical writing. We focus on simple object denoting symbols which may be part of larger expressions. We look into whether the symbols are explicitly introduced into the discourse and whether the information on once interpreted symbols can be used to interpret structurally related symbols. Our goal is to support fine-grained semantic interpretation of simple and complex mathematical expressions. The results of our analysis empirically...

The EuDML Metadata Schema : Version 1.0

Bouche, Thierry, Goutorbe, Claude, Jorda, Jean-Paul, Jost, Michael (2011)

Towards a Digital Mathematics Library. Bertinoro, Italy, July 20-21st, 2011

After an extensive study of the metadata policy of each of its content partners, the EuDML project evaluated many different strategies and existing schemas that could store every detail faithfully, and yet reserve room for the enhancements foreseen in the project’s work plan. The framework provided by the so-called NLM Journal Archiving and Interchange Tag Suite was selected as best readily available approximation of our needs. Some modifications of it have been endorsed by the project, defining...

Time Stamping Preprint and Electronic Journal Server Environment

Namiki, Takao, Yamaji, Kazutsuna, Kataoka, Toshiyuki, Sonehara, Noboru (2011)

Towards a Digital Mathematics Library. Bertinoro, Italy, July 20-21st, 2011

The exchange of preprints and journals plays an important role to communicate new research ideas and results in many academic fields. Distribution of preprints and journal articles by electronic file via the Internet has become a primary method in addition to paper publication. Electronic preprints and articles in the paperless era should be certified in terms of existence proof and tamper resistance because they are easily modified by their site administrator. We developed a secure preprint and...

Towards a Digital Mathematical Library

Sojka, Petr (2010)

Towards a Digital Mathematics Library. Paris, France, July 7-8th, 2010

The workshop’s objectives were to formulate the strategy and goals of a global mathematical digital library and to summarize the current successes and failures of ongoing technologies and related projects. There is already some experience with building smaller DMLs and/or building big thematical scientific digital libraries. Why there are already big fulltext digital library in some domains like PubMed in biomedical one, but none in others? We try to pose such and other questions, and try to find...

Towards a Digital Mathematics Library. On the Crossroad

Sojka, Petr (2011)

Towards a Digital Mathematics Library. Bertinoro, Italy, July 20-21st, 2011

The DML workshop’s objectives were to formulate the strategy and goals of a global mathematical digital library and to summarize the current successes and failures of ongoing technologies and related projects. There is already experience with building regional DMLs or building big thematic scientific digital libraries. EuDML project reached it halflife period. While there are already big fulltext digital libraries in some domains like PubMed Central in the biomedical domain, Inspire in high-energy...

Towards a Flexible Author Name Disambiguation Framework

Bolikowski, Łukasz, Dendek, Piotr Jan (2011)

Towards a Digital Mathematics Library. Bertinoro, Italy, July 20-21st, 2011

In this paper we propose a flexible, modular framework for author name disambiguation. Our solution consists of the core which orchestrates the disambiguation process, and replaceable modules performing concrete tasks. The approach is suitable for distributed computing, in particular it maps well to the MapReduce framework. We describe each component in detail and discuss possible alternatives. Finally, we propose procedures for calibration and evaluation of the described system.

Towards Reverse Engineering of PDF Documents

Baker, Josef B., Sexton, Alan P., Sorge, Volker (2011)

Towards a Digital Mathematics Library. Bertinoro, Italy, July 20-21st, 2011

We present a progress report on our ongoing project of reverse engineering scientific PDF documents. The aim is to obtain mathematical markup that can be used as source for regenerating a document that resembles the original as closely as possible. This source can then be a basis for further document processing. Our current tool uses specialised PDF extraction together with image analysis to produce near perfect input for parsing mathematical formula. Applying a linear grammar and specific drivers...

Currently displaying 61 – 80 of 90