8828 search results - page 1507 / 1766 » Formal methods in practice |
136
click to vote
ICRA
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper addresses the problem of reducing the hysteresis found in the actuation of most smart materials. They are divided in two groups: systems with no saturation (e.g. piezoe...
162
click to vote
ICRA
1998
IEEE
15 years 11 months ago
1998
IEEE
Good robot performance often relies upon the selection of design parameters that lead to a well conditioned Jacobian or impedance "design" matrix. In this paper, a new d...
177
click to vote
KBSE
1998
IEEE
15 years 11 months ago
1998
IEEE
Statically analyzing requirements specifications to assure that they possess desirable properties is an important activity in any rigorous software development project. The analys...
158
click to vote
RTSS
1998
IEEE
15 years 11 months ago
1998
IEEE
suitable disk layout and network transmission schedule to minimize allocated resources (buffer size, bandwidth, ..., etc.) with maximum resource utilization. In this paper, the rea...
190
click to vote
VISUALIZATION
1998
IEEE
15 years 11 months ago
1998
IEEE
One common problem in the practical application of volume visualization is the proper choice of transfer functions in order to color different parts of the volume meaningfully. Th...