Home service robots have received much attention from both academia and industry because home service robots have wide range of potential applications such as home security, cleaning, etc. The robots need to add or up...
详细信息
Home service robots have received much attention from both academia and industry because home service robots have wide range of potential applications such as home security, cleaning, etc. The robots need to add or update services frequently according to the changing needs of human users. Furthermore, reactive nature of the robots add complexity to develop robot applications. These challenges raise safety issues seriously. Considering that safe operation of home service robots is crucial, current practice of validating robot applications is, however, not mature enough for wide deployment of home service robots. In this paper, we present our experience of developing and formally verifying discrete control software of Samsung Home Robot (SHR) using Esterel. We give a brief background on Esterel, then illuminate our result in formally verifying stopping behavior of SHR. Through the verification, we could detect and solve a feature interaction problem which caused the robot not to stop when a user commanded the robot to stop.
This paper describes Mocha, an open mobile S/W platform and application developed by Samsung Electronics. Mocha's key features are its efficiency (it fits in regular phones), its portability (it covers different s...
详细信息
This paper describes Mocha, an open mobile S/W platform and application developed by Samsung Electronics. Mocha's key features are its efficiency (it fits in regular phones), its portability (it covers different stack/OS/chipsets for CDMA, EV-DO, GSM/GPRS, and UMTS), its modularity and configurability (it meets customers' varying needs), its extensibility (it can he adapted to include new features and interfaces), its interoperability based on de-facto standards such as OMA, 3GPP, 3GPP2, CDG; and its security (it can withstand the attack of malicious applications). Among these key features, in this paper, we outline the multimedia messaging service (MMS) that inspired this system and then describe its design, architecture, and prototype implementation.
In this paper, we discuss a haptically enhanced broadcasting system. Four stages of a proposed system are briefly analyzed: scene capture, edit, transmission, and display with haptic interaction. In order to show usef...
详细信息
ISBN:
(纸本)0769523102
In this paper, we discuss a haptically enhanced broadcasting system. Four stages of a proposed system are briefly analyzed: scene capture, edit, transmission, and display with haptic interaction. In order to show usefulness of the proposed system, a potential home shopping scenario is implemented.
Based on the triangulation method, the 3D motion of an object can be completely recognized by a stereo camera. However, the question whether or not the 3D motion of an object can be completely recognized by a motionle...
详细信息
Based on the triangulation method, the 3D motion of an object can be completely recognized by a stereo camera. However, the question whether or not the 3D motion of an object can be completely recognized by a motionless / fixed monocular camera is the yet-unanswered question. In this paper we propose a method using a motionless monocular camera of which the focus is changed in cycle to recognize the absolute 3D motion of an object. We name the method motion from focus.
This paper presents a feasibility study of using socially-aware autonomous robots to assist hospitals in reducing the effects of nursing shortages. A hands-off assistive robot is described that provides motivation and...
详细信息
This paper presents a feasibility study of using socially-aware autonomous robots to assist hospitals in reducing the effects of nursing shortages. A hands-off assistive robot is described that provides motivation and support for cardiac patients who must perform regular but painful breathing exercises. Initial validation of the system has garnered positive responses from test subjects and shows that robots have a potential to aid nursing staff in some tasks requiring patient interaction.
This paper describes a system called STeP/spl ***/IN (standing for socio-technical platform for in situ networking) that assists software developer to find and learn Java API libraries. It provides individualized sear...
详细信息
This paper describes a system called STeP/spl ***/IN (standing for socio-technical platform for in situ networking) that assists software developer to find and learn Java API libraries. It provides individualized search interface for Java developers, examples that illustrate the usage, and more distinctively a facilitating mechanism that connects Java developers to exchange expertise based on their expertise and social relations. STeP/spl ***/IN is designed and developed based on the dynamic community theory, a new collaboration form that we have proposed.
As information visualization matures as an academic research field, commercial spinoffs are proliferating, but success stories are harder to find. This is the normal process of emergence for new technologies, but the ...
详细信息
As information visualization matures as an academic research field, commercial spinoffs are proliferating, but success stories are harder to find. This is the normal process of emergence for new technologies, but the panel organizers believe that there are certain strategies that facilitate success. To teach these lessons, we have invited several key figures who are seeking to commercialize information visualization tools. The panelists make short presentations, engage in a moderated discussion, and respond to audience questions.
We introduce an annotation-based rescue assistance system for a teleoperated unmanned helicopter with an wearable augmented reality (AR) environment. In this system, an operator controls the helicopter remotely while ...
详细信息
We introduce an annotation-based rescue assistance system for a teleoperated unmanned helicopter with an wearable augmented reality (AR) environment. In this system, an operator controls the helicopter remotely while watching an annotated view from the helicopter through a head mounted display (HMD) with a laptop PC in a backpack. Virtual buildings and textual annotations assist the rescue operation indicating the position to search rapidly and intensively. The position and the attitude of the helicopter is measured by a GPS and a gyroscope, and sent to the operator's PC via a wireless LAN. Using this system, we conducted experiments to find persons and verified the feasibility.
This paper examines MPEG-4 coding efficiency for interlaced and progressively scanned video data recorded during remote patient monitoring. Experiments are performed using both interlaced and progressive coding method...
详细信息
This paper examines MPEG-4 coding efficiency for interlaced and progressively scanned video data recorded during remote patient monitoring. Experiments are performed using both interlaced and progressive coding methods to compress interlaced, deinterlaced and progressively scanned video sequences at different bit rates. Our results show that progressively scanned video outperforms interlaced video in both coding efficiency and video quality. We also found that the use of a deinterlacing algorithm improves video coding performance. In addition, we found that interlaced or progressively scanned video data can be compressed using either progressive or interlaced coding algorithms without significant difference in performance.
暂无评论