—In this paper, a location-assisted on-demand routing (LAOR) protocol for low earth orbit (LEO) satellite systems is proposed and evaluated. This protocol can be viewed as a vari...
— This paper proposes power assist controllers that realize control input minimization using resonance of passive elements. To satisfy the objective, two types of systems are con...
— This paper presents a 3D object recognition method based on spin-images for a humanoid robot having a stereoscopic vision system. Spin-images have been proposed to search CAD m...
One of the reasons that search performance of peerto-peer file-sharing systems is poor is that results are poorly described, hurting the client’s ability to rank them. This is a...
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...