Listar Ponencias (Ciencias de la Computación e Inteligencia Artificial) por título
Mostrando ítems 166-185 de 442
-
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 ...
-
Ponencia
Fusión Automatizada de Ontologías: Aplicación al Razonamiento Espacial Cualitativo
(Universidad de Castilla-La Mancha, Departamento de Sistemas Informáticos, 2006)La evolución de las ontologías es un problema clave en la Integración del Conocimiento, cuya resolución es imprescindible ...
-
Ponencia
Gene Selection in Cancer Classification using PSO/SVM and GA/SVM Hybrid Algorithms
(IEEE Computer Society, 2007)In this work we compare the use of a Particle Swarm Optimization (PSO) and a Genetic Algorithm (GA) (both augmented with ...
-
Ponencia
Generalizing Programs via Subsumption
(Springer, 2003)In this paper we present a class of operators for Machine Learning based on Logic Programming which represents a ...
-
Ponencia
Generating Diophantine Sets by Virus Machines
(Springer, 2015)Virus Machines are a computational paradigm inspired by the manner in which viruses replicate and transmit from one host ...
-
Ponencia
Generation of rapidly-exploring random trees by using a new class of membrane systems
(Xihua University, 2017)Methods based on Rapidly-exploring Random Trees (RRTs) have been in use in robotics to solve motion planning problems for ...