Buscar
Mostrando ítems 1081-1090 de 1170
Ponencia
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
FaMa Abductive: una herramienta para explicaciones de errores en modelos de características
(2011)
La diagnosis de errores es una asignatura pendiente de gran parte de las herramientas de an´alisis de modelos de caracter´ısticas. Realizar este proceso manualmente no es viable con modelos de tama˜no medio/grande, e incluso ...
Ponencia
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
Diseño de un marco de trabajo dirigido por modelos y soportado por herramientas para mejorar la gestión de guías clínicas y procesos asistenciales
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2018)
El Proyecto IDE4ICDS se mueve en el contexto médico para dar solu ción a la gestión digitalizada del ciclo de vida de guías clínicas. Actualmente, las guías clínicas están definidas de forma textual, lo que las hace ...
Capítulo de Libro
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
Unravelling the Yeast Cell Cycle Using the TriGen Algorithm
(Springer, 2011)
Analyzing microarray data represents a computational challenge due to the characteristics of these data. Clustering techniques are widely applied to create groups of genes that exhibit a similar behavior under the ...
Ponencia
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
A Method for Compiling and Executing Expressive Assertions
(Springer, 2004)
Programming with assertions constitutes an effective tool to detect and correct programming errors. The ability of executing formal specifications is essential in order to test automatically a program with respect to ...
Ponencia
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
Hybrid Diagnosis Applied to Multiple Instances in Business Processes
(Springer, 2016)
Business Process compliance is an important issue in control flow and data-flow perspectives. Control-flow correctness can be analysed at design time, whereas data-flow accuracy should be verified at run time, since data ...
Ponencia
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
Prediction of Mitochondrial Matrix Protein Structures Based on Feature Selection and Fragment Assembly
(Springer, 2012)
Protein structure prediction consists in determining the thre e-dimensional conformation of a protein based only on its amino acid se quence. This is currently a difficult and significant challenge in structural bioinformatics ...
Ponencia
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
Comparative analysis of methodological proposes to systematic generation of system test cases from system requisites
(Fraunhofer IRB Verlag, 2004-12-02)
System tests verify functionality and system integrity of software system globally. System tests are made at the end of system construction. However, it is posible to begin to plan these tests in the first stages of ...
Ponencia
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
Descubrimiento de procesos a partir de logs de eventos en el contexto de RPA: ¿En qué se basan las decisiones?
(Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES), 2021)
La Automatización Robótica de Procesos (RPA) ha ganado especial atención en los últimos años tanto en la industria como en la academia. RPA surge como una forma de automatizar tareas humanas mundanas y repetitivas. En ...
Ponencia
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
A Comparative Study of Classifier Combination Methods Applied to NLP Tasks
(Springer, 2011)
There are many classification tools that can be used for various NLP tasks, although none of them can be considered the best of all since each one has a particular list of virtues and defects. The combination methods ...
Artículo
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
Search and Linguistic Description of Connected Regions In Quantitative Data
(International Federation of Automatic Control, 1997-05)
The aim of this paper is to resume a great volume of quantitative knowledge in a qualitative model formed by linguistic rules. The initial information will be formed by the numeric and quantitative data that a real system ...