Listar Ponencias (Ciencias de la Computación e Inteligencia Artificial) fecha de publicación 

Listar Ponencias (Ciencias de la Computación e Inteligencia Artificial) por fecha de publicación

Mostrando ítems 21-40 de 442

    • Ponencia
      Icon

      A Quasi-Metric for Machine Learning 

      Gutiérrez Naranjo, Miguel Ángel; Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín (Springer, 2002)
      The subsumption relation is crucial in the Machine Learning systems based on a clausal representation. In this paper 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

      Complexity Classes in Cellular Computing with Membranes 

      Pérez Jiménez, Mario de Jesús; Romero Jiménez, Álvaro; Sancho Caparrini, Fernando (2003)
      In this paper we introduce the complexity class PMC∗ F of all decision problems solvable in polynomial time by a family of P systems belonging to a prefixed class of recognizer membrane systems, F.
    • 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

      An Agent Based Approach of Collective Foraging 

      Gheorgue, Marian; Martín Vide, Carlos; Mitrana, Víctor; Pérez Jiménez, Mario de Jesús (Springer, 2003)
      In this paper the behaviour of a bee colony is modeled as a society of communicating agents acting in parallel and ...
    • 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 ...
    • Capítulo de Libro
      Icon

      Hybrid Networks of Evolutionary Processors 

      Martín Vide, Carlos; Mitrana, Víctor; Pérez Jiménez, Mario de Jesús; Sancho Caparrini, Fernando (Springer, 2003)
      A hybrid network of evolutionary processors consists of several processors which are placed in nodes of a virtual graph ...
    • 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

      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

      P Systems with Tables of Rules 

      Paun, Gheorghe; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Fénix Editora, 2004)
      In the last time, several e®orts were made in order to remove the polarization of membranes from P systems with active ...
    • Ponencia
      Icon

      Looking for P Truth 

      Cordón Franco, Andrés; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2004)
      In a general sense, Logic studies how to derive new pieces of in- formation from previous ones. In this paper we explore ...
    • Ponencia
      Icon

      Tissue P Systems with Cell Division 

      Paun, Gheorghe; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Fénix Editora, 2004)
      In tissue P systems several cells (elementary membranes) commu- nicate through symport/antiport rules, thus carrying out ...
    • Ponencia
      Icon

      A CLIPS Simulator for Recognizer P Systems with Active Membranes 

      Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (Fénix Editora, 2004)
      In this paper we propose a new way to represent recognizer P systems with active membranes based on Production Systems ...
    • Ponencia
      Icon

      Simulating Shuffle-Exchange Networks with P Systems 

      Ceterchi, Rodica; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2004)
      We present in this paper a simulation with P systems of the parallel architecture known as shuffle-exchange network. This ...
    • Ponencia
      Icon

      Approximating Non-discrete P Systems 

      Cordón Franco, Andrés; Sancho Caparrini, Fernando (Springer, 2004)
      The main goal of this paper is to propose some geometric approaches to the computations of non-discrete P systems. The ...
    • Capítulo de Libro
      Icon

      Implementing in Prolog an Effective Cellular Solution to the Knapsack Problem 

      Cordón Franco, Andrés; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín; Sancho Caparrini, Fernando (Springer, 2004)
      In this paper we present an implementation in Prolog of an effective solution to the Knapsack problem via a family of deterministic P systems with active membranes using 2-division.
    • Ponencia
      Icon

      A Java Simulator for Basic Transition P Systems 

      Nepomuceno Chamorro, Isabel de los Ángeles (Fénix Editora, 2004)
      In this paper, a software tool (called SimCM, from Spanish Sim- ulador de Computaci¶on con Membranas) for handling P ...
    • Ponencia
      Icon

      A Note on Complexity Measures for Probabilistic P Systems 

      Sancho Caparrini, Fernando (Fénix Editora, 2004)
      In this paper we present a first approach to the definition of different entropy measures for probabilistic P systems in ...
    • 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

      Provably Total Primitive Recursive Functions: Theories with Induction 

      Cordón Franco, Andrés; Fernández Margarit, Alejandro; Lara Martín, Francisco Félix (Springer, 2004)
      A natural example of a function algebra is R (T), the class of provably total computable functions (p.t.c.f.) of a theory ...