Listar Ponencias (Ciencias de la Computación e Inteligencia Artificial) por título
Mostrando ítems 169-188 de 442
-
Libro
FORMA 14 : Complex Systems Workshop: Sevilla 22-25 Octubre 2014
(Fidetia, 2015) -
Libro
FORMA 15 : Complex Systems Workshop: Sevilla 25-28 Noviembre 2015
(Fidetia, 2016) -
Ponencia
Formal Reasoning about Efficient Data Structures: A Case Study in ACL2
(Springer, 2003)We describe in this paper the formal verification, using the ACL2 system, of a syntactic unification algorithm where terms ...
-
Ponencia
Formal Verification of Molecular Computational Models in ACL2: A Case Study
(Springer, 2003)Theorem proving is a classical AI problem with a broad range of applications. Since its complexity is exponential in the ...
-
Ponencia
Formal Verification of P Systems with Active Membranes through Model Checking
(Springer, 2011)Formal verification of P systems using model checking has attracted a significant amount of research in recent years. ...
-
Ponencia
Formalizing Rewriting in the ACL2 Theorem Prover
(Springer, 2000)We present an application of the ACL2 theorem prover to formalize and reason about rewrite systems theory. This can be ...
-
Ponencia
Forward and Backward Chaining with P Systems
(Fénix Editora, 2011)On the one hand, one of the concepts which lies at the basis of membrane computing is the multiset rewriting rule. On the ...
-
Ponencia
Four (Somewhat Nonstandard) Research Topics
(Fénix Editora, 2014)Four research directions are suggested, dealing with the following four main ideas: computing along the axon (up to now, ...
-
Ponencia
FPGA Implementation of Robot Obstacle Avoidance Controller based on Enzymatic Numerical P Systems
(IMCS: International Membrane Computing Society, 2019)It is a long-cherished wish to implement numerical P systems (NPS) on a parallel architecture so that its large scale ...
-
Ponencia
Fractals and P Systems
(Fénix Editora, 2006)In this paper we show that the massive parallelism, the synchronous appli- cation of the rules, and the discrete nature ...
-
Ponencia
Un Framework para Big Data Optimization Basado en jMetal y Spark
(Universidad de Salamanca, 2016)Las metaheur sticas multi-objetivo se han convertido en t ecnicas muy utilizadas para la resoluci on problemas complejos ...
-
Ponencia
Frontiers of Membrane Computing: Open Problems and Research Topics
(Fénix Editora, 2012)This is a list of open problems and research topics collected after the Twelfth Conference on Membrane Computing, CMC ...
-
Ponencia
Fusión Automatizada de Ontologías: Aplicación al Razonamiento Espacial Cualitativo
(Universidad de Castilla-La Mancha, Departamento de Sistemas Informáticos, 2006)La evolución de las ontologías es un problema clave en la Integración del Conocimiento, cuya resolución es imprescindible ...
-
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 ...
-
Ponencia
Generalizing Programs via Subsumption
(Springer, 2003)In this paper we present a class of operators for Machine Learning based on Logic Programming which represents a ...
-
Ponencia
Generating Diophantine Sets by Virus Machines
(Springer, 2015)Virus Machines are a computational paradigm inspired by the manner in which viruses replicate and transmit from one host ...
-
Ponencia
Generation of rapidly-exploring random trees by using a new class of membrane systems
(Xihua University, 2017)Methods based on Rapidly-exploring Random Trees (RRTs) have been in use in robotics to solve motion planning problems for ...
-
Ponencia
GPU-friendly EBCOT variant with single-pass scan order and raw bit plane coding
(IEEE Computer Society, 2017)A major drawback of JPEG 2000 is the computational complexity of its entropy coder named Embedded Block Coder with Optimized ...
-
Capítulo de Libro
Graphical Modeling of Higher Plants Using P Systems
(Springer, 2006)L systems have been widely used to model and graphically represent the growth of higher plants [20]. In this paper we ...
-
Ponencia
Graphics and P Systems: Experiments with JPLANT
(Fénix Editora, 2008)The hand-made graphical representation of the configuration of a P system becomes a hard task when the number of membranes ...