Listar Ponencias (Ciencias de la Computación e Inteligencia Artificial) por título
Mostrando ítems 7-26 de 442
-
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 ...
-
Ponencia
A General, Sound and Efficient Natural Language Parsing Algorithm based on Syntactic Constraints Propagation
(AEPIA: Asociación Española para la Inteligencia Artificial, 1997)This paper presents a new context-free parsing algorithm based on a bidirectional strictly horizontal strategy which ...
-
Ponencia
A Generic Instantiation Tool and a Case Study: A Generic Multiset Theory.
(University of Texas, 2002)In some cases, when we develop a formal theory in ACL2, it would be desirable that the definitions and theorems of the ...
-
Ponencia
A GPU Simulation for Evolution-Communication P Systems with Energy Having no Antiport Rules
(Fénix Editora, 2013)Evolution-Communication P system with energy (ECPe systems) is a cell- like variant P system which establishes a dependence ...
-
Ponencia
A Hybrid Approach to Modeling Biological Systems
(Springer, 2007)This paper investigates a hybrid approach to modeling molecular interactions in biology. P systems, π-calculus, and Petri ...
-
Ponencia
A Java Simulator for Basic Transition P Systems
(Fénix Editora, 2004)In this paper, a software tool (called SimCM, from Spanish Sim- ulador de Computaci¶on con Membranas) for handling P ...