Certifying compilers use static information of a program to verify that it complies with certain security properties and to generate certified code. To do so, those compilers translate the source program into an annotated program written in some intermediate language.…

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…

Electronic Government initiatives, such as seamless public services delivered at one-stop government portals, require establishing collaborative networks among public- and private-sector organizations. However, semantic interoperability problems emerge as these organizations may differ in the terms and meanings they use to…

La Terapia Cognitivo Conductual reduce los síntomas tanto de depresión como ansiedad a un nivel más rápido que cualquier otra terapia (Malkinson, 2010). El sujeto a participar en este estudio de caso es una mujer que cumple con los criterios…

A bitext, or bilingual parallel corpus, consists of two texts, each one in a different language, that are mutual translations. Bitexts are very useful in linguistic engineering because they are used as source of knowledge for different purposes. In this…

Worldwide, there is a well-documented crisis for bees and other pollinators which represent a fundamental biotic capital for wild life conservation, ecosystem function, and crop production. Among all pollinators of the world, bees (Hymenoptera: Apoidea) constitute the major group in…

Software tools processing partially common set of data should share an understanding of what these data mean. Since ontologies have been used to express formally a shared understanding of information, we argue that they can be used to improve integration…

This article describes strategies devised to improve the efficiency of two classical index data structures for parallel textual databases. The design and cost evaluation is effected on top of the bulk-synchronous model of parallel computing. This allows us to compare…

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…