Listar Ponencias (Ciencias de la Computación e Inteligencia Artificial) por título
Mostrando ítems 434-442 de 442
-
Ponencia
Verification in ACL2 of a Generic Framework to Synthesize SAT–Provers
(Springer, 2002)We present in this paper an application of the ACL2 system to reason about propositional satisfiability provers. For that ...
-
Ponencia
Verified Computer Algebra in ACL2 (Gröbner Bases Computation)
(Springer, 2004)In this paper, we present the formal verification of a Common Lisp implementation of Buchberger’s algorithm for ...
-
Ponencia
Verifying an Applicative ATP Using Multiset Relations
(Springer, 2001)We present in this paper a formalization of multiset relations in the ACL2 theorem prover [6], and we show how multisets ...
-
Ponencia
Vision and Crowdsensing Technology for an Optimal Response in Physical-Security
(Springer, 2019)Law enforcement agencies and private security companies work to prevent, detect and counteract any threat with the ...
-
Ponencia
Visual Ontology Cleaning: Cognitive Principles and Applicability
(Springer, 2006)In this paper we connect two research areas, the Qualitative Spatial Reasoning and visual reasoning on ontologies. We ...
-
Ponencia
VisualTissue: A Friendly Tool to Study Tissue P Systems Solutions for Graph Problems
(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
Weak Metrics on Configurations of a P System
(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
When Matrices Meet Brains
(Fénix Editora, 2010)Spiking neural P systems (SN P systems, for short) are a class of distributed parallel computing devices inspired from ...
-
Ponencia
Why Six Informants Is Optimal in PSO
(ACM Digital Library, 2012)In a previous work, it was empirically shown that certain numbers of informants different from the standard ”two” and the ...