This paper presents a novel algorithm for real-time detection of clad height in laser cladding which is known as a layered manufacturing technique. A realtime measurement of clad g...
This article investigates fundamental issues in scaling autonomous personal robots towards open-ended sets of everyday manipulation tasks which involve high complexity and vague j...
This paper presents a sensitivity analysis of using instantaneous multichannel two-dimensional (2D) imaging to achieve instantaneous 2D imaging spectroscopy. A simulated multiple-...
In this paper, an anisotropic total variation (ATV) minimization is combined with the new adaptive tetrolet transform for discontinuity-preserving image processing. In order to su...
The refinement calculus of Back, Morgan, Morris, and others is based on monotone predicate transformers (weakest preconditions) where conjunctions stand for demonic choices betwee...