Sciweavers

OOPSLA
1997
Springer
15 years 8 months ago
Efficient Type Inclusion Tests
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...
Jan Vitek, R. Nigel Horspool, Andreas Krall
ICRA
1995
IEEE
167views Robotics» more  ICRA 1995»
15 years 8 months ago
Modeling of Linear Objects Considering Bend, Twist, and Extensional Deformations
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...
Hidefumi Wakamatsu, Shinichi Hirai, Kazuaki Iwata
ICRA
1995
IEEE
155views Robotics» more  ICRA 1995»
15 years 8 months ago
An Inertial Sensor for Parts Inspection
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...
S. M. Tam, K. C. Cheung
OOIS
1997
Springer
15 years 8 months ago
An Agent-Based Coordination Model on Workflow Databases
Workflow management, one of the important technologies for supporting collaborative work, requires database technologies like distributed data management or transaction management...
Takeo Kunishima, Kazumasa Yokota
ICRA
1995
IEEE
109views Robotics» more  ICRA 1995»
15 years 8 months ago
Exact Motion Planning for Tractor-Trailer Robots
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 ...
Petr Svestka, Jules Vleugels