Listar Ponencias (Ciencias de la Computación e Inteligencia Artificial) por título
Mostrando ítems 310-329 de 442
-
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 ...
-
Ponencia
Sample-Parallel Execution of EBCOT in Fast Mode
(IEEE Computer Society, 2016)JPEG 2000’s most computationally expensive building block is the Embedded Block Coder with Optimized Truncation (EBCOT). ...
-
Ponencia
Scale-Free Structure in Concept Lattices Associated to Complex Systems
(IEEE Computer Society, 2012)Qualitative representation and reasoning on Complex Systems (CS) is important for a number of human activities on CS, ...
-
Ponencia
Searching Partially Bounded Regions with P Systems
(Springer, 2014)The problem of automatically marking the interior and exterior regions of a simple curve in a digital image becomes a hard ...
-
Ponencia
Searching Previous Configurations in Membrane Computing
(Springer, 2009)Searching all the configurations C′ which produce a given configuration C is an extremely hard task. The current approximations ...
-
Ponencia
Secure Communication of Local States in Interpreted Systems
(Springer, 2011)Given an interpreted system, we investigate ways for two agents to communicate secrets by public announcements. For card ...