Listar Ponencias (Ciencias de la Computación e Inteligencia Artificial) por título 

Listar Ponencias (Ciencias de la Computación e Inteligencia Artificial) por título

Mostrando ítems 174-193 de 442

    • Ponencia
      Icon

      Formalizing Rewriting in the ACL2 Theorem Prover 

      Ruiz Reina, José Luis; Alonso Jiménez, José Antonio; Hidalgo Doblado, María José; Martín Mateos, Francisco Jesús (Springer, 2000)
      We present an application of the ACL2 theorem prover to formalize and reason about rewrite systems theory. This can be ...
    • Ponencia
      Icon

      Forward and Backward Chaining with P Systems 

      Ivanov, Sergiu; Alhazov, Artiom; Rogozhin, Vladimir; Gutiérrez Naranjo, Miguel Ángel (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
      Icon

      Four (Somewhat Nonstandard) Research Topics 

      Paun, Gheorghe (Fénix Editora, 2014)
      Four research directions are suggested, dealing with the following four main ideas: computing along the axon (up to now, ...
    • Ponencia
      Icon

      FPGA Implementation of Robot Obstacle Avoidance Controller based on Enzymatic Numerical P Systems 

      Shang, Zeyi; Verlan, Sergey; Zhang, Gexiang; Pérez Hurtado de Mendoza, Ignacio (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
      Icon

      Fractals and P Systems 

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (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
      Icon

      Un Framework para Big Data Optimization Basado en jMetal y Spark 

      Barba González, Cristóbal; Nebro, Antonio J.; García Nieto, José Manuel; Cordero, José A.; Durillo, Juan J.; Navas Delgado, Ismael; Aldana Montes, José F. (Universidad de Salamanca, 2016)
      Las metaheur sticas multi-objetivo se han convertido en t ecnicas muy utilizadas para la resoluci on problemas complejos ...
    • Ponencia
      Icon

      Frontiers of Membrane Computing: Open Problems and Research Topics 

      Gheorgue, Marian; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2012)
      This is a list of open problems and research topics collected after the Twelfth Conference on Membrane Computing, CMC ...
    • Ponencia
      Icon

      Fusión Automatizada de Ontologías: Aplicación al Razonamiento Espacial Cualitativo 

      Borrego Díaz, Joaquín; Chávez González, Antonia María (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
      Icon

      Gene Selection in Cancer Classification using PSO/SVM and GA/SVM Hybrid Algorithms 

      Alba, Enrique; García Nieto, José Manuel; Jourdan, Laetitia; Talbi, El-Ghazali (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
      Icon

      Generalizing Programs via Subsumption 

      Gutiérrez Naranjo, Miguel Ángel; Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín (Springer, 2003)
      In this paper we present a class of operators for Machine Learning based on Logic Programming which represents a ...
    • Ponencia
      Icon

      Generating Diophantine Sets by Virus Machines 

      Romero Jiménez, Álvaro; Valencia Cabrera, Luis; Pérez Jiménez, Mario de Jesús (Springer, 2015)
      Virus Machines are a computational paradigm inspired by the manner in which viruses replicate and transmit from one host ...
    • Ponencia
      Icon

      Generation of rapidly-exploring random trees by using a new class of membrane systems 

      Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús (Xihua University, 2017)
      Methods based on Rapidly-exploring Random Trees (RRTs) have been in use in robotics to solve motion planning problems for ...
    • Ponencia
      Icon

      GPU-friendly EBCOT variant with single-pass scan order and raw bit plane coding 

      Bruns, Volker; Martínez del Amor, Miguel Ángel; Sparenberg, Heiko (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
      Icon

      Graphical Modeling of Higher Plants Using P Systems 

      Romero Jiménez, Álvaro; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Springer, 2006)
      L systems have been widely used to model and graphically represent the growth of higher plants [20]. In this paper we ...
    • Ponencia
      Icon

      Graphics and P Systems: Experiments with JPLANT 

      Rivero Gil, Elena; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (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 ...
    • Ponencia
      Icon

      Handling Markov Chains with Membrane Computing 

      Cardona, Mónica; Colomer, M. Angels; Pérez Jiménez, Mario de Jesús; Zaragoza, Alba (Fénix Editora, 2006)
      In this paper we approach the problem of computing the n–th power of the transition matrix of an arbitrary Markov chain ...
    • Ponencia
      Icon

      Hebbian learning from spiking neural P systems view 

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Springer, 2009)
      Spiking neural P systems and artificial neural networks are computational devices which share a biological inspiration ...
    • Ponencia
      Icon

      Heterotic Computing Examples with Optics, Bacteria, and Chemicals 

      Stepney, Susan; Abramsky, Samson; Bechmann, Matthias; Gorecki, Jerzy; Kendon, Viv; Naughton, Thomas J.; Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José; Sebald, Angelika (Springer, 2012)
      Unconventional computers can perform embodied computation that can directly exploit the natural dynamics of the substrate. ...
    • Ponencia
      Icon

      How Does a P System Sound? 

      García Quismondo, Manuel; Gutiérrez Naranjo, Miguel Ángel; Ramírez Martínez, Daniel (Fénix Editora, 2010)
      P systems are computational devices versatile enough to represent many real-life scenarios. In this paper, we present a ...
    • Ponencia
      Icon

      How to Go Beyond Turing with P Automata: Time Travels, Regular Observer !-Languages, and Partial Adult Halting 

      Freund, Rudolf; Ivanov, Sergiu; Staiger, Ludwig (Fénix Editora, 2015)
      In this paper we investigate several variants of P automata having in nite runs on nite inputs. By imposing speci c ...