Listar Artículos (Ciencias de la Computación e Inteligencia Artificial) por título
Mostrando ítems 268-287 de 355
-
Artículo
Proof Pearl: a Formal Proof of Higman’s Lemma in ACL2
(Springer, 2011)Higman’s lemma is an important result in infinitary combinatorics, which has been formalized in several theorem provers. ...
-
Artículo
Proof techniques in Membrane Computing
(Elsevier, 2021)From the creation of the field of Membrane Computing in 1998, several research lines havebeen opened. On the one hand, ...
-
Artículo
Propuestas para el Análisis de Colecciones de Arte a través de Metodologías y Herramientas Computacionales
(Instituto de Investigaciones sobre el Patrimonio Cultural, Universidad Nacional de San Martín, 2016)La metodología presentada en este artículo propone el uso de herramientas que facilitan la identificación, descripción, ...
-
Artículo
Proyecto europeo D'Homme
(Sociedad Española para el Procesamiento del Lenguaje Natural (SEPLN), 2001) -
Artículo
Proyecto europeo Siridus
(Sociedad Española para el Procesamiento del Lenguaje Natural (SEPLN), 2001) -
Artículo
P‑Lingua in two steps: flexibility and efficiency
(Springer, 2019)Membrane computing is a bio-inspired computing paradigm that lacks in vivo implementation. That is why software or hardware ...
-
Artículo
P–Lingua 2.0: A software framework for cell–like P systems
(Agora University of Oradea, Romania, 2009)P-Lingua is a programming language for membrane computing. It was first presented in Edinburgh, during the Ninth Workshop ...
-
Artículo
Qom—A New Hydrologic Prediction Model Enhanced with Multi-Objective Optimization
(MDPI, 2019)The efficient calibration of hydrologic models allows experts to evaluate past events in river basins, as well as to ...
-
Artículo
Reachability problems in low-dimensional iterative maps
(World Scientific, 2008)In this paper we analyse the dynamics of one-dimensional piecewise maps (PAMs). We show that one-dimensional PAMs are ...
-
Artículo
Reaching efficiency through collaboration in membrane systems: Dissolution, polarization and cooperation
(Elsevier, 2017)From a computational complexity point of view, some syntactical ingredients play differentroles depending on the kind of ...
-
Artículo
Real-time gun detection in CCTV: An open problem
(Elsevier, 2020-12)Object detectors have improved in recent years, obtaining better results and faster inference time. However, small object ...
-
Artículo
Recent Computability Models Inspired from Biology: DNA and Membrane Computing
(Universidad del País Vasco, 2003)We briefly present two areas of natural computing, vividly investigated in the recent years: DNA computing and membrane ...
-
Artículo
Recognizer P Systems with Antimatter
(Romanian Academy, Section for Information Science and Technology, 2015)In this paper, we consider recognizer P systems with antimatter and the in uence of the matter/antimatter annihilation ...
-
Artículo
Reducing Vehicle Emissions and Fuel Consumption in the City by Using Particle Swarm Optimization
(Springer, 2015)Nowadays in current cities the increasing levels of pollution emissions and fuel consumption derived from the road traffic ...
- Artículo
-
Artículo
Representations and characterizations of languages in Chomsky hierarchy by means of insertion-deletion systems
(World Scientific, 2008)Insertion-deletion operations are much investigated in linguistics and in DNA computing and several characterizations of ...
-
Artículo
Representative datasets for neural networks
(Elsevier, 2018)Neural networks present big popularity and success in many fields. The large training time process problem is a very ...
-
Artículo
Representative Datasets: The Perceptron Case
(Cornell University, 2019)One of the main drawbacks of the practical use of neural networks is the long time needed in the training process. Such ...
-
Artículo
Restart particle swarm optimization with velocity modulation: a scalability test
(Springer, 2011)Large scale continuous optimization problems are more relevant in current benchmarks since they are more representative ...
-
Artículo
Role of a cryptic tRNA gene operon in survival under translational stress
(Oxford Academic, 2021-08-11)As compared to eukaryotes, bacteria have a reduced tRNA gene set encoding between 30 and 220 tR-NAs. Although in most ...