Listar Lenguajes y Ciencias de la Computación - (LCC) por título
Mostrando ítems 276-295 de 662
-
Exact computation of the expectation curves for uniform crossover
(2014-10-07)Uniform crossover is a popular operator used in genetic algorithms to combine two tentative solutions of a problem represented as binary strings. We use the Walsh decomposition of pseudo-Boolean functions and properties ... -
Exact computation of the expectation curves of the bit-flip mutation using landscapes theory
(2015-09-07)Bit-flip mutation is a common operation when a genetic algorithm is applied to solve a problem with binary representation. We use in this paper some results of landscapes theory and Krawtchouk polynomials to exactly compute ... -
Exact computation of the expectation surfaces for uniform crossover along with bit-flip mutation
(2014-09-29)Uniform crossover and bit-flip mutation are two popular operators used in genetic algorithms to generate new solutions in an iteration of the algorithm when the solutions are represented by binary strings. We use the Walsh ... -
Exact Computation of the Fitness-Distance Correlation for Pseudoboolean Functions with One Global Optimum
(2014-10-06)Landscape theory provides a formal framework in which combinatorial optimization problems can be theoretically characterized as a sum of a special kind of landscapes called elementary landscapes. The decomposition of the ... -
Experiencia con una herramienta de pruebas de caja negra para el aprendizaje de asignaturas de programación en evaluación continua
(2017-07-12)La programación es una de las materias requeridas en la gran mayoría de los grados actuales con perfil tecnológico, siendo un aspecto crítico en cualquiera de los Grados en Ingeniería Informática. Aprender a programar requiere ... -
Experimental measurement system and neural network model to simulate photovoltaic modules
(UMA Editorial, 2019-12-20)El objetivo de esta tesis es el desarrollo de una metodología de medida, caracterización y simulación de módulos fotovoltaicos que pueda ser de utilidad para los investigadores e ingenieros del campo de la tecnología solar ... -
Explainable clinical coding with in-domain adapted transformers
(Elsevier, 2023)Background and Objective: Automatic clinical coding is a crucial task in the process of extracting relevant in-formation from unstructured medical documents contained in Electronic Health Records (EHR). However, most of ... -
Expressing Measurement Uncertainty in OCL/UML Datatypes
(2018-05-31)Uncertainty is an inherent property of any measure or estimation performed in any physical setting, and therefore it needs to be considered when modeling systems that manage real data. Although several modeling languages ... -
ExTrA: Explaining architectural design tradeoff spaces via dimensionality reduction.
(Elsevier, 2022-12-19)In software design, guaranteeing the correctness of run-time system behavior while achieving an acceptable balance among multiple quality attributes remains a challenging problem. Moreover, providing guarantees about the ... -
Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis
(Springer Nature, 2023-09-29)The verification of model transformations is important for realizing robust model-driven engineering technologies and quality-assured automation. Many approaches for checking properties of model transformations have been ... -
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 by competitive learning for varying input distributions
(World Scientific Publishing, 2018)One of the most important challenges in computer vision applications is the background modeling, especially when the background is dynamic and the input distribution might not be stationary, i.e. the distribution of the ... -
Foreground detection by probabilistic modeling of the features discovered by stacked denoising autoencoders in noisy video sequences
(2019-06-07)A robust foreground detection system is presented, which is resilient to noise in video sequences. The proposed model divides each video frame in patches that are fed to a stacked denoising autoencoder, which is responsible ... -
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 ...