We use cookies to improve your experience with our site.
Advanced Search

Computing Bisimulations for Finite-Controlπ-Calculus
LIN Huimin
2000, 15(1): 1-9.
Abstract
Constructing Finite Automata with Invertibility by transformation Method
TAO Renji, CHEN Shihua
2000, 15(1): 10-26.
Abstract
Multi-Volume CAD Modeling for Heterogeneous Object Design and Fabrication
SUN Wei
2000, 15(1): 27-36.
Abstract
Volumetric Virtual Environments
HE Taosong
2000, 15(1): 37-46.
Abstract
An Accelerated Incremental Radiosity Algorithm
XING Changyu, SUN Jizhou
2000, 15(1): 47-55.
Abstract
Constraint-Based Virtual Solid Modeling
GAO Shuming, WAN Huagen, PENG Qunsheng
2000, 15(1): 56-63.
Abstract
Extraction of Spatial-Temporal Features for Vision-Based Gesture Recognition
HUANG YU, XU Guangyou, ZHU Yuanxin
2000, 15(1): 64-72.
Abstract
Using Confidence interval to Summarize the Evaluating Results of DSM Systems
SHI Weisong, TANG Zhimin, SHI Jinsong
2000, 15(1): 73-83.
Abstract
Timing-Sequence Testing of Parallel Programs
LING Yu, LI Shu, ZHANG Hui, HAN Chengde
2000, 15(1): 84-95.
Abstract
A Practical Algorithm for the Minimum Rectilinear Steiner Tree
MA Jun, YANG Bo, MA Shaohan
2000, 15(1): 96-99.
Abstract
Direct 3D Painting with a Metaball-Based Paint brush
WAN Huagen, JIN Xiaogang, BAO Hujun
2000, 15(1): 100-104.
Abstract