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 414-433 de 442

    • Ponencia
      Icon

      Towards a Practical Argumentative Reasoning with Qualitative Spatial Databases 

      Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín; Chávez González, Antonia María; Gutiérrez Naranjo, Miguel Ángel; Navarro Marín, Jorge D. (Springer, 2003)
      Classical database management can be flawed if the Knowledge database is built within a complex Knowledge Domain. We ...
    • Ponencia
      Icon

      Towards a Practical Argumentative Reasoning with Qualitative Spatial Databases 

      Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín; Chávez González, Antonia María; Gutiérrez Naranjo, Miguel Ángel; Navarro Marín, Jorge D. (Springer, 2003)
      Classical database management can be flawed if the Knowledge database is built within a complex Knowledge Domain. We ...
    • Ponencia
      Icon

      Towards a Programming Language in Cellular Computing 

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Fénix Editora, 2004)
      Several solutions to hard numerical problems using P systems have been presented recently, and strong similarities in ...
    • Ponencia
      Icon

      Towards a Soft Evaluation and Refinement of Tagging in Digital Humanities 

      Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Galán Páez, Juan (Springer, 2015)
      In this paper we estimate the soundness of tagging in digital repositories within the field of Digital Humanities by ...
    • Ponencia
      Icon

      Towards a tool for ontology engineering 

      Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín; Chávez González, Antonia María (IEEE Computer Society, 2004)
      A tool based on a spatial representation of provisional ontologies is designed. The tool allows the cleming of Knowledge Bases, aa well to induce new concepts in early steps of the building of an ontology.
    • Ponencia
      Icon

      Towards a verifiable topology of data 

      Lambán Pardo, Laureano; Martín Mateos, Francisco Jesús; Rubio, Julio; Ruiz Reina, José Luis (Universidad de La Rioja, Departamento de Matemáticas y Computación, 2016)
    • Ponencia
      Icon

      Towards an Integrated Approach for Model Simulation, Property Extraction and Veri cation of P Systems 

      Lefticaru, Raluca; Ipate, Florentin; Valencia Cabrera, Luis; Turcanu, Adrian; Tudose, Cristina; Gheorgue, Marian; Pérez Jiménez, Mario de Jesús; Niculescu, Ionut Mihai; Dragomir, Ciprian (Fénix Editora, 2012)
      This paper presents an integrated approach for model simulation, property extraction and formal veri cation of P systems, ...
    • Ponencia
      Icon

      Towards Bridging Two Cell-Inspired Models: P Systems and R Systems 

      Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2011)
      We examine, from the point of view of membrane computing, the two basic assumptions of reaction systems, the "threshold" ...
    • Ponencia
      Icon

      Towards Emotion Recognition: A Persistent Entropy Application 

      González Díaz, Rocío; Paluzo Hidalgo, Eduardo; Quesada Moreno, José Francisco (Springer, 2019)
      Emotion recognition and classification is a very active area of research. In this paper, we present a first approach to ...
    • Capítulo de Libro
      Icon

      Towards Probabilistic Model Checking on P Systems Using PRISM 

      Romero Campero, Francisco José; Gheorghe, Marian; Bianco, Luca; Pescini, Dario; Pérez Jiménez, Mario de Jesús; Ceterchi, Rodica (Springer, 2006)
      This paper presents the use of P systems and π-calculus to model interacting molecular entities and how they are translated into a probabilistic and symbolic model checker called PRISM.
    • Capítulo de Libro
      Icon

      Trading Polarization for Bi-stable Catalysts in P Systems with Active Membranes 

      Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (Springer, 2005)
      In the last time, several efforts have been made in order to remove polarizations of membranes from P systems with active ...
    • Ponencia
      Icon

      Uniform Solution to QSAT Using Polarizationless Active Membranes 

      Alhazov, Artiom; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2006)
      It is known that the satisfiability problem (SAT) can be solved a semi- uniform family of deterministic polarizationless ...
    • Ponencia
      Icon

      Universal P Systems: One Catalyst Can Be Suficient 

      Freund, Rudolf; Paun, Gheorghe (Fénix Editora, 2013)
      Whether P systems with only one catalyst can already be universal, is still an open problem. Here we establish universality ...
    • Ponencia
      Icon

      Uranium- decay chain 

      Arazo, María; Barroso Mancha, Marc; Torre, Óscar de la; Moreno Valero, Laura; Ribes Metidieri, Ariadna; Ribes Metidieri, Patricia; Ventura, Ana; Orellana Martín, David (Fénix, 2016)
      The main objective of this article is to modelize the process of decay of Uranium within the framework of Membrane ...
    • Ponencia
      Icon

      Urban Knowledge Extraction, Representation and Reasoning as a Bridge from Data City towards Smart City 

      Miguel Rodríguez, Jaime de; Galán Páez, Juan; Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín (IEEE Computer Society, 2016)
      Urban Data management represents a major challenge in the field of Smart Cities. Its understanding is essential for the ...
    • Ponencia
      Icon

      Using A Kernel P System to Solve The 3-Col Problem 

      Ipate, Florentin; Dragomir, Ciprian; Lefticaru, Raluca; Mierla, Laurentiu; Pérez Jiménez, Mario de Jesús (MTA SZTAKI, the Computer and Automation Research Institute of the Hungarian Academy of Sciences, 2012)
      The newly introduced Kernel P systems offer an unitary and elegant way of integrating established features of existing P ...
    • Ponencia
      Icon

      Using Abstract Stobjs in ACL2 to Compute Matrix Normal Forms 

      Lambán Pardo, Laureano; Martín Mateos, Francisco Jesús; Rubio, Julio; Ruiz Reina, José Luis (Springer, 2017)
      We present here an application of abstract single threaded objects (abstract stobjs) in the ACL2 theorem prover, to define ...
    • Capítulo de Libro
      Icon

      Using Automated Reasoning Systems on Molecular Computing 

      Graciani Díaz, Carmen; Pérez Jiménez, Mario de Jesús (Springer, 2005)
      This paper is focused on the interplay between automated reasoning systems (as theoretical and formal devices to study ...
    • Ponencia
      Icon

      Using Maude 

      Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí Oliet, Narciso; Meseguer, José; Quesada Moreno, José Francisco (Springer, 2000)
    • Ponencia
      Icon

      Using Metaheuristic Algorithms Remotely via ROS 

      García Nieto, José Manuel; Alba, Enrique; Chicano, Francisco (ACM Digital Library, 2007)