Listar Ciencias de la Computación e Inteligencia Artificial por título
Mostrando ítems 331-350 de 880
-
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 ...
-
Tesis Doctoral
Extensiones de fragmentos de la Aritmética
(2003)El presente trabajo se enmarca dentro del campo de estudio de los Modelos de la Aritmética de Peano: PA. En líneas generales, ...
-
Artículo
Extracción y organización del conocimiento de etiquetados. Aplicación a etiquetados en repositorios digitales sobre arte
(Seminario Interdisciplinar para el Estudio de la Literatura Áurea Española, 2014) -
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 ...
-
Artículo
Fault Diagnosis of Electric Power Systems Based on Fuzzy Reasoning Spiking Neural P Systems
(IEEE Computer Society, 2015)This paper proposes a graphic modeling approach, fault diagnosis method based on fuzzy reasoning spiking neural P systems ...
-
Artículo
Fault Diagnosis of Metro Traction Power Systems Using A Modified Fuzzy Reasoning Spiking Neural P System
(Romanian Academy, Section for Information Science and Technology, 2015)This paper presents the application of a modified fuzzy reasoning spiking neural P systems (MFRSN P system, for short) ...
-
Artículo
Fault Diagnosis of Power Systems Using Intuitionistic Fuzzy Spiking Neural P Systems
(IEEE Computer Society, 2018)In this paper, intuitionistic fuzzy spiking neural P (IFSNP) systems as a variant are proposed by integrating intuitionistic ...
-
Artículo
Fault diagnosis of spur gearbox based on random forest and wavelet packet decomposition
(Springer, 2015)This paper addresses the development of a random forest classifier for the multi-class fault diagnosis in spur gearboxes. ...
-
Artículo
Fault Section Estimation of Power Systems with Optimization Spiking Neural P Systems
(Romanian Academy, Section for Information Science and Technology, 2015)An optimization spiking neural P system (OSNPS) provides a novel way to directly use a P system to solve optimization ...
- Libro
-
Artículo
First Steps Towards a CPU Made of Spiking Neural P Systems
(Agora University of Oradea, Romania, 2009)We consider spiking neural P systems as devices which can be used to perform some basic arithmetic operations, namely ...
-
Artículo
Foreword. Special Issue: A selection of papers from the 10th Brainstorming Week on Membrane Computing
(Taylor and Francis, 2013) -
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) -
Artículo
Formal Correctness of a Quadratic Unification Algorithm
(Springer, 2006)We present a case study using ACL2 [5] to verify a non-trivial algorithm that uses efficient data structures. The algorithm ...