Buscar
Mostrando ítems 11-20 de 52
Ponencia
Multi-Objective Particle Swarm Optimizers: An Experimental Comparison
(Springer, 2009)
Particle Swarm Optimization (PSO) has received increasing attention in the optimization research community since its first appearance in the mid-1990s. Regarding multi-objective optimization, a considerable number of ...
Ponencia
Noiseless Functions Black-Box Optimization: Evaluation of a Hybrid Particle Swarm with Differential Operators
(ACM Digital Library, 2009)
In this work we evaluate a Particle Swarm Optimizer hy- bridized with Di®erential Evolution and apply it to the Black- Box Optimization Benchmarking for noiseless functions (BBOB 2009). We have performed the complete ...
Ponencia
Membrane dissolution and division in P
(Springer, 2009)
Membrane systems with dividing and dissolving membranes are known to solve PSPACE problems in polynomial time. However, we give a P upperbound on an important restriction of such systems. In particular we examine systems ...
Artículo
Existentially Closed Models and Conservation Results in Bounded Arithmetic
(Oxford Academic, 2009)
We develop model-theoretic techniques to obtain conservation results for first order Bounded Arithmetic theories, based on a hierarchical version of the well-known notion of an existentially closed model. We focus on the ...
Ponencia
Simulation of Recognizer P Systems by Using Manycore GPUs
(Fénix Editora, 2009)
Software development for cellular computing is growing up yielding new applications. In this paper, we describe a simulator for the class of recognizer P systems with active membranes, which exploits the massively parallel ...
Ponencia
Toward Semantic Mobile Web 2.0 through Multiagent Systems
(Springer, 2009)
In this paper, a solution for semantic annotation of Consumers Generated Content, based on the actions of a multiagent system, is presented. This solution is designed in the context of an spin-off which was born from ...
Ponencia
Expert System to Real Time Control of Machining Processes
(Springer, 2009)
Industrial machining processes use automated milling machines. These machines are connected to a control device that provides the basic instructions used to obtain a piece. However, these processes depend on the human ...
Ponencia
Characterizing the Aperiodicity of Irreducible Markov Chains by Using P Systems
(Fénix Editora, 2009)
It is well known that any irreducible and aperiodic Markov chain has exactly one stationary distribution, and for any arbitrary initial distribution, the sequence of distributions at time n converges to the stationary ...
Ponencia
Sistema certificado de decisión proposicional basado en polinomios
(Universidad de Sevilla, Departamento de Ciencias de la Computación e Inteligencia Artificial, 2009)
En [2] introducimos una regla de inferencia para la lógica proposicional (basado en el uso de la derivación de polinomios) denominada regla de independencia, diseñada para el cálculo de retracciones conservativas, y que ...
Ponencia
Performing Arithmetic Operations with Spiking Neural P Systems
(Fénix Editora, 2009)
We consider spiking neural P systems as devices which can be used to perform some basic arithmetic operations, namely addition, subtraction, comparison and multiplication by a fixed factor. The input to these systems are ...