• Smart Media Journal
• /
• v.1 no.2
• /
• pp.12-22
• /
• 2012

Today we are witnessing an increasingly widespread use of cameras in our lives for video surveillance, robot vision, and mobile phones. This has led to a renewed interest in computer vision in general and an on-going boom in human activity recognition in particular. Although not particularly fancy per se, human gait is inarguably the most common and frequent action. Early on this decade there has been a passing interest in human gait recognition, but it soon declined before we came up with a systematic analysis and understanding of walking motion. This paper presents a set of DBN-based models for the analysis of human gait in sequence of increasing complexity and modeling power. The discussion centers around HMM-based statistical methods capable of modeling the variability and incompleteness of input video signals. Finally a novel idea of extending the discrete state Markov chain with a continuous density function is proposed in order to better characterize the gait direction. The proposed modeling framework allows us to recognize pedestrian up to 91.67% and to elegantly decode out two independent gait components of direction and posture through a sequence of experiments.

• Journal of KIISE:Software and Applications
• /
• v.28 no.12
• /
• pp.885-895
• /
• 2001

Existing system analysis models suggest various ideas to present entity relations and event flows for consistency between analysis and design paradigms. However, they are preferred to derive and arrange related entities on system flow than to identify entities. To identify entities systematically is a basic and important work of software development, and identified entities can be major assets of business system. In case of business systems the business rules or the computed or derived information like attendance lists of lecture system can be the most important system assets. The management information or meta data are also. In this paper, we suggest a business system analysis models to derive and present entities. System is identified entities, interfaces and event or behaviors through this model then entities are extended to independent entities, dependent entities, which are dependent to independent entities, constraint shows the physical and administrative notices. Various entity identification can reduce the incompleteness of entity analysis.

• The Journal of the Convergence on Culture Technology
• /
• v.6 no.2
• /
• pp.153-159
• /
• 2020

Character dance not only improves the expressive power of ballet majors, dancer and choreographers but also breathes life into the performance. Character dance, which has comprehensive educational implications, was difficult to conduct research due to lack of materials and incompleteness in the field of ballet education. Even popular concepts were not established. In order to establish the meaning of the character dance, this research examined the history of character dance from the Middle Ages to the present and the meaning and the category were also schematized. Also, I tried to find out the direction of development. Character dance through systematic categories and meaning establishment can provide extended educational forms to infants and children as well as dance majors and non-majors. This research of character dance is expected to provide basic materials not only for the ballet education but also for the various educations. Lastly, the author of this research is expecting that detailed researches will be conducted in the future.

• Journal of Arbitration Studies
• /
• v.12 no.2
• /
• pp.185-220
• /
• 2003

Korean Government is increasingly focusing on the Northeast Asia Business and Logistics Hub strategy to create a competitive advantage. A key element of this strategy is creating or leveraging distribution and logistics hubs that act as centres for distribution in Northeast Asia. A Northeast Asian e-Hub Policy is required for business hub and logistics hub in the Northeastern Asia. An e-Hub is an integrated, sophisticated set of e-Biz, information and e-trade facilities and services that provides access to a marketplace and exchangee the e-trade data. To study the e-Hub policy, Pan Asian e-Commerce Alliance, Korea-Japan e-Trade Hub project, and ASEM e-Trade project are considered. E-trade via cyberspace may need new methods of dispute resolution to reduce transaction costs for small value-related disputes and to erect structures that work well across national boundaries. Voluntary Mediation Councils and cyber tribunals should be encouraged by governmental sectors to continue developing private sector mechanisms to resolve e-trade disputes. Government-sponsored online cross-border dispute resolution systems may be also be useful to complement these private sector approaches. E-trade in Northeast Asia results in disputes owing to the incompleteness of e-trade law in the countries. These disputes contain disputes regarding e-trade model, central title registry, authentication body. To resolve these disputes in the Northeast Asia, a variety of electronic alternative dispute resolution bodies must be organized under cooperation of Korea, Japan, China. This study deals with the e-ADR construction in the Northeast Asia to resolve the disputes in the e-trade and to activate the e-trade in the Northeast Asia.

• Journal of KIISE:Software and Applications
• /
• v.27 no.1
• /
• pp.13-23
• /
• 2000

As software becomes more complicated and large-scaled, user's demands become more varied and his expectation levels about software products are raised. Therefore it is very important that a software engineer analyzes user's requirements precisely and applies it effectively in the development step. This paper presents a requirements analysis system that reduces and revises errors of requirements specifications analysis effectively. As this system measures the similarity among requirements documents and sentences, it assists users in analyzing the dependency among requirements specifications and finding the traceability, redundancy, inconsistency and incompleteness among requirements sentences. It also extracts sentences that contain ambiguous words. Indexing method for the similarity measurement combines sliding window model and dependency structure model. This method can complement each model's weeknesses. This paper verifies the efficiency of similarity measure techniques through experiments and presents a proccess of the requirements specifications analysis using the embodied system.

• Korean Journal of Logic
• /
• v.14 no.3
• /
• pp.101-137
• /
• 2011

Based on his analysis of judgement forms in intuitionistic type theory, Martin-L$\ddot{o}$f claims that the usual logical laws and interesting mathematical judgements are synthetic, not analytic. He further claims that the logic of analytic judgements is decidable and complete, while the logic of synthetic judgements is undecidable and incomplete. The aim of this article is to clarify and examine his claims. In section 1, I explain and give some comments on the monomorphic version of intuitionistic type theory. In section 2, after clarifying Martin-L$\ddot{o}$f's distinction between analytic and synthetic judgements, I examine some possible objections to it and evaluate the thesis that the usual logical laws and interesting mathematical judgements are synthetic. In section 3, I clarify and examine the thesis that the logic of analytic judgements is decidable and complete, while the logic of synthetic judgements is undecidable and incomplete.

• Journal of KIISE:Software and Applications
• /
• v.30 no.11
• /
• pp.1001-1014
• /
• 2003

In a feature modeling, problems such as ambiguities, interpretation errors, incompleteness, etc caused by informal specification occur in the modeling phase. Therefore, feature specification method and processes are suggested in this paper to resolve these problems. The structure and language of feature modeling is defined in this paper to specify various features. First, this feature model is abstracted in the meta-level to get predicates and attributes. Formal feature model specification method is proposed using multi-paradigm language. Second, Feature specification process is proposed to describe how to specify feature formally. And third, Feature interaction management is defined to solve the problems caused between specified features. Finally, the proposed feature specification method is applied to Distributed Meeting Scheduler System domain.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.26 no.6
• /
• pp.439-444
• /
• 2016

The definition of quality continues to evolve. In recent years, there has been growing interest in how to satisfy customers' potential needs with an emphasis on customer-oriented quality. Two-dimensional quality proposed by Kano provides a useful framework for discovering quality attributes critical to customer satisfaction and it is widely employed for product and service development. In Kano model, quality attributes are classified into attractive, one-dimensional, must-be, indifferent, and reverse ones. Finding attractive elements among them is important for achieving customer satisfaction effectively. However, Kano's classification method has limitations in dealing with customers' ambiguous and complex ideas. The customer response itself includes uncertainty and incompleteness. To overcome this problem, fuzzy methods are incorporated with Kano's classification in this paper. According to numerical comparisons, it is shown that the fuzzy Kano method is useful for accommodating various response of customer and is helpful to identify potential needs.

• Journal of the Korea Society of Computer and Information
• /
• v.18 no.8
• /
• pp.121-129
• /
• 2013

As more than 80 percent of tasks within corporations are performed through information systems, they have become large in scale and complicated, which make the range of the system users diverse and specialized. and as recent corporate strategies focus on the real-time environment in businesses, the organizational structure within companies tend to show frequent changes. In order to ensure the business continuity in this environment, the most important aspect is to prevent incompleteness of business by narrowing the gap of understanding of business process between the system users and the maintenance managers. In order to address this problem, this study suggests a modeling method that utilizes business scenarios reflecting actual business rules and procedures which ultimately transforms the optimized and standardized form of business scenarios into the actual software maintenance activities. This modeling method improves reusability and usability through the repeated feedback mechanism for modified software by leading to gradual fine-grained process. The feasibility of this is to be proven by applying the modeling method to the real business environment.

• Communications of Mathematical Education
• /
• v.33 no.3
• /
• pp.319-334
• /
• 2019

In this study, using the tasks related trigonometric functions, the degree of high school students' understanding of the function concept was examined through the level of Hitt(1998). First, the degree of the students' understanding was classified by level, then the concept understanding was reclassified by the process or the object. As a result, high school students' concept understanding showed incompleteness in three stages. It was possible to know that the process in the interpretation of the graph is the main perspective, and the operation of algebraic representation is regarded as important. Based on these results, it seems necessary to study the teaching-learning method which can understand trigonometric functions from various perspectives. It seems necessary to study a lesson model that can reach function concept's understanding level 5 that maintains consistency between problem solving and representation system.