Buscar
Mostrando ítems 51-60 de 183
Ponencia
Progress Report: Term Dags Using Stobjs
(University of Texas, 2002)
We explore in this paper the use of efficient data structures to implement operations on first-order terms, that can be formally verified. Specifically, we present the status of our work on defining and verifying a ...
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
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 systems is presented. The program can simulate basic transition P Systems where dissolution of membranes ...
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 intercellular communication and cooperation between neurons. In such a model, the structure of the devices ...
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
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 both from a macroscopic point of view, by considering the tumour as a growing mass of cells, as ...
Ponencia
Gene Selection in Cancer Classification using PSO/SVM and GA/SVM Hybrid Algorithms
(IEEE Computer Society, 2007)
In this work we compare the use of a Particle Swarm Optimization (PSO) and a Genetic Algorithm (GA) (both augmented with Support Vector Machines SVM) for the classification of high dimensional Microarray Data. ...
Ponencia
Membrane Systems with External Control
(Springer, 2006)
We consider the idea of controlling the evolution of a membrane system. In particular, we investigate a model of membrane systems using promoted rules, where a string of promoters (called the control string) “travels” ...
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. This formalization is suitable for its automatic verification in an applicative logic like Acl2. ...