This paper describes a memory management discipline for programs that perform dynamic memory allocation and de-allocation. At runtime, all values are put into regions. The store consists of a stack of regions. All points of region allocation and de-allocation are inferred automatically, using a type and effect based program analysis. The scheme does not assume the presence of a garbage collecto...

The Hebbian hypothesis of activity-dependent synaptic plasticity has gained much support from experimental studies of long-term potentiation and depression. Such studies have also uncovered complex patterns of competition among the synapses. Such e ects may be due to the neuron redistributing its limited synaptic resources as synaptic strengths change. In computational models this strategy is c...

The Region Connection Calculus (RCC) is one of the most widely referenced system of high-level (qualitative) spatial reasoning. RCC assumes a continuous representation of space. This contrasts sharply with the fact that spatial information obtained from physical recording devices is nowadays invariably digital in form and therefore implicitly uses a discrete representation of space. Recently, G...

Recently, correlation filters have demonstrated the excellent performance in visual tracking. However, the base training sample region is larger than the object region, including the Interference Region (IR). The IRs in training samples from cyclic shifts of the base training sample severely degrade the quality of a tracking model. In this paper, we propose the novel Region-filtering Correlatio...

A regional optimization of automatically generated machining toolpath for computer based freeform mechanical models is considered in the framework of multi-axis (three to ve) machining operations. Consider a trichotomy of an arbitrary freeform shaped surface into convex, concave and saddle-like regions. Saddle-like and concave regions can be milled using a ball end tool, in a 3or a 5-axis mode....

A new family of proximity graphs, called region counting graphs (RCG) is presented. The RCG for a finite set of points in the plane uses the notion of region counting distance introduced by Demaine et al. to characterize the proximity between two points p and q: the edge pq is in the RCG if and only if there is less than or exactly k vertices in a given geometric neighborhood defined by a regio...

We are interested in the problem of how an agent organizes its sensorimotor experiences in order to create a spatial representation. Our approach to solve this problem is the Spatial Semantic Hierarchy (SSH), where multiple levels of spatial representation coexists. At the SSH topological level, space is represented by places and connectivity relation among them. Places are arranged into street...

This is an editorial for the special series.