The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
In this paper, we tackled a problem: Given a security specification and its implementation, does the implementation satisfy the security specification? We first formalized the problem in terms of Petri nets. Next, we gave a polynomial time procedure to solve the problem based on Petri nets' analysis technique. Then we illustrated the procedure with an example to show the effectiveness.
This paper proposes a new method to detect static caption regions using intensity range maps and a statistical model of motion vectors. The method relies on the probability of block-based intensity ranges and magnitudes of motion vectors. Intensity range is used to find candidate locations of static captions and the statistical model of motion vector is used to refine accurate caption regions. The...
Currently, various smartphone applications have been introduced. Some of them include risks that some people use them for a wrong purpose. Therefore, we propose a qualification confirmation system to distinguish a person who uses such applications for a wrong purpose. The proposed system can handle a trade-off relationship such as safety and convenience by focusing on SNS activities. We investigated...
We developed Body-Braille as an information transmission support tool for the deaf-blind using vibrations. In our previous system, a motor was used to generate vibrations. In this study, a vibration speaker was used in an attempt to improve readability. We investigated improvements in the rate of correct answers recorded by participants when using different frequencies, amplitudes, and presentation...
This paper proposes a safe and comprehensive route finding method for pedestrians. We evaluate five factors that do relieve pedestrians' fear of darkness. Based upon the evaluation, we propose a comprehensive route finding method by taking road width and reduction on turning points into consideration. The experimental results on real outdoor environments under different lighting situations confirm...
The paper presents an assistive devices for health care workers and nurses. A new controlled assistive device for feeding gastrostomy and its control technique have been developed. The proposed controller scheme based on the internal model control (IMC) is able to generate appropriate pressure for the pressurized bag. Effectiveness of the assistive device has been verified by experiments.
Power spectral analysis of the beat-to-beat variations of heart rate (R-R interval) obtained using invasive and contact sensor has become widely used to quantify cardiac autonomic regulation, and also it leads to the estimation of a stress state. The aim of this study is to estimate a stress state from respiratory waves obtained by monitoring thorax and abdomen activity using 24 GHz wideband radar...
This paper presents link prediction of Linked Open Data (LOD) by Multiple Label Propagation Algorithm (MLPA). The current LOD do not have enough links. Therefore, the LOD have not been able to exert so much semantic characteristics. In order to solve this problem, we proposed the MLPA considering semantic distance. The MLPA can expand potential links of each data contained in the LOD. The experimental...
Online Social Networks (OSNs) are continuously suffering from the negative impact of Cross-Site Scripting (XSS) vulnerabilities. This paper describes a novel framework for mitigating XSS attack on OSN-based platforms. It is completely based on the request authentication and view isolation approach. It detects XSS attack through validating string value extracted from the vulnerable checkpoint present...
This paper focuses on the hypothesis that some of elemental motions are classified into several groups which may correspond to cultural, geographical or generational human groups. We propose a method to find characteristic motions which express differences of different human groups. We used a method which describes an activity as a sequence of symbols. The proposed method discovers characteristic...
Currently when users use Over-The-Top (OTT) Set-top Boxes (STBs) to input text using a traditional QWERTY on-screen keyboard, users often spend most of their time to move their eye concentration between various keys. Thus, this paper proposes an on-screen keyboard for OTT STBs to be used with an open source operating system. This on-screen keyboard uses a three-step hierarchical design, so users can...
This paper is an initial study of device-free human detection using channel state information (CSI) in WiFi networks. After collecting the CSI data in the target area, the proposed detector contains three steps, preprocess, feature extraction, and making decisions (human presence or absence). Experiments, based on real CSI measurements, proof the concept of human detection. Results show that, using...
The authors propose a new color glove and finger outlines extraction method using the palm region. This glove does not have symmetry about colors for distinguish between the palm and the back of the hand. When a finger region is on the palm region, the outline of the finger is not eliminated. The authors investigated the relationship between wrist rotation angles and success rate of finger outlines...
We have developed Intelligent Motor Modules System which can be applied to Service robot, Home automation, Mobility or various prototypes and products. The system consists of multiple motor modules and several components such as frames. Motor module is integrated with motor, microcontroller, radio frequency (RF) module, battery and rotary encoder. Motor modules connect with each other or other computers...
In this paper, the operation cycle for Motion Vector Search is evaluated between the proposed search method and the conventional Full Search algorithm. As a result, the operation cycle of the proposed method is 74% smaller than Full Search algorithm but the circuit size is 0.8% larger than that of Full Search algorithm and the vector matching accuracy of the proposed search method deteriorate to 66...
In this paper, we propose a pedestrian navigation system based on landmark recognition. Our proposed system utilizes a glass-type wearable device and gives a correspondence between a map and a real-world landscape. By recognizing a landmark position effectively, a pedestrian can easily know where to turn at each turning position and hence he/she can reach his/her goal without losing his/her way. Experimental...
Many studies for developing methods of solving have been done in the field of combinatorial optimization. However, it cannot simply apply these methods to real problems. For example, when a tourist decide to traveling schedule within a traveling time limit, he or she needs to select and travel tourist spots in order to be satisfied as far as possible. Such a problem cannot be solved by conventional...
We have developed a collaborative system for location-based AR that enables users to handle virtual object by simple hand gestures. Through a combination of depth sensor and motion capture system, it makes possible to calculate global coordinates of hands and recognize hand gestures without pattern images or hand mounted instruments. We believe that this system would be useful for inter-user communication...
Minalpher is an authenticated encryption algorithm submitted to CAESAR (Competition for Authenticated Encryption: Security, Applicability, and Robustness) as a candidate of a new standard algorithm. Performance evaluation of Minalpher in various software and hardware have been made. Especially, the algorithm is suitable for high-speed hardware implementation by utilizing its parallel operating capability...
Recently, "Agent-Oriented Computing" has been attracting attention as an approach to designing a system with high response capabilities. To develop and operate an agent system effectively, an agent framework is used. An agent system developed on DASH[1], a kind of agent framework, requires us to install the agent framework as an operating infrastructure and to operate DASH to benefit from...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.