My research focuses on advancing and promoting the use of formal methods to design and analyze industrial-scale complex systems. My work is interdisciplinary, at the intersection of computer science, mathematics and software and control engineering.
This paper proposes "Virtual Rope Slider", which expands a rope sliding experience by stimulating sense of sight, hearing, wind and vestibular sensation. A rope slide in a real world has physical restrictions in terms of scale and location whereas our "Virtual Rope Slider" provides scale and location independent experiences in the virtual environment. The… (More)
Pathfinder Vision is a visual presentation interface for remote robot operation. This interface assists operators by planning the future routes of the robot by presenting images which take into consideration the physical obstructions of the surrounding environment. We also took the occlusion of the 3D environment into account when rendering the CG model of… (More)
classroom use is granted without fee provided that copies are not made or distributed for commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.
In this article, we propose a technique for improving the image quality of particle-based volume rendering (PBVR). A large-scale unstructured volume dataset often contains multiple sub-volumes, which cannot be ordered by visibility. PBVR can handle this type of volume dataset. Sampling misses often occur when the transfer function undergoes drastic changes,… (More)