Advanced Search

column
High-Level Bounded Model Checking Using Wu's Method
Yang Zhi, Ma Guangsheng, Feng Gang, Shao Jingbo
2008, 20(2): 137-143.
Abstract PDF
G-Tree: Gravitation-Direction-Based Rectilinear Steiner Minimal Tree Construction Considering Bend Reduction
Liang Jinghong, Hong Xianlong, Jing Tong
2008, 20(2): 144-148.
Abstract PDF
Sequential Equivalence Checking Algorithm Using States Caching
Yang Jun, Weng Yanling, Ge Haitong, Yan Xiaolang
2008, 20(2): 149-154.
Abstract PDF
An Improved Tabu Search Algorithm for Network-on-Chip Mapping
Chang Zhengwei, Xie Xiaona, Sang Nan, Xiong Guangze
2008, 20(2): 155-160.
Abstract PDF
A Test Set Compression Algorithm Based on PTIDR Code
Li Guoliang, Feng Jianhua, Cui Xiaole
2008, 20(2): 161-166.
Abstract PDF
Surface Rough Matching Algorithm Based on Maximum Weight Clique
Wang Jian, Zhou Laishui
2008, 20(2): 167-173.
Abstract PDF
Ruled Surface Extraction from Mesh Model
Chen Zhiyang, Ding Zhan, Ye Xiuzi, Zhang Sanyuan
2008, 20(2): 174-179.
Abstract PDF
Approximate Geodesics Path on Triangle Mesh
Tong Jing, Chen Zhengming
2008, 20(2): 180-185.
Abstract PDF
Reconstructing Solids with Tori from Three Orthographic Views Engineering Drawings
Zhang Yiwen, Gong Jiehui, Zhang Hui
2008, 20(2): 186-192.
Abstract PDF
Geometry Compression Algorithm of 3D Mesh Models Based on Sphere Surface Division
He Lijun, Liu Yongkui, Li Xiaoniu, Wang Xiaoqiang
2008, 20(2): 193-200.
Abstract PDF
A Computer Aided Motion Design System for Rhythmic Gymnastics
Sun Shouqian, Wang Xin, Diao Zaizhen, Deng Chunyan
2008, 20(2): 201-206.
Abstract PDF
Synthesized Synchronicity Mechanism for Fitness-Oriented Virtual Network Game
He Gaoqi, Pan Zhigeng, Li Yongqing, Su Shaoyong
2008, 20(2): 207-212.
Abstract PDF
Fuzzy Multi-objective Assessment and Simulation for Virtual Human's Adaptive Action
Wang Chaohui, Zheng Guolei, Zhu Xinxiong
2008, 20(2): 213-219.
Abstract PDF
Green Design Oriented Product Family Planning
Zhang Lei, Huang Haihong, Liu Guangfu, Liu Zhifeng
2008, 20(2): 220-227.
Abstract PDF
Fiber-Placement Path Design for Composite Structures in Pipy-Form
Wang Niandong, Liu Yi, Xiao Jun
2008, 20(2): 228-233.
Abstract PDF
An Equality Checking Approach for 3D Solid Models
Wei Feng, Huang Zhengdong
2008, 20(2): 234-238.
Abstract PDF
Extensible Scheme Design of Large-Scale Hydraulic Turbine Based on Knowledge Reuse
Wang Tichun, Zhong Shisheng
2008, 20(2): 239-245.
Abstract PDF
An Algorithm for Rectangle's Feasible Region Calculation
Wang Jinmin, Zhang Pengcheng, Zhu Yanhua
2008, 20(2): 246-252.
Abstract PDF
Adaptive Elastic Graph Face Matching Method in Grid
Zhang Haiyang, Ma Huadong
2008, 20(2): 253-258.
Abstract PDF
The Trace-Based Nonlinear Structure Tensor
Zheng Yuhui, Pan Yu, Wang Pingan, Wei Zhihui, Xia Deshen
2008, 20(2): 259-266.
Abstract PDF
Motional Cycloid and It's Application in Security Pattern Design
Qi Wenfa, Li Xiaolong, Yang Bin, Guo Wei, Lu Shuyi
2008, 20(2): 267-272.
Abstract PDF
    Email Alert RSS