Journal of Computer Science and Technology 2000 Issue 1 computing bisimulations for finite-control -calculus

Journals A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Journal of Computer Science and Technology
1000-9000
2000 Issue 1

computing bisimulations for finite-control -calculus
LIN HuiminE-mail: 1hm@ox.ios.ac.cn

..............page:1-9

A Practical Algorithm for the Minimum Rectilinear Steiner Tree
MA Jun;YANG Bo ; MA Shaohan E-mail: majun@sdu.edu.cn

..............page:96-99

Multi-Volume CAD Modeling for Heterogeneous Object Design and Fabrication
SUN WeiE-mail: sunwei@drexel.edu or rpdc@drexel.edu

..............page:27-36

1Constructing Finite Automata with Invertibility by transformation Method
TAO Renji;CHEN ShihuaE-mail: trj@gat.ios.ac.cn; chen@gat.ios.ac.cn

..............page:10-26

an accelerated incremental radiosity algorithm
XING ChangyuSUN Jizhou E-mail: jzsun@tju.edu.cnR.L.GrimsdaleCenter for VLSI and Computer Graphics; Univers

..............page:47-55

volumetric virtual environments
HE TaosongE-mail: taosong@research.bell-labs.com

..............page:37-46

constraint-based virtual solid modeling
GAO Shuming ; WAN Huagen; PENG Qunsheng

..............page:56-63

Extraction of Spatial-Temporal Features for Vision-Based Gesture Recognition
HUANG YU; XU Guangyou; ZHU Yuanxin ; E-mail: xgy-dcs@mail.tsinghua.edu.cn

..............page:64-72

Direct 3D Painting with a Metaball-Based Paint brush
WAN Huagen;JIN Xiaogang; BAO HujunE-mail: hgwan@cad.zju.edu.cn

..............page:100-104

information for authors

..............page:105

timing-sequence testing of parallel programs
LING Yu ;LI Shu;ZHANG Hui; HAN ChengdeB-mail: lishu@chpc.ict.ac.cn;

..............page:84-95

Using Confidence interval to Summarize the Evaluating Results of DSM Systems
SHI Weisong; TANG Zhimin; SHI JinsongE-mail: {wsshi; t

..............page:73-83