Listar Ponencias (Ciencias de la Computación e Inteligencia Artificial) por título
Mostrando ítems 16-35 de 442
-
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 ...
-
Capítulo de Libro
A Linear Solution for QSAT with Membrane Creation
(Springer, 2006)The usefulness of P systems with membrane creation for solving NP problems has been previously proved (see [2, 3]), but, ...
-
Ponencia
A Linear Solution for Subset Sum Problem with Tissue P Systems with Cell Division
(Fénix Editora, 2007)Tissue P systems are a computing model in the framework of Membrane Computing where the tree-like membrane structure is ...
-
Capítulo de Libro
A Linear Solution of Subset Sum Problem by Using Membrane Creation
(Springer, 2005)Membrane Computing is a branch of Natural Computing which starts from the assumption that the processes taking place in ...
-
Capítulo de Libro
A Linear-Time Solution to the Knapsack Problem Using P Systems with Active Membranes
(Springer, 2004)Up to now, P systems dealing with numerical problems have been rarely considered in the literature. In this paper we ...
-
Ponencia
A Logarithmic Bound for Solving Subset Sum with P Systems
(Springer, 2007)The aim of our paper is twofold. On one hand we prove the ability of polarizationless P systems with dissolution and with ...
-
Ponencia
A massively parallel framework using P systems and GPUs
(National Center for Supercomputing Applications at the University of Illinois, 2009)Since CUDA programing model appeared on the general purpose computations, the developers can extract all the power ...
-
Ponencia
A Membrane Computing Model for Ballistic Depositions
(Fénix Editora, 2007)Ballistic Deposition was proposed by Vold and Sutherland as a model for colloidal aggregation. These early works were ...
-
Ponencia
A Membrane Computing View on Tumours
(2006)In this paper we discuss about the potential usefulness of P systems as natural tools for modelling tumours. This is done ...
-
Ponencia
A Membrane-Inspired Evolutionary Algorithm with a Population P System and its Application to Distribution System Recon guration
(Fénix Editora, 2012)This paper develops a membrane-inspired evolutionary algorithm, PSMA, which is designed by using a population P system ...