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 127-146 de 442

    • Ponencia
      Icon

      Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations 

      Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Fernández Lebrón, María Magdalena (Springer, 2009)
      We present a specialised (polynomial-based) rule for the propositional logic called the Independence Rule, which is useful ...
    • Ponencia
      Icon

      Controlling Ontology Extension by Uncertain Concepts through Cognitive Entropy 

      Borrego Díaz, Joaquín; Chávez González, Antonia María (CEUR-WS, 2005)
    • Ponencia
      Icon

      Converting Integer Numbers from Binary to Unary Notation with P Systems 

      Gutiérrez Naranjo, Miguel Ángel; Leporati, Alberto; Zandron, Claudio (Fénix Editora, 2005)
      Current P systems which solve NP–complete numerical problems represent instances in unary notation. In classical complexity ...
    • Ponencia
      Icon

      Counting Cells with Tissue-like P Systems 

      Ardelean, Ioan I.; Díaz Pernil, Daniel; Gutiérrez Naranjo, Miguel Ángel; Peña Cantillana, Francisco; Reina Molina, Raúl; Sarchizian, Iris (Fénix Editora, 2012)
      Counting the number of cells obtained in an experiment is crucial in many areas in Biology. Nonetheless, this is usually ...
    • Ponencia
      Icon

      Counting Membrane Systems 

      Valencia Cabrera, Luis; Orellana Martín, David; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (University of Bradford, Faculty of Engineering and Informatics, 2017)
      A decision problem is one that has a yes/no answer, while a counting problem asks how many possible solutions exist ...
    • Ponencia
      Icon

      Current Developments on Computational Modeling Using P Systems 

      Riscos Núñez, Agustín (Springer, 2011)
      A P system based general framework for modeling ecosystems dynamics will be described. Roughly speaking, the idea is to ...
    • Ponencia
      Icon

      CuSNP: Spiking Neural P Systems Simulators in CUDA 

      Carandang, Jym Paul; Villaflores, John Matthew B.; Cabarle, Francis George C.; Adorna, Henry N.; Martínez del Amor, Miguel Ángel (IMCS: International Membrane Computing Society, 2016)
      Spiking neural P systems (in short, SN P systems) are models of computation inspired by biological neurons. In this work, ...
    • Ponencia
      Icon

      Data-in-the-cloud City: Análisis proactivo de la información digital de la ciudad 

      Aranda Corral, Gonzalo A.; Blanco Escudero, Alejandro; Borrego Díaz, Joaquín; Gomar Acosta, Manuel (Universidad de Coimbra, 2011)
    • Ponencia
      Icon

      DCBA: Simulating Population Dynamics P Systems with Proportional Object Distribution 

      Martínez del Amor, Miguel Ángel; Pérez Hurtado de Mendoza, Ignacio; García Quismondo, Manuel; Macías Ramos, Luis Felipe; Valencia Cabrera, Luis; Romero Jiménez, Álvaro; Graciani Díaz, Carmen; Riscos Núñez, Agustín; Colomer, M. Angels; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2012)
      Population Dynamics P systems refer to a formal framework for ecological modelling. The semantics of the model associates ...
    • Ponencia
      Icon

      Decision-Theoretic Planning with Person Trajectory Prediction for Social Navigation 

      Pérez Hurtado de Mendoza, Ignacio; Capitán Fernández, Jesús; Caballero, Fernando; Merino, Luis (Springer, 2015)
      Robots navigating in a social way should reason about people intentions when acting. For instance, in applications like ...
    • Ponencia
      Icon

      Deducción Automática en Anillos Ternarios: Algunos Métodos de Procesamiento del Conocimiento Matemático 

      Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín; Chávez González, Antonia María (Universidad de Sevilla - Fundación El Monte, 2001)
    • Ponencia
      Icon

      Deductive Databases and P Systems 

      Gutiérrez Naranjo, Miguel Ángel; Rogozhin, Vladimir (Fénix Editora, 2004)
      In computational processes based on backwards chaining, a rule of the type A Ã B1; : : : ;Bn is seen as a procedure which ...
    • Ponencia
      Icon

      Deep Learning based Beat Event Detection in Action Movie Franchises 

      Ejaz, N.; Khan, U. A.; Martínez del Amor, Miguel Ángel; Sparenberg, Heiko (SPIE Digital Library, 2018)
      Automatic understanding and interpretation of movies can be used in a variety of ways to semantically manage the massive ...
    • Ponencia
      Icon

      Dependency Graph Technique Revisited 

      Valencia Cabrera, Luis; Orellana Martín, David; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús (IMCS: International Membrane Computing Society, 2019)
      The dependency graph technique was initially thought as a method to find short paths in the computation tree of a membrane ...
    • Ponencia
      Icon

      Depth-First Search with P Systems 

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Springer, 2011)
      The usual way to find a solution for an NP complete problem in Membrane Computing is by brute force algorithms. These ...
    • Ponencia
      Icon

      Descriptional Complexity of Tissue-Like P Systems with Cell Division 

      Díaz Pernil, Daniel; Gallego Ortiz, Pilar; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Springer, 2009)
      In this paper we address the problem of describing the complexity of the evolution of a tissue-like P system with cell ...
    • Ponencia
      Icon

      Design of Specific P Systems Simulators on GPUs 

      Martínez del Amor, Miguel Ángel; Orellana Martín, David; Pérez Hurtado de Mendoza, Ignacio; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Springer, 2018)
      In order to validate P system models and to assist on their formal verification, simulators are indispensable. Moreover, ...
    • Ponencia
      Icon

      Designing Tissue-like P Systems for Image Segmentation on Parallel Architectures 

      Carnero Iglesias, Javier; Díaz Pernil, Daniel; Gutiérrez Naranjo, Miguel Ángel (Fénix Editora, 2011)
      Problems associated with the treatment of digital images have several interesting features from a bio-inspired point of ...
    • Ponencia
      Icon

      DisMatch results for OAEI 2016 

      Rybinski, Maciej; Roldán García, María del Mar; García Nieto, José Manuel; Aldana Montes, José F. (CEUR-WS.Org, 2016)
      DisMatch is an experimental ontology matching system based on the use of corpus based distributional measure for approximating ...
    • Ponencia
      Icon

      Docking Inter/Intra-Molecular Mediante Metaheurísticas Multi-objetivo 

      López Camacho, Esteban; García Godoy, María Jesús; García Nieto, José Manuel; Nebro, Antonio J.; Aldana Montes, José F. (MAEB, 2015)
      El Acoplamiento Molecular (Molecular Docking) es un problema de optimización de gran complejidad que consiste en predecir ...