A type inclusion test determines whether one type is a subtype of another. Efficient type testing techniques exist for single subtyping, but not for languages with multiple subtyp...
A systematic approach to the modeling of deformable ne linear objects is presented. Various deformable objects are manipulated in many manufacturing processes. Deformation of the...
This paper describes the development of a sensor which performs parts inspection by measuring the inertial properties of the part. The sensor comprises a platform supported on a c...
Workflow management, one of the important technologies for supporting collaborative work, requires database technologies like distributed data management or transaction management...
A tractor-trailer robot consists of a carlike tractor towing a passive trailer. Due to its highly nonholonomic nature, the kinematics of this type of robot are complicated and di ...