4350 search results - page 769 / 870 » Case studies for contract-based systems |
IJRR
2002
13 years 8 months ago
2002
We study the simultaneous control of three dimensional translation and rotation of an underactuated multibody space robot using sliding masses that are configured as ideal prismat...
IJCV
1998
13 years 8 months ago
1998
The structure-from-motion problem has been extensively studied in the field of computer vision. Yet, the bulk of the existing work assumes that the scene contains only a single mo...
MAM
2002
13 years 8 months ago
2002
DSP software development has been tied down by extreme computational requirements. Furthermore, the DSP development tools available today are less advanced than in other embedded ...
MOC
2002
13 years 8 months ago
2002
Abstract. We analyze the convergence rate of an asynchronous space decomposition method for constrained convex minimization in a reflexive Banach space. This method includes as spe...
SIMULATION
1998
13 years 8 months ago
1998
A decision support system for the management of an intermodal container terminal is presented. Among the problems to be solved, there are the spatial allocation of containers on t...