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 242-261 de 442

    • Ponencia
      Icon

      Molecular Computation Models in ACL2: a Simulation of Lipton’s Experiment Solving SAT 

      Martín Mateos, Francisco Jesús; Alonso Jiménez, José Antonio; Pérez Jiménez, Mario de Jesús; Sancho Caparrini, Fernando (2002)
      In this paper we present an ACL2 formalization of a molecular computing model: Adleman’s restricted model [2]. This is a ...
    • Ponencia
      Icon

      Monodirectional P Systems 

      Leporati, Alberto; Manzoni, Luca; Mauri, Giancarlo; Porreca, Antonio E.; Zandron, Claudio (Fénix Editora, 2015)
      We investigate the in uence that the ow of information in membrane systems has on their computational complexity. In ...
    • Ponencia
      Icon

      Movies Tags Extraction Using Deep Learning 

      Khan, U. A.; Ejaz, N.; Martínez del Amor, Miguel Ángel; Sparenberg, Heiko (IEEE Computer Society, 2017)
      Retrieving information from movies is becoming increasingly demanding due to the enormous amount of multimedia data ...
    • Ponencia
      Icon

      Multi-Objective Big Data Optimization with jMetal and Spark 

      Barba González, Cristóbal; García Nieto, José Manuel; Nebro, Antonio J.; Aldana Montes, José F. (Springer, 2017)
      Big Data Optimization is the term used to refer to optimiza- tion problems which have to manage very large amounts of ...
    • Ponencia
      Icon

      Multi-Objective Particle Swarm Optimizers: An Experimental Comparison 

      Durillo, Juan J.; García Nieto, José Manuel; Nebro, Antonio J.; Coello Coello, Carlos A.; Luna, Francisco; Alba, Enrique (Springer, 2009)
      Particle Swarm Optimization (PSO) has received increasing attention in the optimization research community since its first ...
    • Ponencia
      Icon

      Multidimensional descriptional complexity of P systems 

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Univ. degli Studi di Milano, 2005)
      Membrane Computing is a branch of Natural Computing which starts from the assumption that the processes taking place in ...
    • Ponencia
      Icon

      Multidimensional Sevilla carpets Associated with P Systems 

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Fénix Editora, 2005)
      In this paper we address the problem of describing the complexity of the evolution of a P system. This is especially ...
    • Ponencia
      Icon

      Multiset Relations: A Tool for Proving Termination 

      Ruiz Reina, José Luis; Alonso Jiménez, José Antonio; Hidalgo Doblado, María José; Martín Mateos, Francisco Jesús (University of Texas, 2000)
    • Ponencia
      Icon

      Narrowing Frontiers of Efficiency with Evolutional Communication Rules and Cell Separation 

      Orellana Martín, David; Valencia Cabrera, Luis; Song, Bosheng; Pan, Linqiang; Pérez Jiménez, Mario de Jesús (Universidad de Sevilla, Escuela Técnica Superior de Ingeniería Informática, 2018)
      In the framework of Membrane Computing, several efficient solutions to computationally hard problems have been given. To ...
    • Ponencia
      Icon

      New applications for an old tool 

      Valencia Cabrera, Luis; Orellana Martín, David; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
      First, the dependency graph technique, not so far from its current application, was developed trying to nd the shortest ...
    • Ponencia
      Icon

      New Research in Nature Inspired Algorithms for Mobility Management in GSM Networks 

      Alba, Enrique; García Nieto, José Manuel; Taheri, Javid; Zomaya, Albert (Springer, 2008)
      Mobile Location Management (MLM) is an important and complex telecommunication problem found in mobile cellular GSM ...
    • Ponencia
      Icon

      New Technique to Enhance the Performance of Spoken Dialogue Systems by Means of Implicit Recovery of ASR Errors 

      López Cózar, Ramón; Griol, David; Quesada Moreno, José Francisco (Springer, 2010)
      This paper proposes a new technique to implicitly correct some ASR errors made by spoken dialogue systems, which is ...
    • Ponencia
      Icon

      Noiseless Functions Black-Box Optimization: Evaluation of a Hybrid Particle Swarm with Differential Operators 

      García Nieto, José Manuel; Alba, Enrique; Apolloni, Javier (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 ...
    • Ponencia
      Icon

      Nondeterminism in Spiking Neural P Systems: Algorithms and Simulations 

      Carandang, Jym Paul; Cabarle, Francis George C.; Adorna, Henry N.; Hernández, Nestine Hope S.; Martínez del Amor, Miguel Ángel (Xihua University, 2017)
      Spiking Neural P system (or SN P system) is a computing model based on the neurons in a living being. It is composed of ...
    • Ponencia
      Icon

      Notes About Spiking Neural P Systems 

      Ionescu, Mihai; Paun, Gheorghe (Fénix Editora, 2011)
      Spiking neural P systems (SN P systems, for short) are much investigated in the last years in membrane computing, but ...
    • Ponencia
      Icon

      Notes on Spiking Neural P Systems and Finite Automata 

      Cabarle, Francis George C.; Adorna, Henry N.; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2015)
      Spiking neural P systems (in short, SNP systems) are membrane computing models inspired by the pulse coding of information ...
    • Ponencia
      Icon

      On a Paun’s Conjecture in Membrane Systems 

      Mauri, Giancarlo; Pérez Jiménez, Mario de Jesús; Zandron, Claudio (Springer, 2007)
      We study a P˘aun’s conjecture concerning the unsolvability of NP–complete problems by polarizationless P systems with ...
    • Ponencia
      Icon

      On Communication Complexity in Evolution-Communication P Systems 

      Adorna, Henry N.; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2010)
      Looking for a theory of communication complexity for P systems, we consider here so-called evolution-communication (EC ...
    • Capítulo de Libro
      Icon

      On Descriptive Complexity of P Systems 

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Springer, 2005)
      In this paper we address the problem of describing the complexity of the evolution of a P system. This issue is is specially ...
    • Ponencia
      Icon

      On Efficiency of P Systems with Symport/Antiport and Membrane Division 

      Macías Ramos, Luis Felipe; Song, Bosheng; Song, Tao; Pan, Linqiang; Pérez Jiménez, Mario de Jesús (Fenix Editora, 2017)
      Classical membrane systems with symport/antiport rules observe the con- servation law, in the sense that they compute by ...