Search
Now showing items 1-10 of 13
Presentation
Querying a Polynomial Object-Relational Constraint Database in Model-Based Diagnosis
(Springer, 2005)
Many papers related to Constraint Databases (CDBs) theories exist, including proposals that present frameworks for the treatment of constraints as a new data type. Our proposal presents a new way of storing and manipulating ...
Presentation
Constraint Databases Technology for Polynomial Models Diagnosis
(2004)
Model-based Diagnosis allows the identification of the parts which fail in a system. The models are based on the knowledge of the system to diagnose, and they can be represented by constraints associated to the components. ...
Article
CSP aplicados a la diagnosis basada en modelos
(Asociación Española para la Inteligencia Artificial, 2003)
En las ´ultimas d´ecadas, parte de la comunidad cient´ıfica ha dedicado sus esfuerzos al desarrollo de una metodolog´ıa para la diagnosis de sistemas desde el campo de la Inteligencia Artificial. Dicha metodolog´ıa ...
Presentation
Diagnosis con variables intervalares usando técnicas Max-CSP
(Edición Digital @tres, 2005-06)
En ingeniería son muchas las aplicaciones que usan modelos basados en variables y parámetros cuyos dominios aparecen limitados a intervalos. Estos modelos almacenan el comportamiento esperado del sistema físico. En este ...
Article
CSP y Bases de Datos Restrictivas
(Asociación Española para la Inteligencia Artificial, 2003)
Las Bases de Datos Restrictivas se originaron ante la necesidad de representar de forma m´as compacta y modular datos de gran tama˜no. De esta forma, y como medio para tratar datos continuos como es el caso de los ...
Article
Improving the determination of minimal hitting sets in model-based diagnosis using constraint databases
(Elsevier, 2006)
In model-based diagnosis, minimal hitting sets are usually used to identify which components may fail in a system. This work presents a set of algorithms to improve the determination of all Minimal Hitting Sets. Our proposal ...
Presentation
Diagnosing Errors in DbC Programs Using Constraint Programming
(Springer, 2005)
Model-Based Diagnosis allows to determine why a correctly designed system does not work as it was expected. In this paper, we propose a methodology for software diagnosis which is based on the combination of Design by ...
Article
Developing a labelled object-relational constraint database architecture for the projection operator
(Elsevier, 2009)
Current relational databases have been developed in order to improve the handling of stored data, however, there are some types of information that have to be analysed for which no suitable tools are available. These new ...
Article
Integración de técnicas basadas en modelos para la determinación de la diagnosis mínima de un sistema
(Asociación Española para la Inteligencia Artificial (AEPIA), 2006)
Actualmente son dos las comunidades que trabajan en la diagnosis basada en modelos, FDI y DX. Aunque sus investigaciones se desarrollan en paralelo, suelen trabajar por separado. Este trabajo propone una integración de las ...
Presentation
Interval model-based diagnosis using constraint programming
(IEEE Computer Society, 2004)