We use cookies to improve your experience with our site.

Computing Bisimulations for Finite-Controlπ-Calculus
Constructing Finite Automata with Invertibility by transformation Method
Direct 3D Painting with a Metaball-Based Paint brush
Multi-Volume CAD Modeling for Heterogeneous Object Design and Fabrication
Volumetric Virtual Environments
An Accelerated Incremental Radiosity Algorithm
Constraint-Based Virtual Solid Modeling
Extraction of Spatial-Temporal Features for Vision-Based Gesture Recognition
Using Confidence interval to Summarize the Evaluating Results of DSM Systems
Timing-Sequence Testing of Parallel Programs
A Practical Algorithm for the Minimum Rectilinear Steiner Tree
Current Issue Cover