D sequences [1-15] are perhaps the simplest family of random sequences that subsumes other families such as shift register sequences [16]. In their ordinary form, d sequences are not computationally complex [2], but they can be used in a recursive form [8] that is much stronger from a complexity point of view. The basic method of the generating the binary d-sequences is given in [1]. The autoco...

A dynamic two-sided matching market is considered. We examine two existing notions of stability—the core and recursive core—for this multi-period market and argue that they both have limitations. We define two new notions of stability and label them, self-sustaining stability and strict self-sustaining stability. Both concepts can be viewed as the recursive core with more stringent conditions f...

Several implementations of a recursive disparity esti-mator have been investigated in which bi-directional spatial predictions as well as temporal predictions are used. The recursive disparity estimator showed to be very attractive for real time multi view interpolation applications because of the use of the predictions and small search ranges or update sets. The estimated disparity elds are sm...

We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicating via shared actions. Actually, we combine multi-stack visibly pushdown automata and Zielonka’s asynchronous automata towards a model with an undecidable emptiness problem. However, a reasonable restriction allows us to lift Zie...

Current business trends, policy markets, production requirements, etc., have created the need for integrating pre-existing Multi Agent Systems (MAS). In the agent-specialized literature, we have not found agent architectures neither methodologies that allow us to carry out recursive and dynamic analysis, design, and implementation of MASs. Several difficult challenges for automated systems can ...

We propose a recursive generalized total least-squares (RGTLS) estimator that is used in parallel with a noise covariance estimator (NCE) to solve the errors-in-variables problem for multi-input-single-output linear systems with unknown noise covariance matrix. Simulation experiments show that the suggested RGTLS with NCE procedure outperforms the common recursive least squares (RLS) and recurs...

We present a comparative study for tracking multiple persons using cameras with overlapping views. The evaluated methods consist of two batch mode trackers (Berclaz et al, 2011, Ben-Shitrit et al, 2011) and one recursive tracker (Liem and Gavrila, 2011), which integrate appearance cues and temporal information differently. We also added our own improved version of the recursive tracker. Further...

Reentrant locking is a recursive locking mechanism which allows a thread in a multi-threaded program to acquire the reentrant lock multiple times. The thread must release this lock an equal number of times before another thread can acquire this lock. We consider the control state reachability problem for recursive multi-threaded programs synchronizing via a finite number of reentrant locks. Suc...