Listar Lenguajes y Ciencias de la Computación - (LCC) por título
Mostrando ítems 226-245 de 540
-
Feature density as an uncertainty estimator method in the binary classification mammography images task for a supervised deep learning model
Hernández Vasquez, Marco A; Fuentes Fino, Ricardo Javier; Calderón-Ramírez, Saúl; Domínguez-Merino, Enrique
; López-Rubio, Ezequiel; Molina-Cabello, Miguel Angel[et al.] (2022)
Labeled medical datasets may include a limited number of observations for each class, while unlabeled datasets may include observations from patients with pathologies other than those observed in the labeled dataset. This ... -
FIMED: Flexible management of biomedical data
Hurtado-Requena, Sandro Jose; Garcia-Nieto, Jose Manuel; Navas-Delgado, Ismael; Aldana-Montes, Jose Francisco (Elsevier, 2021-11)
Background and objectives: In the last decade, clinical trial management systems have become an essential support tool for data management and analysis in clinical research. However, these clinical tools have design ... -
FIMED: Flexible management of biomedical data
Hurtado-Requena, Sandro Jose; Garcia-Nieto, Jose Manuel; Navas-Delgado, Ismael; Aldana-Montes, Jose Francisco (2022-09-05)
In the last decade, clinical trial management systems have become an essential support tool for data management and analysis in clinical research. However, these clinical tools have design limitations, since they are ... -
Finding Best Compiler Options for Critical Software Using Parallel Algorithms
Alba-Torres, Enrique; Luque-Polo, Gabriel Jesús (2018-11-21)
The efficiency of a software piece is a key factor for many systems. Real-time programs, critical software, device drivers, kernel OS functions and many other software pieces which are executed thousands or even millions ... -
Finding correlations of features affecting energy consumption and performance of web servers using the HADAS eco-assistant
Munoz, Daniel-Jesus; Pinto-Alarcon, Monica; Fuentes, Lidia (2019-10-09)
The impact of energy consumption on the environment and the economy is raising awareness of “green” software engineering. HADAS is an eco-assistant that makes developers aware of the influence of their designs and ... -
Fitness function distributions over generalized search neighborhoods in the q-ary hypercube
Sutton, Andrew M.; Chicano, Francisco; Whitley, L. Darrell (2014-10-03)
The frequency distribution of a fitness function over regions of its domain is an important quantity for understanding the behavior of algorithms that employ randomized sampling to search the function. In general, exactly ... -
Foreground detection enhancement using Pearson correlation filtering
Domínguez-Merino, Enrique (2018-06-08)
Foreground detection algorithms are commonly employed as an initial module in video processing pipelines for automated surveillance. The resulting masks produced by these algorithms are usually postprocessed in order to ... -
Foreground object detection enhancement by adaptive super resolution for video surveillance
Molina-Cabello, Miguel Angel; Elizondo, David A.; Luque-Baena, Rafael Marcos; López-Rubio, Ezequiel (2019-09-16)
Foreground object detection is a fundamental low level task in current video surveillance systems. It is usually accomplished by keeping a model of the background at each frame pixel. Many background learning algorithms ... -
Formal Model-Based Approaches for the Development of Composite
(2014-04-29)Software engineering (SE) is concerned about techniques and tools to develop software pieces. Structuring and composition techniques have always been a cornerstone in software engineering, from modules in the 70’s to the ... -
A Formal Programming Framework for Digital Avatars
Pérez-Vereda, Alejandro; Canal-Velasco, Jose Carlos; Pimentel, Ernesto (2019-09-05)
In the current IoT era, the number of smart things to interact with is raising everyday. However, each one of them precises a manual and specific configuration. In a more people-friendly scenario, smart things should adapt ... -
Formalización de una arquitectura de computación móvil basada en Linda
Pérez-Vereda, Alejandro; Canal-Velasco, Jose Carlos; Pimentel, Ernesto (2019-06-19)
Gracias a los avances y el desarrollo que está experimentando el campo de la Internet de las Cosas (Internet of Things, IoT), cada día hay más dispositivos a los que se llama inteligentes. Estos dispositivos disponen de ... -
Fotogrametría y modelado 3D: un caso práctico para la difusión del patrimonio y su promoción turística
(Facultad de Turismo, 2012) -
Un Framework para Big Data Optimization Basado en jMetal y Spark
Barba-Gonzalez, Cristobal; Nebro-Urbaneja, Antonio Jesus; Garcia-Nieto, Jose Manuel; Cordero, José A.; Durillo, Juan J.; Navas-Delgado, Ismael; Aldana-Montes, Jose Francisco[et al.] (2016)
Las metaheurísticas multi-objetivo se han convertido en técnicas muy utilizadas para la resolución de problemas complejos de optimización compuestos de varias funciones objetivo en conflicto entre sí. Nos encontramos en ... -
Gain-Reconfigurable Hybrid Metal-Graphene Printed Yagi Antenna for Energy Harvesting Applications
(2019-04-26)This paper presents a hybrid metal-graphene printed Yagi antenna with reconfigurable gain that operates in the 5.5-GHz band. The balun and the driven elements are made of copper, while the directors are made of graphene. ... -
Game Artificial Intelligence: Challenges for the Scientific Community
Lara-Cabrera, Raúl; Nogueira-Collazo, Mariela; Cotta, Carlos; Fernández-Leiva, Antonio José (2015-06-18)
This paper discusses some of the most interesting challenges to which the games research community members may face in the área of the application of arti cial or computational intelligence techniques to the design and ... -
Generación Automática de Contenido para Juegos de Estrategia en Tiempo Real
(Servicio de Publicaciones y Divulgación Científica, 2015)El destacado volumen de negocio a nivel mundial ha convertido a los videojuegos en el principal protagonista dentro de la industria del entretenimiento. Este hecho no ha pasado desapercibido para la comunidad científica, ... -
Generación automática de contenido para un nuevo juego basado en el problema de los tres cuerpos
Este trabajo presenta un algoritmo de generaci ón de contenido por procedimientos capaz de crear mapas completos para un videojuego que simula fenómenos fí sicos. El algoritmo evolutivo desarrollado intenta mejorar la ... -
Generación de secuencias de pruebas funcionales con algoritmos bio-inspirados
Ferrer-Urbano, Francisco Javier; Kruse, Peter M.; Chicano, Francisco; Alba-Torres, Enrique (2015-02-10)
La generación de secuencias de pruebas dinámicas desde una especificación formal complementa los métodos tradicionales de pruebas para encontrar errores en el código fuente. En este artículo extendemos un enfoque combinatorio ... -
Generating Effective Test Suites for Model Transformations Using Classifying Terms
Vallecillo-Moreno, Antonio Jesus; Hilken, Frank; Burgueño-Caballero, Lola; Gogolla, Martin (2016-09-27)
Generating sample models for testing a model transformation is no easy task. This paper explores the use of classifying terms and stratified sampling for developing richer test cases for model transformations. Classifying ... -
Generic proof scores for the generate & check method in CafeOBJ
(2015-03-11)Generic proof scores for the generate & check method in CafeOBJ are presented. The generic proof scores codify the generate & check method as parameterized modules in the CafeOBJ language independently of specific systems ...