The main purpose of this book is to present the contents of an introductory course in databases. In this regard, one can find a number of material validity and recognized different scopes. This work is developed under the guidelines that…

En este artículo se estudia el uso de diferentes fuentes de información
para tareas de clasificación de textos. Dado el creciente número de bibliotecas digitales,
se impone una revisión de la información disponible en dichas bases de datos.
Se han…

Se dan argumentos a favor de que las colecciones de las combinaciones de palabras significativas en los diccionarios electrónicos modernos del uso general se deben extender en lo máximo posible. Igor Mel'cuk clasifica las combinaciones de palabras en frasemas completos,…

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…

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…

La obtención de conocimiento a partir de la información existente es un proceso no trivial que consiste en identificar patrones válidos, novedosos, potencialmente útiles y comprensibles a partir de los datos disponibles. La Minería de Datos es el área de…

In a scene where stakeholders are geographically distributed, communication presents new challenges for research areas. Considering the characteristics of interpersonal communication and the virtual area where it is carried out, the importance of applying interdisciplinary approaches, such as Cognitive Engineering,…

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…

The software architecture role in agile methodologies is not sufficiently documented or formalized by means of a process consistent with the philosophy. The current work’s contributions are: 1) Defining guidelines to implement architecture practices in an agile way and so…