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…

The star model, broadly used in data warehouse modeling, is a logical model, so its representation is strongly dependent on the database technology used for its implementation, usually relational. The method recommended for designing a dimensional system would be the…

Numerical Taxonomy aims to group in clusters, using so-called structure analysis of operational taxonomic units (OTUs or taxons or taxa) through numerical methods. Clusters that consitute families was the purpose of this series of last projects.
Structural analysis, based on…

En el marco de la traducción automática árabe-inglés, el enfoque pseudointerlingüístico de UniArab ha logrado, incluso con oraciones simples, mejores resultados que los traductores automáticos basados en modelos estadísticos. El éxito de UniArab se cimienta en el modelo funcional de…

Se presentan los datos de recolecta de cuatro nuevos registros de arañas para el estado de Guanajuato: Argiope argentata (Fabricius 1775), Castianeira dorsata (Banks 1898), C. plorans (O.P.Cambridge 1898) y Selenops gracilis Muma 1953. Adicionalmente, se proporcionan algunos datos de…

The application of ANNs (Artifi cial Neural Networks) has been studied by many researchers in modelling rainfall runoff processes. However, the work so far has been focused on the rainfall data from traditional raingauges. Weather radar is a modern technology…

El crecimiento continuo de la Internet ha permitido a las personas, alrededor de todo mundo, realizar transacciones en línea, buscar información o navegar usando el explorador de la Web. A medida que más gente se siente cómoda usando los exploradores…

The genetic algorithms have seen applied in knowledge discovery and specially for discovering association rules. In this paper, we explore the use of di erent rule quality measures in the tness function in a genetic algorithm for discovering association rules.…

Manipulating and retrieving multimedia data has received increasing attention with the advent of cloud storage facilities. The ability of querying by similarity over large data collections is mandatory to improve storage and user interfaces. But, all of them are expensive…

Clustering of short texts is an important research area because of its applicability in information retrieval and text mining. To this end was proposed CLUDIPSO, a discrete Particle Swarm Optimization algorithm to cluster short texts. Initial results showed that CLUDIPSO…