Listar Lenguajes y Ciencias de la Computación - (LCC) por tipo "info:eu-repo/semantics/acceptedVersion"
Mostrando ítems 1-20 de 28
-
A blockchain approach for decentralized V2X (D-V2X)
(IEEE, 2021-05)New mobility paradigms have appeared in recent years, and everything suggests that some more are coming. This fact makes apparent the necessity of modernizing the road infrastructure, the signalling elements and the traffic ... -
A data mining system for predicting solar global spectral irradiance. Performance assessment in the spectral response ranges of thin-film photovoltaic modules
(Elsevier Ltd., 2019-04)Knowing the spectral distribution of solar radiation is required to estimate the performance of photovoltaic modules, especially for thin-film modules. This is not a trivial problem due to the large number of environmental ... -
A fast robust geometric fitting method for parabolic curves.
(Elsevier, 2018-07-18)Fitting discrete data obtained by image acquisition devices to a curve is a common task in many fields of science and engineering. In particular, the parabola is some of the most employed shape features in electrical ... -
Automatic identification of characteristic points related to pathologies in electrocardiograms to design expert systems
(Springer-Verlag, 2019)Electrocardiograms (ECG) record the electrical activity of the heart through 12 main signals called shunts. Medical experts examine certain segments of these signals in where they believe the cardiovascular disease is ... -
BH-ShaDe: a software tool that assists architecture students in the ill-structured task of housing design
(IEEE Transactions on Learning Technologies, 2016)In this paper, we present BH-ShaDe, a new software tool to assist architecture students learning the ill-structured domain/task of housing design. The software tool provides students with automatic or interactively generated ... -
BIN-CT: Urban waste collection based on predicting the container fill level.
(2019-04-17)The fast demographic growth, together with the population concentration in cities and the increasing amount of daily waste, are factors that are pushing to the limit the ability of waste assimilation by Nature. Therefore, ... -
Binding data mining and expert knowledge for one-day-ahead prediction of hourly global solar radiation
(Elsevier Ltd, 2021-04-01)A new methodology to predict one-day-ahead hourly solar global radiation is proposed in this paper. This information is very useful to address many real problems; for instance, energy-market decision making is one of the ... -
C-Mantec: A novel constructive neural network algorithm incorporating competition between neurons.
(Elsevier, 2011-10-18)C-Mantec is a novel neural network constructive algorithm that combines competition between neurons with a stable modified perceptron learning rule. The neuron learning is governed by the thermal perceptron rule that ... -
CMSA algorithm for solving the prioritized pairwise test data generation problem in software product lines.
(2020-11-10)In Software Product Lines, it may be difficult or even impossible to test all the products of the family because of the large number of valid feature combinations that may exist (Ferrer et al. in: Squillero, Sim (eds) ... -
Combining user preferences and expert opinions: a criteria synergy-based model for decision making on the Web
(Springer-Verlag, 2019)Customers strongly base their e-commerce decisions on the opinions of others by checking reviews and ratings provided by other users. These assessments are overall opinions about the product or service, and it is not ... -
Content-based image retrieval by ensembles of deep learning object classifiers.
(2020-05-20)Ensemble learning has demonstrated its efficiency in many computer vision tasks. In this paper, we address this paradigm within content based image retrieval (CBIR). We propose to build an ensemble of convolutional neural ... -
Edge-Assisted Vehicular Networks Security.
(2019)Edge Computing paradigms are expected to solve some major problems affecting current application scenarios that rely on Cloud computing resources to operate. These novel paradigms will bring computational resources ... -
Estimating Software Testing Complexity
(Science Direct, 2013-07-29)Context: Complexity measures provide us some information about software artifacts. A measure of the difficulty of testing a piece of code could be very useful to take control about the test phase. Objective: The aim in ... -
Extending model checkers for hybrid system verification: the case study of SPIN.
(Willey, 2013-07-26)A hybrid system is a system that evolves following a continuous dynamic, which may instantaneously change when certain internal or external events occur. Due to this combination of discrete and continuous dynamics, 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 ... -
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 ... -
Improved detection of small objects in road network sequences using CNN and super resolution
(2021)The detection of small objects is one of the problems present in deep learning due to the context of the scene or the low number of pixels of the objects to be detected. According to these problems, current pre-trained ... -
Integrating river basin DSSs with model checking.
(Springer, 2017-10-24)This paper presents a Decision Support System (DSS) based on formal methods for the management of complex river basins in flood scenarios. The DSS is the result of integrating two different DSSs. First, a DSS for dam ... -
Introducing passive strategies in the initial stage of the design to reduce the energy demand in single-family dwellings.
(Elsevier, 2021-06-15)This article analyses the influence of various variables defined in the initial stage of the design of a single-family dwelling on its energy efficiency. It also studies the possible contribution of a computer tool in ...