Buscar
Mostrando ítems 71-80 de 360
Artículo
Real-time gun detection in CCTV: An open problem
(Elsevier, 2020-12)
Object detectors have improved in recent years, obtaining better results and faster inference time. However, small object detection is still a problem that has not yet a definitive solution. The autonomous weapons detection ...
Artículo
The framework of P systems applied to solve optimal watermarking problem
(Elsevier, 2014)
Membrane computing (known as P systems) is a novel class of distributed parallel computing models inspired by the structure and functioning of living cells and organs, and its application to the real-world problems has ...
Artículo
Discovering New Sentiments from the Social Web
(Cornell University Library, 2014)
Artículo
Application of a computational model for complex fluvial ecosystems: The population dynamics of zebra mussel Dreissena polymorpha as a case study
(Elsevier, 2014)
The potential and adaptive flexibility of population dynamic P-systems (PDP) to study population dynamics suggests that they may be suitable for modelling complex fluvial ecosystems, characterized by a composition of ...
Artículo
Hybrid PSO6 for Hard Continuous Optimization
(Springer, 2015)
In our previous works, we empirically showed that a number of 6±2 informants may endow particle swarm optimization (PSO) with an optimized learning procedure in comparison with other combinations of informants. In this ...
Artículo
Solving the Subset-Sum Problem by P Systems with Active Membranes
(Springer, 2005)
We present the first membrance computing solution to the Subset-Sum problem using a family of deterministic P systems with active membranes. We do not use priority among rules, membrane dissolution nor cooperation; it ...
Artículo
P automata revisited
(Elsevier, 2012)
We continue here the investigation of P automata, in their non-extended case, a class of devices which characterize non-universal family of languages. First, a recent conjecture is confirmed: any recursively enumerable ...
Artículo
Formally Verified Tableau-Based Reasoners for a Description Logic
(Springer, 2014)
Description Logics are a family of logics used to represent and reason about conceptual and terminological knowledge. One of the most basic description logics is ALC , used as a basis from which to obtain others. Description ...
Artículo
Evolutionary response of a native butterfly to concurrent plantinvasions: Simulation of population dynamics
(Elsevier, 2017)
The habitat of the green-veined white butterfly Pieris oleracea in eastern North America has undergone invasions by the exotic plant garlic mustard (Alliaria petiolata), which is replacing native hosts of P. oleracea such ...
Artículo
On spiking neural P systems
(Springer, 2010)
This work deals with several aspects concerning the formal verification of SN P systems and the computing power of some variants. A methodology based on the information given by the transition diagram associated with an ...