We present the universe model,a new approach to concurrencymanagement that isolates concurrency concerns and represents them in the modular interface of a component. This approach...
A way to write proof scores showing that distributed systems have invariant properties in algebraic specification languages is described, which has been devised through several ca...
The solvability of the regulator equation for a general nonlinear system is discussed in this paper by using geometric method. The `feedback' part of the regulator equation, ...
The paper introduces an action recognition framework that uses concepts from the theory of chaotic systems to model and analyze nonlinear dynamics of human actions. Trajectories o...
A completely automatic face recognition system is presented. The method works on color face images and localizes the face region from them initially. It then determines and select...