Sciweavers

1119 search results - page 104 / 224
» On the Invariance of Ant System
Sort
View
IDEAS
2009
IEEE
104views Database» more  IDEAS 2009»
15 years 4 months ago
An organizational file permission management system using the cellular data system
In designing dynamic situations such as cyberworlds, we the Incrementally Modular Abstraction Hierarchy (IMAH) to be an appropriate mathematical background to model dynamically ch...
Toshio Kodama, Tosiyasu L. Kunii, Yoichi Seki
ACII
2005
Springer
14 years 12 months ago
Hand Motion Recognition for the Vision-based Taiwanese Sign Language Interpretation
In this paper we present a system to recognize the hand motion of Taiwanese Sign Language (TSL) using the Hidden Markov Models (HMMs) through a vision-based interface. Our hand mot...
Chia-Shiuan Cheng, Pi-Fuei Hsieh, Chung-Hsien Wu
FOCM
2010
100views more  FOCM 2010»
14 years 8 months ago
Higher-Order Averaging, Formal Series and Numerical Integration I: B-series
We show how B-series may be used to derive in a systematic way the analytical expressions of the high-order stroboscopic averaged equations that approximate the slow dynamics of h...
P. Chartier, A. Murua, J. M. Sanz-Serna
CCA
2009
Springer
15 years 4 months ago
Random Iteration Algorithm for Graph-Directed Sets
Abstract. A random iteration algorithm for graph-directed sets is defined and discussed. Similarly to the Barnsley-Elton’s theorem, it is shown that almost all sequences obtaine...
Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hide...
DAC
1996
ACM
15 years 2 months ago
State Reduction Using Reversible Rules
We reduce the state explosion problem in automatic verification of finite-state systems by automatically collapsing subgraphs of the aph into abstract states. The key idea of the ...
C. Norris Ip, David L. Dill