Using COTS software promises faster time-to-market, which can yield substantial advantages over competitors with regards to earlier placement of a new product on a market. At the same time, component-based software introduces risks, such as unknown quality properties of the…

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…

An important problem in Mineralogy, is to accomplish an adequate representation of a great amount of data coming from different geological environments, in order to characterize a particular geologic region in terms of its tectonic setting. With such Databases of…

DATA QUALITY IS DEGRADED DURING THE PROCESS OF EXTRACTING AND MERGING DATA FROM MULTIPLE HETEROGENEOUS SOURCES. BESIDES, USERS HAVE NO INFORMATION REGARDING THE QUALITY OF THE ACCESSED DATA. THIS DOCUMENT PRESENTS THE METHODS UTILIZED TO ASSESS DATA QUALITY AT MULTIPLE…

The fact that nutrition affects education outcomes is accepted by researchers and by policy makers. It is simple. Children cannot learn if they are hungry. The validity of the empirical approaches used to show a causal relationship from nutrition to…

Este artículo trata de la base de datos léxico-semántica del italiano, Simple_PLUS, y particularmente de su núcleo central: la red de relaciones léxico-semánticas. Este recurso lexical tiene como base Parole-Simple-Clips, un léxico electrónico con cuatro niveles de descripción, elaborado según…

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…

The development of languages allowing a proper handling of time is important in many areas of computer science because the capability to deal with the notions of change and time are essential to solve their problems.
In the development of…

Data mining is at the core of the knowledge discovery process. However, an initial preprocessing step is crucial for assuring reliable results within this process. Preprocessing of data is a time-consuming and non-trivial task since data quality issues should be…

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…