Listar Ponencias (Ciencias de la Computación e Inteligencia Artificial) por título
Mostrando ítems 302-321 de 442
-
Ponencia
PBIL for Optimizing Hyperparameters of Convolutional Neural Networks and STL Decomposition
(Springer, 2020)The optimization of hyperparameters in Deep Neural Net-works is a critical task for the final performance, but it involves ...
-
Ponencia
Pedestrian Behavior Mining from Data
(University of York, UK, 2015)A general -observation-based- qualitative framework to extract agent-based pedestrian behavior is presented. To extract qualitative rules from data we use tools, from Formal Concept Analysis, for implicational reasoning.
-
Ponencia
Performing Arithmetic Operations with Spiking Neural P Systems
(Fénix Editora, 2009)We consider spiking neural P systems as devices which can be used to perform some basic arithmetic operations, namely ...
-
Ponencia
Phenomenological Percolation in Conceptual Networks associated to Complex Systems
(IEEE Computer Society, 2014)A notion of phenomenological percolation for Conceptual Structures associated to Complex Systems (CS) is proposed. This ...
-
Ponencia
Polarizationless P Systems with Active Membranes Working in the Minimally Parallel Mode
(Fénix Editora, 2007)We investigate the computing power and the efficiency of P systems with active membranes without polarizations, working ...
-
Ponencia
Population Dynamics P Systems on CUDA
(Springer, 2012)Population Dynamics P systems (PDP systems, in short) provide a new formal bio-inspired modeling framework, which has been ...
-
Ponencia
Probabilistic Guarded P Systems, A Formal Definition
(Fénix Editora, 2014)In this paper, we extend the general framework of Multienvironment P systems, which is a formal framework for modelling ...
-
Ponencia
Probabilistic Guarded P Systems, A New Formal Modelling Framework
(Springer, 2014)Multienvironment P systems constitute a general, formal framework for modelling the dynamics of population biology, which ...
-
Ponencia
Progress Report: Term Dags Using Stobjs
(University of Texas, 2002)We explore in this paper the use of efficient data structures to implement operations on first-order terms, that can be ...
-
Ponencia
Provably Total Primitive Recursive Functions: Theories with Induction
(Springer, 2004)A natural example of a function algebra is R (T), the class of provably total computable functions (p.t.c.f.) of a theory ...
-
Ponencia
Proving and Computing: Applying Automated Reasoning to the Verification of Symbolic Computation Systems
(Springer, 2014)The application of automated reasoning to the formal verification of symbolic computation systems is motivated by the ...
-
Ponencia
Proximidad entre cláusulas en programación lógica inductiva
(Universidad de Sevilla - Fundación El Monte, 2001) -
Ponencia
Qualitative Reasoning on Complex Systems from Observations
(Springer, 2013)A hybrid approach to phenomenological reconstruction of Complex Systems (CS), using Formal Concept Analysis (FCA) as main ...
-
Ponencia
Reconciling Knowledge in Social Tagging Web Services
(Springer, 2010)Sometimes we want to search for new information about topics but we can not find relevant results using our own knowledge ...
-
Ponencia
Repairing Conceptual Relations in Ontologies by means of an Interactive Visual Reasoning: Cognitive and Design Principles
(IEEE Computer Society, 2012)The technologies of visual representation are a great help for understanding items of information and the relations among ...
-
Ponencia
Un Repositorio RDF para la Integración de Flujos de Datos de Analítica Web y Comercio Electrónico
(Ediciones Universidad de Salamanca, 2016)La Analítica Web supone hoy en día una tarea ineludible para las empresas de comercio electrónico, ya que les permite ...
-
Ponencia
Restricted Polarizationless P Systems with Active Membranes: Minimal Cooperation Only Inwards
(Fenix Editora, 2017)Membrane computing is a computing paradigm providing a class of distributed parallel computing devices of a biochemical ...
-
Ponencia
Restricted Polarizationless P Systems with Active Membranes: Minimal Cooperation Only Outwards
(Fenix Editora, 2017)Membrane computing is a computing paradigm providing a class of distributed parallel computing devices of a biochemical ...
-
Ponencia
Rete Algorithm Applied to Robotic Soccer
(Springer, 2005)This article is a first approach to the use of Rete algorithm to design a team of robotic soccer playing agents for Robocup ...
-
Ponencia
Rete Algorithm for P System Simulators
(Fénix Editora, 2013)The Rete algorithm is a well-known algorithm in rule-based production systems which builds directed acyclic graphs that ...