Abstract— In the following work, we develop a characterization method using miniature fiberoptic position sensors for the Micromechanical Flying Insect (MFI)1 , a centimeter siz...
Erik Steltz, Robert J. Wood, Srinath Avadhanula, R...
The problem of image deblurring in the presence of salt and pepper noise is considered. Standard image deconvolution algorithms, that are designed for Gaussian noise, do not perfor...
The relationship between doctors and their patients is gaining more and more importance in the health care providing. It determines the compliance of the treatment and a part of t...
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
The NASA/DARPA Robonaut system is evolving from a purely teleoperator controlled anthropomorphic robot towards a humanoid system with multiple control pathways. Robonaut is a huma...
Myron A. Diftler, Robert Platt Jr., C. J. Culbert,...