Listar Ponencias (Ciencias de la Computación e Inteligencia Artificial) por título
Mostrando ítems 2-21 de 442
-
Ponencia
A bioinspired computing approach to model complex systems
(Springer, 2014)The use of models is intrinsic to any scientific activity. In particular, formal/mathematical models provide a relevant ...
-
Ponencia
A Case Study in (Mem)Brane Computation: Generating Squares of Natural Numbers
(Springer, 2006)The aim of this paper is to start an investigation and a comparison of the expressiveness of the two most relevant ...
-
Ponencia
A Case Study in (Mem)Brane Computation: Generating {n2 | n 1}
(Fénix Editora, 2006)The aim of this paper is to start an investigation and a comparison of the expressiveness of the two most relevant ...
-
Ponencia
A Cellular Solution to Subset Sum Using Division of Non-elementary Membranes and Dissolution, with Time and Initial Resources Bounded by log k
(SEERC, South-East European Research Centre, 2007)The aim of our paper is twofold. On one hand we prove the ability of polar- izationless P systems with dissolution and ...
-
Ponencia
A Cellular Sudoku Solver
(Fénix Editora, 2010)Sudoku is a very popular puzzle which consists on placing several numbers in a squared grid according to some simple ...
-
Ponencia
A Cellular Way to Obtain Homology Groups in Binary 2D Images
(Fénix Editora, 2010)In this paper we present a P systems-based solution for the Homology Groups of Binary 2D Image (HGB2I) Problem, a classical ...
-
Ponencia
A Certified Polynomial-Based Decision Procedure for Propositional Logic
(Springer, 2001)In this paper we present the formalization of a decision procedure for Propositional Logic based on polynomial normalization. ...
-
Ponencia
A Characterization of PSPACE with Antimatter and Membrane Creation
(Fénix Editora, 2015)The use of negative information provides a new tool for exploring the limits of P systems as computational devices. In ...
-
Ponencia
A CLIPS Simulator for Recognizer P Systems with Active Membranes
(Fénix Editora, 2004)In this paper we propose a new way to represent recognizer P systems with active membranes based on Production Systems ...
-
Ponencia
A Comparison of PSO and GA Approaches for Gene Selection and Classification of Microarray Data
(ACM Digital Library, 2007) -
Ponencia
A Computational Complexity Theory in Membrane Computing
(Springer, 2010)In this paper, a computational complexity theory within the framework of Membrane Computing is introduced. Polynomial ...
-
Ponencia
A fast local algorithm for track reconstruction on parallel architectures
(IEEE Computer Society, 2019)The reconstruction of particle trajectories, tracking, is a central process in the reconstruction of particle collisions ...
-
Ponencia
A Fast Solution to the Partition Problem by Using Tissue-Like P Systems
(IEEE Computer Society, 2008)Tissue-like P systems with cell division is a computing model in the framework of membrane computing based on the ...
-
Ponencia
A First Attempt to Model Notch Signalling by Means of P Systems
(Universidad de Sevilla, Departamento de Ciencias de la Computación e Inteligencia Artificial, 2009)During mammalian central nervous system development, an enormous variety of cell types are generated. This cell diversity ...
-
Ponencia
A First Model for Hebbian Learning with Spiking Neural P Systems
(Fénix Editora, 2008)Spiking neural P systems and artificial neural networks are computational devices which share a biological inspiration ...
-
Ponencia
A Formal Foundation for Knowledge Integration of Defficent Information in the Semantic Web
(Springer, 2007)Maintenance of logical robustness in Information Integration represents a major challenge in the envisioned Semantic Web. ...
-
Ponencia
A Formal Framework for P Systems with Dynamic Structure
(Fénix Editora, 2012)This article introduces a formalism/framework able to describe different variants of P systems having a dynamic structure. ...
-
Ponencia
A Formally Verified Prover for the ALC Description Logic
(Springer, 2007)The Ontology Web Language (OWL) is a language used for the Semantic Web. OWL is based on Description Logics (DLs), a ...
-
Ponencia
A Framework for Evolving Spiking Neural P Systems
(IMCS: International Membrane Computing Society, 2019)In current literature, there is a lack of research on the optimization of spiking neural P systems (SN P systems) and, ...
-
Ponencia
A Framework for Evolving Spiking Neural P Systems with Rules on Synapses
(IMCS: International Membrane Computing Society, 2019)In this paper, we present a genetic algorithm framework for evolving Spiking Neural P Systems with rules on synapses ...