Listar Ponencias (Ciencias de la Computación e Inteligencia Artificial) por título
Mostrando ítems 305-324 de 442
-
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 ...
-
Ponencia
Revisiting Sevilla Carpets: A New Tool for the P-Lingua Era
(Fénix Editora, 2014)Sevilla Carpets have already been used to compare di erent solutions of the Subset Sum problem: either designed in the ...
-
Ponencia
Robot Path Planning using Rapidly-Exploring Random Trees: A Membrane Computing Approach
(IEEE Computer Society, 2018)Methods based on Rapidly-exploring Random Trees (RRTs) have been in use in robotics to solve motion planning problems ...
-
Ponencia
ROS: Servicio de Optimización Remota
(SISTEDES: Ingeniería de Software y las Tecnologías de Desarrollo de Software, 2006)En este artículo se describe ROS, un Servicio de Optimización Remota. ROS permite a sus usuarios tener acceso a un conjunto ...