We describe the design and implementation of a program generator that can produce extensions of Fortran that are specialized to support the programming of particular applications. ...
Regularization constraints are necessary in inverse problems such as image restoration, optical flow computation or shape from shading to avoid the singularities in the solution....
— In this paper, a novel mechanism of remote actuation was proposed and its mechanical problems were discussed. This mechanism consists of leverage and parallelogram mechanism an...
This paper concerns the singuIariQ of the HALF parallel manipulato,: a novel three degrees offeedom (DoFs) mechanism, with revolute actuators. The parallel manipulato,: pmposedpre...
We consider several questions related to the use of digitization techniques for timed automata. These very successful techniques reduce dense-time language inclusion problems to d...