Listar Capítulos (Ciencias de la Computación e Inteligencia Artificial) por título
Mostrando ítems 54-66 de 66
-
Capítulo de Libro
Skeletonizing Digital Images with Cellular Automata
(Springer, 2014)The skeletonization of an image consists of converting the initial image into a more compact representation. In general, ...
-
Capítulo de Libro
Solving Knapsack Problems in a Sticker Based Model
(Springer, 2002)Our main goal in this paper is to give molecular solutions for two NP–complete problems, namely Subset-sum and Knapsack, ...
-
Capítulo de Libro
Specification of Adleman’s Restricted Model Using an Automated Reasoning System: Verification of Lipton’s Experiment
(Springer, 2002)The aim ofthis paper is to develop an executable prototype ofan unconventional model ofcomputation. Using the PVS ...
-
Capítulo de Libro
Spiking Neural P Systems. Recent Results, Research Topics
(Springer, 2009)After a quick introduction of spiking neural P systems (a class of P systems inspired from the way neurons communicate ...
-
Capítulo de Libro
Spiking Neural P Systems: A Short Introduction and New Normal Forms
(Editorial Academiei, 2012)Spiking neural P systems are a class of P systems inspired from the way the neurons communicate with each other by means ...
-
Ponencia
Synthetizing Qualitative (Logical) Patterns for Pedestrian Simulation from Data
(Springer, 2016)This work introduces a (qualitative) data-driven framework to extract patterns of pedestrian behaviour and synthesize ...
-
Capítulo de Libro
The P Versus NP Problem Through Cellular Computing with Membranes
(Springer, 2004)We study the P versus NP problem through membrane systems. Language accepting P systems are introduced as a framework ...
-
Capítulo de Libro
Topología simplicial en ACL2
(Universidad de la Rioja, 2010) -
Ponencia
Towards Emotion Recognition: A Persistent Entropy Application
(Springer, 2019)Emotion recognition and classification is a very active area of research. In this paper, we present a first approach to ...
-
Capítulo de Libro
Towards Probabilistic Model Checking on P Systems Using PRISM
(Springer, 2006)This paper presents the use of P systems and π-calculus to model interacting molecular entities and how they are translated into a probabilistic and symbolic model checker called PRISM.
-
Capítulo de Libro
Trading Polarization for Bi-stable Catalysts in P Systems with Active Membranes
(Springer, 2005)In the last time, several efforts have been made in order to remove polarizations of membranes from P systems with active ...
-
Capítulo de Libro
Using Automated Reasoning Systems on Molecular Computing
(Springer, 2005)This paper is focused on the interplay between automated reasoning systems (as theoretical and formal devices to study ...
-
Capítulo de Libro
Using Cognitive Entropy to Manage Uncertain Concepts in Formal Ontologies
(Springer, 2008)A logical formalism to support the insertion of uncertain concepts in formal ontologies is presented. It is based on the ...