Sciweavers

1119 search results - page 48 / 224
» On the Invariance of Ant System
Sort
View
SIGSOFT
2000
ACM
15 years 2 months ago
The universe model: an approach for improving the modularity and reliability of concurrent programs
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...
Reimer Behrends, Kurt Stirewalt
FMOODS
2003
14 years 11 months ago
Proof Scores in the OTS/CafeOBJ Method
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...
Kazuhiro Ogata, Kokichi Futatsugi
AUTOMATICA
2008
91views more  AUTOMATICA 2008»
14 years 8 months ago
Geometric characterization on the solvability of regulator equations
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, ...
Xiaohua Xia, Jiangfeng Zhang
ICCV
2007
IEEE
15 years 11 months ago
Chaotic Invariants for Human Action Recognition
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...
Saad Ali, Arslan Basharat, Mubarak Shah
ICETET
2009
IEEE
14 years 7 months ago
Face Description with Local Invariant Features: Application to Face Recognition
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...
Sanjay A. Pardeshi, S. N. Talbar