Buscar
Mostrando ítems 21-30 de 79
Ponencia
NMUS: Structural Analysis for Improving the Derivation of All MUSes in Overconstrained Numeric CSPs
(Springer, 2007)
Models are used in science and engineering for experimentation, analysis, model-based diagnosis, design and planning/sheduling applications. Many of these models are overconstrained Numeric Constraint Satisfaction ...
Capítulo de Libro
Semiqualitative Temporal Patterns in Time-Series Databases
(Edición Digital @tres, 2000)
A way to obtain behaviour patterns of semiqualitative models of dynamic systems automatically is proposed in this paper. The temporal evolution of these models is stored into a database. This is a time series database. ...
Ponencia
Un modelo de optimización CSP para la sustitución de piezas defectuosas diagnosticadas
(Edición Digital @tres, 2002-06)
Este trabajo presenta un modelo CSP (Problema de Satisfacción de Restricciones) para el secuenciamiento óptimo de tareas en la sustitución de piezas defectuosas que han sido previamente diagnosticadas. Para ello, e parte ...
Ponencia
Estudio de sistemas semicualitativos con restricciones. Aplicación a un modelo logístico con retraso.
(ARCA: Automatización del Razonamiento Cualitativo y Aplicaciones, 2000-04)
En este trabajo se propone una nueva tecnología para automatizar el análisis y el estudio de modelos con restricciones que integran conocimiento cuantitativo y cualitativo construidos para sistemas que evolucionan en el ...
Artículo
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 ...
Capítulo de Libro
Using constraint programming framework for Semiqualitative Reasoning
(Edición Digital @tres, 2000)
A semiqualitative model is the representation of the world by means of qualitative and quantitative knowledge. It is motivated by the lack of quantitative knowledge in determined parameters or variables of the model. We ...
Artículo
Aplicación del Razonamiento Semicualitativo al modelado y análisis de sistemas económicos
(Asociación Española para la Inteligencia Artificial, 2000)
Generalmente, el uso de modelos para el estudio y análisis de sistemas económicos y de otras disciplinas, tienen en cuenta solamente el conocimiento cuantitativo, ignorándonse el conocimiento cualitativo, que sin embargo ...
Artículo
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 ...
Ponencia
Localización de centros públicos atractivos y /o repulsivos
(Edición Digital @tres, 2002-06)
En este trabajo localizamos un centro de servicio en la Provincia de Sevilla en relación a unos puntos fijos atractivos o repulsivos, resolviendo el problema de Weber mediante algoritmos de ramificación y poda, de consistencia ...
Artículo
Combining Heuristics in Assembly Sequence Planning
(IOS Press, 2005)
Assembly Sequence Planning is tackled by modelling and solving a planning problem that considers the execution of the plan in a system with multiple assembly machines. The objective of the plan is the minimization of the ...