Listar Ponencias (Ciencias de la Computación e Inteligencia Artificial) por título
Mostrando ítems 295-314 de 442
-
Ponencia
P-Lingua: A Programming Language for Membrane Computing
(Fénix Editora, 2008)Software development for cellular computing has already been addressed, yielding a first generation of applications. In ...
-
Ponencia
Parallel Efficient Rate Control Methods for JPEG 2000
(SPIE Digital Library, 2017)Since the introduction of JPEG 2000, several rate control methods have been proposed. Among them, post-compression rate-distortion ...
-
Ponencia
Parallel Simulation of PDP Systems: Updates and Roadmap
(Fénix Editora, 2015)PDP systems are a type of multienvironment P systems, which serve as a formal modeling framework for Population Dynamics. ...
-
Ponencia
Parallel Simulation of Probabilistic P Systems on Multicore Platforms
(Fénix Editora, 2012)Ecologists need to model ecosystems to predict how they will evolve over time. Since ecosystems are non-deterministic ...
-
Ponencia
Parallel Skeletonizing of Digital Images by Using Cellular Automata
(Springer, 2012)Recent developments of computer architectures together with alternative formal descriptions provide new challenges in the ...
-
Ponencia
Particle Swarm Hybridized with Differential Evolution: Black-Box Optimization Benchmarking for Noisy Functions
(ACM Digital Library, 2009)In this work we evaluate a Particle Swarm Optimizer hy- bridized with Di®erential Evolution and apply it to the Black- Box ...
-
Ponencia
Particle Swarm Optimization Aplicado a la Programación de los Ciclos de Semáforos en Bahía Blanca
(RedUNCI, 2012)En este trabajo, proponemos el uso de un algoritmo de optimizaci ón mediante cúmulos de partículas (PSO, por las siglas ...
-
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 ...