This document describes a research and development project - Semantic Web and Cooperative Problem Solving for Online Communities of Practice. The aim of the project is to build a system supporting Cooperative Problem Solving within the framework of online Communities…

Ensuring the correctness of a given software component has become a crucial aspect in Software Engineering and the Model Checking technique provides a fully automated way to achieve this goal. In particular, the usage of Model Checking in formal languages…

Electronic Government applications aim to deliver efficient, seamless, customer-focused services to the public using various distribution channels. One of challenges in building such applications is the requirement to rely upon preexisting, often heterogeneous government applications. In order to enable communication…

This paper describes an approach to On Line Analytical Processing (OLAP), expresed in the declarative programming paradigm.
We define a collection of functions that capture some of the functionality currently provided by multidimensional database product. This is done by defining…

Data base management evolved during the sixties and seventies. The evolution period was protracted. Many driving forces impacted the evolution and it is the aim of this paper to analyze these driving forces (some technical and some political) and to…

This paper shows models of data description that incorporate uncertainty like models of data extension EER, IFO among others. These database modeling tools are compared with the pattern FuzzyEER proposed by us, which is an extension of the EER model…

Este documento explora la relación entre la distribución del ingreso, las instituciones y los conflictos en América Latina y el Caribe mediante el uso de una nueva base de datos de estadísticas de la distribución del ingreso calculado a partir…

In cases of extremely imbalanced dataset with high dimensions, standard machine learning techniques tend to be overwhelmed by the large classes. This paper rebalances skewed datasets by compressing the majority class. This approach combines Vector Quantization and Support Vector Machine…

The production of educational contents in academic environments has been traditionally developed without an integral plan which allows their adequate distribution and access. In addition, it produces effort duplication and misuse of resources. As a possible solution, this work proposes…

Este documento presenta y discute un conjunto de estadísticas enfocadas a caracterizar el grado de polarización económica en los países de América Latina y el Caribe (LAC). El estudio se basa en una base de datos de encuestas de hogares…