Listar LCC - Contribuciones a congresos científicos por tipo "info:eu-repo/semantics/submittedVersion"
Mostrando ítems 1-20 de 40
-
A Study on Multimemetic Estimation of Distribution Algorithms
Nogueras, Rafael; Cotta-Porras, Carlos
(2014-09-23)
Multimemetic algorithms (MMAs) are memetic algorithms in which memes (interpreted as non-genetic expressions of problem solving strategies) are explicitly represented and evolved alongside genotypes. This process is ... -
Aplicando programación lineal entera a la búsqueda de conjuntos de productos de prueba priorizados para líneas de productos software
Ferrer-Urbano, Francisco Javier; Chicano-García, José-Francisco; López-Herrejón, Roberto E.; Alba-Torres, Enrique (2016-09-19)
Las líneas de productos software son familias de productos que están íntimamente relacionados entre sí, normalmente formados por combinaciones de un conjunto de características software. Generalmente no es factible testar ... -
Classification of high dimensional data using LASSO ensembles
The estimation of multivariable predictors with good performance in high dimensional settings is a crucial task in biomedical contexts. Usually, solutions based on the application of a single machine ... -
Comparing metaheuristic algorithms for error detection in Java programs
Chicano-García, José-Francisco; Ferreira, Marco; Alba-Torres, Enrique (2015-09-07)
Model checking is a fully automatic technique for checking concurrent software properties in which the states of a concurrent system are explored in an explicit or implicit way. The main drawback of this technique is the ... -
Dos estrategias de búsqueda anytime basadas en programación lineal entera para resolver el problema de selección de requisitos
Chicano-García, José-Francisco; Domínguez, Miguel A.; Del Águila, Isabel María; Del Sagrado, José; Alba-Torres, Enrique (2016-09-19)
El problema de selección de requisitos (o Next Release Problem, NRP) consiste en seleccionar el subconjunto de requisitos que se va a desarrollar en la siguiente versión de una aplicación software. Esta selección se debe ... -
Efficient Hill Climber for Constrained Pseudo-Boolean Optimization Problems
Chicano-García, José-Francisco; Whitley, L. Darrell; Tinós, Renato (2016-09-09)
Efficient hill climbers have been recently proposed for single- and multi-objective pseudo-Boolean optimization problems. For $k$-bounded pseudo-Boolean functions where each variable appears in at most a constant number ... -
Elementary Landscape Decomposition of the Hamiltonian Path Optimization Problem
Whitley, L. Darrell; Chicano-García, José-Francisco (2014-04-04)
There exist local search landscapes where the evaluation function is an eigenfunction of the graph Laplacian that corresponds to the neighborhood structure of the search space. Problems that dis- play this structure are ... -
Elementary Landscape Decomposition of the Test Suite Minimization Problem
Landscape theory provides a formal framework in which combinatorial optimization problems can be theoretically characterized as a sum of a special kind of landscape called elementary landscape. The decomposition of the ... -
Enhancing partition crossover with articulation points analysis
Partition Crossover is a recombination operator for pseudo-Boolean optimization with the ability to explore an exponential number of solutions in linear or square time. It decomposes the objective function as a sum of ... -
Establecimiento de claves seguro mediante códigos sonoros en dispositivos móviles
Ruiz Tueros, Ricardo; Agudo-Ruiz, Isaac (UNIVERSITAT POLITÈCNICA DE VALÈNCIA, 2017)
El objetivo de este trabajo ha sido investigar el uso de canales sonoros para el intercambio de claves en teléfonos inteligentes. Para ello, se ha realizado un diseño y un análisis del problema a resolver, teniendo en ... -
Evolutionary Algorithms for Optimizing Emergency Exit Placement in Indoor Environments.
Cotta-Porras, Carlos; Gallardo-Ruiz, José Enrique (Springer Nature, 2024)
The problem of finding the optimal placement of emergency exits in an indoor environment to facilitate the rapid and orderly evacuation of crowds is addressed in this work. A cellular-automaton model is used to simulate ... -
Exact computation of the expectation curves of the bit-flip mutation using landscapes theory
Chicano-García, José-Francisco; Alba-Torres, Enrique (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 ... -
Expressing Measurement Uncertainty in OCL/UML Datatypes
Fernández-Bertoa, Manuel; Moreno, Nathalie; Barquero Moreno, Gala; Burgueño-Caballero, Lola; Troya-Castilla, Javier; Vallecillo-Moreno, Antonio Jesús[et al.] (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 ... -
Gramáticas difusas de formas
Pérez-de-la-Cruz-Molina, José Luis; Mandow-Andaluz, Lorenzo; López-Romero, Fernando; Ruiz-Montiel, Manuela (AEPIA, 2015)
Presentamos una generalización difusa del concepto de computacion o derivacion en una gramática de formas. Primeramente presentamos las ideas en abstracto y posteriormente describimos una implementacion software y algunos ... -
GTS Families for the Flexible Composition of Graph Transformation Systems
(2017)Morphisms between graph-transformation systems (GTSs) have been successfully used for the refinement, reuse, and composition of GTSs. All these uses share a fundamental problem: to be able to define a morphism, source and ... -
Hybrid Algorithms Based on Integer Programming for the Search of Prioritized Test Data in Software Product Lines
In Software Product Lines (SPLs) it is not possible, in general, to test all products of the family. The number of products denoted by a SPL is very high due to the combinatorial explosion of features. For this reason, ... -
Interconnecting IoT devices to improve the QoL of elderly people
Flores-Martín, Daniel; Perez-Vereda, Alejandro; Berrocal, Javier; Canal-Velasco, José Carlos; Murillo, Juan M. (2020-06-15)
The rate at which the Internet is growing is unstoppable due to the large number of connected smart devices. Manufacturers often develop specific protocols for their own devices that do not usually follow any standards. ... -
Learning Bayesian Networks for Student Modeling
Millán-Valldeperas, Eva; Belmonte-Martínez, María Victoria; Jiménez, Guiomar; Pérez-de-la-Cruz-Molina, José Luis (2015-07-03)
In the last decade, there has been a growing interest in using Bayesian Networks (BN) in the student modelling problem. This increased interest is probably due to the fact that BNs provide a sound methodology for this ... -
LTMaker: a tool for semiautomatic reconstruction of the embryonic lineage tree from 4D-microscopy
Vico-Vela, Francisco José; Lobo Fernández, Daniel; Gómez, Antonio; Burrezo García, Salvador; Fernández-Rodríguez, Jose David; Duloquin, L.; Maury, B.; Peyrieras, Nadine[et al.] (2013-12-03)
Studies of animal development using a 4Dmicroscopy system generate an immense amount of image data. In order to properly analyze the recorded embryogenesis, a computer-aided systematic process of categorization of ... -
Managing Uncertain Complex Events in Web of Things Applications
Moreno, Nathalie; Fernández-Bertoa, Manuel; Barquero Moreno, Gala; Burgueño-Caballero, Lola; Troya-Castilla, Javier; García-López, Adrián; Vallecillo-Moreno, Antonio Jesús[et al.] (2018-05-31)
A critical issue in the Web of Things (WoT) is the need to process and analyze the interactions of Web-interconnected real-world objects. Complex Event Processing (CEP) is a powerful technology for analyzing streams of ...