Sciweavers

4794 search results - page 144 / 959
» Trust-Based Mechanism Design
Sort
View
ICRA
2000
IEEE
94views Robotics» more  ICRA 2000»
15 years 8 months ago
Structural Design and Analysis of a New Semi-Direct Drive Robot Arm: Theory and Experiment
This paper reports the mechanical design, structural analysis, and experimental veri cation of a new high performance semi-direct drive robot arm. A design optimization methodolog...
Jaydeep Roy, Randal P. Goldberg, Louis L. Whitcomb
CONCUR
1989
Springer
15 years 7 months ago
Using the Temporal Logic RDL for Design Specifications
In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theore...
Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter
RSP
1998
IEEE
109views Control Systems» more  RSP 1998»
15 years 7 months ago
A Technique for Combined Virtual Prototyping and Hardware Design
A technique to include virtual prototyping in the design cycle of complex digital modem ASICs is presented. It is innovating by using the same behavioral description for both the ...
Patrick Schaumont, Geert Vanmeerbeeck, E. Watzeels...
ICALT
2006
IEEE
15 years 9 months ago
Effective Analysis and Design of Computer-Supported Learning System
The analysis phase constitutes an essential step in the development of information systems. Nevertheless, learning materials design activities currently have reduced the analysis ...
David Díez Cebollero, Camino Fernánd...
IROS
2007
IEEE
112views Robotics» more  IROS 2007»
15 years 10 months ago
Design of a spring backbone micro endoscope
— This work introduces a modified endoscope structure that employs a spring as its backbone. This design allows backdrivability of the mechanism due to the flexibility of the spr...
Dong-Geol Choi, Byung-Ju Yi, Whee Kuk Kim