We present a detector-pyramid architecture for real-time multi-view face detection. Using a
coarse to fine strategy, the full view is partitioned into finer and finer views. Each face …

The design of formal calculi in which fundamental concepts underlying interactive systems
can be described and studied has been a central theme of theoretical computer science in …

This paper presents spiking neural P systems with weighted synapses, a class of distributed
parallel neural-like computing models, abstracted from the way in which the complex system …

Membrane computing is a branch of natural computing aiming to abstract computing models
from the structure and functioning of the living cell, and from the way cells cooperate in …

We investigate the enhanced mobile membranes, a new class of mobile membrane system
in which new rules are introduced. The contextual evolution rules describe how an object …

Membrane systems represent a new model of computation involving parallel application of
rules, communication between membranes and dissolving. Since rewriting logic is a general …

We consider membrane systems with dissolving and thickening reaction rules. Application of
these rules entails a dynamical change in the structure of a system during its evolution. First …

We establish a relationship between two formalisms used in describing biological systems.
We translate some notions from the ambient calculus into the formalism of membrane …

Petri nets are a well-established model of concurrent and distributed computation featuring a
wealth of tools for the analysis and verification of their behavioural properties. Like …

We investigate the expressivity of two classical distributed paradigms by defining an
encoding of the pure mobile ambient calculus into the synchronous π-calculus. We show …