Buscar
Mostrando ítems 41-50 de 151
Ponencia
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
Diagnosis de Errores en la Gestión de Procesos Software con Programación con Restricciones
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2010)
El desarrollo de proyectos software similares es habitual en las empresas de desarrollo de software. Esto proporciona una base de conocimiento sobre cómo se han comportado otros proyectos similares y la posibilidad de ...
Ponencia
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
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
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
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
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
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
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
PAIS-DQ: Extending Process-Aware Information Systems to support Data Quality in PAIS life-cycle
(IEEE Computer Society, 2016)
The successful execution of a Business Process implies to use data with an adequate level of quality, thereby enabling the output of processes to be obtained in accordance with users requirements. The necessity to be ...
Artículo
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
Towards the automatic and optimal selection of risk treatments for business processes using a constraint programming approach
(Elsevier, 2013)
Context: The use of Business Process Management Systems (BPMS) has emerged in the IT arena for the automation of business processes. In the majority of cases, the issue of security is overlooked by default in these systems, ...
Ponencia
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
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
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
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
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
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
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
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 ...