Listar Ponencias (Ciencias de la Computación e Inteligencia Artificial) por título
Mostrando ítems 161-180 de 442
-
Ponencia
Extending Attribute Exploration by Means of Boolean Derivatives
(CEUR-WS, 2008)We present a translation of problems of Formal Context Analysis into ideals problems in F2[x] through the Boolean ...
-
Ponencia
Extending Qualitative Spatial Theories with Emergent Spatial Concepts: An Automated Reasoning Approach
(Springer, 2014)Qualitative Spatial Reasoning is an exciting research field of the Knowledge Representation and Reasoning paradigm whose ...
-
Ponencia
Extending SNP Systems Asynchronous Simulation Modes in P-Lingua
(Fénix Editora, 2014)Spiking neural P systems (SN P systems for short) is a developing field within the P systems world. Inspired by the ...
-
Ponencia
Extension of Ontologies Assisted by Automated Reasoning Systems
(Springer, 2005)A method to extend ontologies with the assistance of automated reasoning systems and preserving a kind of completeness ...
-
Ponencia
Extracting emergent knowledge about the socioeconomic urban contexts
(ACM Digital Library, 2015)An approach to represent and analyze socioeconomic contexts as well as to reason with them, in order to extract useful ...
-
Ponencia
Fault Diagnosis for Multi-energy Flows of Energy Internet: Framework and Prospects
(IEEE Computer Society, 2017)Energy Internet (EI) is an inevitable development trend of energy systems under the background of technology development, ...
-
Ponencia
Fault Diagnosis Models for Electric Locomotive Systems Based on Fuzzy Reasoning Spiking Neural P Systems
(Springer, 2014)This paper discusses the application of fuzzy reasoning spiking neural P systems with real numbers (rFRSN P systems) to ...
-
Libro
FORMA 13 : Complex Systems Workshop: Sevilla 23-26 Oct 2013
(Fidetia, 2014) -
Libro
FORMA 14 : Complex Systems Workshop: Sevilla 22-25 Octubre 2014
(Fidetia, 2015) -
Libro
FORMA 15 : Complex Systems Workshop: Sevilla 25-28 Noviembre 2015
(Fidetia, 2016) -
Ponencia
Formal Reasoning about Efficient Data Structures: A Case Study in ACL2
(Springer, 2003)We describe in this paper the formal verification, using the ACL2 system, of a syntactic unification algorithm where terms ...
-
Ponencia
Formal Verification of Molecular Computational Models in ACL2: A Case Study
(Springer, 2003)Theorem proving is a classical AI problem with a broad range of applications. Since its complexity is exponential in the ...
-
Ponencia
Formal Verification of P Systems with Active Membranes through Model Checking
(Springer, 2011)Formal verification of P systems using model checking has attracted a significant amount of research in recent years. ...
-
Ponencia
Formalizing Rewriting in the ACL2 Theorem Prover
(Springer, 2000)We present an application of the ACL2 theorem prover to formalize and reason about rewrite systems theory. This can be ...
-
Ponencia
Forward and Backward Chaining with P Systems
(Fénix Editora, 2011)On the one hand, one of the concepts which lies at the basis of membrane computing is the multiset rewriting rule. On the ...
-
Ponencia
Four (Somewhat Nonstandard) Research Topics
(Fénix Editora, 2014)Four research directions are suggested, dealing with the following four main ideas: computing along the axon (up to now, ...
-
Ponencia
FPGA Implementation of Robot Obstacle Avoidance Controller based on Enzymatic Numerical P Systems
(IMCS: International Membrane Computing Society, 2019)It is a long-cherished wish to implement numerical P systems (NPS) on a parallel architecture so that its large scale ...
-
Ponencia
Fractals and P Systems
(Fénix Editora, 2006)In this paper we show that the massive parallelism, the synchronous appli- cation of the rules, and the discrete nature ...
-
Ponencia
Un Framework para Big Data Optimization Basado en jMetal y Spark
(Universidad de Salamanca, 2016)Las metaheur sticas multi-objetivo se han convertido en t ecnicas muy utilizadas para la resoluci on problemas complejos ...
-
Ponencia
Frontiers of Membrane Computing: Open Problems and Research Topics
(Fénix Editora, 2012)This is a list of open problems and research topics collected after the Twelfth Conference on Membrane Computing, CMC ...