Los resultados obtenidos mediante el Análisis Canónico en 32
muestras poblacionales pertenecientes a 24 taxones, que corresponden
a 14 grupos de Bechyné (1948), proporcionan pruebas acerca del
estado taxonómico y evolutivo en múltiples taxones de Timarcha. Los
datos biométricos se…

When users search for information in a web site, sometimes they do not get what they want.
Assuming that the scope where the search take place works fine, there are some problems caused by the way the user interact with…

Framework comprehension is a very limiting factor to take full advantage of the benefits that frameworks offer to increase quality and productivity in software development. In this paper, a reverse engineering approach to framework comprehension using the MetaExplorer tool is…

Descripción completa.

When there is a need to understand the data stored in a database, one of the main requirements is being able to extract knowledge in the form of rules. Classification strategies allow extracting rules almost naturally. In this paper, the…

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…

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…