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 429-437 de 437

    • Ponencia
      Icon

      Verification in ACL2 of a Generic Framework to Synthesize SAT–Provers 

      Martín Mateos, Francisco Jesús; Alonso Jiménez, José Antonio; Hidalgo Doblado, María José; Ruiz Reina, José Luis (Springer, 2002)
      We present in this paper an application of the ACL2 system to reason about propositional satisfiability provers. For that ...
    • Ponencia
      Icon

      Verified Computer Algebra in ACL2 (Gröbner Bases Computation) 

      Medina Bulo, Inmaculada; Palomo Lozano, Francisco; Alonso Jiménez, José Antonio; Ruiz Reina, José Luis (Springer, 2004)
      In this paper, we present the formal verification of a Common Lisp implementation of Buchberger’s algorithm for ...
    • Ponencia
      Icon

      Verifying an Applicative ATP Using Multiset Relations 

      Martín Mateos, Francisco Jesús; Alonso Jiménez, José Antonio; Hidalgo Doblado, María José; Ruiz Reina, José Luis (Springer, 2001)
      We present in this paper a formalization of multiset relations in the ACL2 theorem prover [6], and we show how multisets ...
    • Ponencia
      Icon

      Vision and Crowdsensing Technology for an Optimal Response in Physical-Security 

      Enríquez de Salamanca Ros, Fernando; Soria Morillo, Luis Miguel; Álvarez García, Juan Antonio; Sancho Caparrini, Fernando; Velasco Morente, Francisco; Deniz, Óscar; Vallez, Noelia (Springer, 2019)
      Law enforcement agencies and private security companies work to prevent, detect and counteract any threat with the ...
    • Ponencia
      Icon

      Visual Ontology Cleaning: Cognitive Principles and Applicability 

      Borrego Díaz, Joaquín; Chávez González, Antonia María (Springer, 2006)
      In this paper we connect two research areas, the Qualitative Spatial Reasoning and visual reasoning on ontologies. We ...
    • Ponencia
      Icon

      VisualTissue: A Friendly Tool to Study Tissue P Systems Solutions for Graph Problems 

      Borrego Ropero, Rafael; Díaz Pernil, Daniel; Nepomuceno Chamorro, Juan Antonio (Fénix Editora, 2007)
      P systems can be classi ed in two main groups: P systems with the membrane structure described by a tree, and tissue P ...
    • Ponencia
      Icon

      Weak Metrics on Configurations of a P System 

      Cordón Franco, Andrés; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Fénix Editora, 2004)
      The evolution of a P system generates a tree of computation po- tentially in¯nite where it is very difficult to set the ...
    • Ponencia
      Icon

      When Matrices Meet Brains 

      Zeng, Xiangxiang; Adorna, Henry N.; Martínez del Amor, Miguel Ángel; Pan, Linqiang (Fénix Editora, 2010)
      Spiking neural P systems (SN P systems, for short) are a class of distributed parallel computing devices inspired from ...
    • Ponencia
      Icon

      Why Six Informants Is Optimal in PSO 

      García Nieto, José Manuel; Alba, Enrique (ACM Digital Library, 2012)
      In a previous work, it was empirically shown that certain numbers of informants different from the standard ”two” and the ...