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 166-185 de 442

    • Ponencia
      Icon

      Fault Diagnosis for Multi-energy Flows of Energy Internet: Framework and Prospects 

      Wang, Tao; Wang, Jun; Fan, Zhennan; Wei, Xiaoguang; Pérez Jiménez, Mario de Jesús; Zang, Tianlei; Huang, Tao (IEEE Computer Society, 2017)
      Energy Internet (EI) is an inevitable development trend of energy systems under the background of technology development, ...
    • Ponencia
      Icon

      Fault Diagnosis Models for Electric Locomotive Systems Based on Fuzzy Reasoning Spiking Neural P Systems 

      Wang, Tao; Zhang, Gexiang; Pérez Jiménez, Mario de Jesús (Springer, 2014)
      This paper discusses the application of fuzzy reasoning spiking neural P systems with real numbers (rFRSN P systems) to ...
    • Libro
      Icon

      FORMA 13 : Complex Systems Workshop: Sevilla 23-26 Oct 2013 

      Miguel Rodríguez, Jaime de; Borrego Díaz, Joaquín; Sancho Caparrini, Fernando; Aranda Corral, Gonzalo A.; Domínguez Sánchez de la Blanca, Ismael; Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial; Junta de Andalucía (Fidetia, 2014)
    • Libro
      Icon

      FORMA 14 : Complex Systems Workshop: Sevilla 22-25 Octubre 2014 

      Miguel Rodríguez, Jaime de; Borrego Díaz, Joaquín; Sancho Caparrini, Fernando; Aranda Corral, Gonzalo A.; Domínguez Sánchez de la Blanca, Ismael; Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial; Junta de Andalucía (Fidetia, 2015)
    • Libro
      Icon

      FORMA 15 : Complex Systems Workshop: Sevilla 25-28 Noviembre 2015 

      Miguel Rodríguez, Jaime de; Borrego Díaz, Joaquín; Sancho Caparrini, Fernando; Aranda Corral, Gonzalo A.; Domínguez Sánchez de la Blanca, Ismael; Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial; Ministerio de Economía y Competitividad (MINECO). España (Fidetia, 2016)
    • Ponencia
      Icon

      Formal Reasoning about Efficient Data Structures: A Case Study in ACL2 

      Ruiz Reina, José Luis; Alonso Jiménez, José Antonio; Hidalgo Doblado, María José; Martín Mateos, Francisco Jesús (Springer, 2003)
      We describe in this paper the formal verification, using the ACL2 system, of a syntactic unification algorithm where terms ...
    • Ponencia
      Icon

      Formal Verification of Molecular Computational Models in ACL2: A Case Study 

      Martín Mateos, Francisco Jesús; Alonso Jiménez, José Antonio; Hidalgo Doblado, María José; Ruiz Reina, José Luis (Springer, 2003)
      Theorem proving is a classical AI problem with a broad range of applications. Since its complexity is exponential in the ...
    • Ponencia
      Icon

      Formal Verification of P Systems with Active Membranes through Model Checking 

      Ipate, Florentin; Lefticaru, Raluca; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Tudose, Cristina (Springer, 2011)
      Formal verification of P systems using model checking has attracted a significant amount of research in recent years. ...
    • 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 ...