VCenter, a platform for broadcasting digital video content, was developed by the National Digital Archives Program (NDAP), Taiwan. The platform provides a number of functions, such...
Under the support of the National Digital Archive Program (NDAP), basic species information about most Taiwanese fishes, including their morphology, ecology, distribution, specime...
Kwang-Tsao Shao, Jack Yung-Chang Lin, Hsin-Hua Lin
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
Yung-Pin Cheng, Michal Young, Che-Ling Huang, Chia...