Listar Lenguajes y Ciencias de la Computación - (LCC) por título
Mostrando ítems 239-258 de 568
-
Feature density as an uncertainty estimator method in the binary classification mammography images task for a supervised deep learning model
(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
(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 ... -
FIMED: Flexible management of biomedical data
(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 ... -
Finding Best Compiler Options for Critical Software Using Parallel Algorithms
(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
(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
(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
(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
(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
(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
(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) -
Fractal structure of the soliton scattering for the graphene superlattice equation
(Elsevier, 2021-10)The graphene superlattice equation, a modified sine-Gordon equation, governs the propagation of solitary electromagnetic waves in a graphene superlattice. This equation has kink solutions without explicit analytical ... -
Un Framework para Big Data Optimization Basado en jMetal y Spark
(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
(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 ... -
GENECI: A novel evolutionary machine learning consensus-based approach for the inference of gene regulatory networks
(Elsevier, 2023)Gene regulatory networks define the interactions between DNA products and other substances in cells. Increasing knowledge of these networks improves the level of detail with which the processes that trigger different ... -
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
(2014-06-24)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
(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 ...