We use cookies to improve your experience with our site.

The Least Fixpoint Transformation for Disjunctive Logic Programs
Symmetric π-Calculus
Intuitive Minimal Abduction in Sequent Calculi
A Surface Rendering Approach in 3D Rectilinear Datafield
A Knowledge Representation Model for Video-Based Animation
C~2-(C~3-) Continuous Interpolation Spline Curve and Surface
Deformable Registration of Digital Images
A Traffic Partition Algorithm for Switched LANs and Its Performance Analysis
An Efficient Multiple Predicate Learner
Extract Rules by Using Rough Set and Knowledge-Based NN
Acoustic Simulation with Dynamic Mechanisms in Virtual Reality
Current Issue Cover