The authors were part of an eighteen-member international delegation of data communications professionals that recently visited the People's Republic of China. This report on ...
Despite recent advances in authoring systems and tools, creating multimedia presentations remains a labor-intensive process. This paper describes a system for automatically constr...
It is well known that in an o-minimal hybrid system the continuous and discrete components can be separated, and therefore the problem of finite bisimulation reduces to the same pr...
Fault-tolerant, replicated file systems are a crucial component of today's data centers. Despite their huge complexity, these systems are typically specified only in brief pr...
— In this paper, two designs for optimal Automated Guided Vehicle (AGV) transportation systems are presented. One is vertical and the other, horizontal. For these systems, the hy...
Satoshi Hoshino, Jun Ota, Akiko Shinozaki, Hideki ...