• Proceedings of the Korea Information Processing Society Conference
• /
• 2019.10a
• /
• pp.729-732
• /
• 2019

데이터로그는 논리형 선언형 프로그래밍 언어로, 특히 재귀적인(recursion) 알고리즘을 표현하기 편리한 언어이다. 대표적인 데이터로그 시스템으로는 CORAL, LogicBlox, XSB, Soufflé가 있다. 본논문에서는 이 네 가지 시스템의 특징을 설명하고, 세 가지 벤치마크, 이행적 폐쇄(Transitive closure), 동세대(same generation), 포인터 분석(pointer analysis)으로 데이터로그 시스템들의 재귀 질의(recursive query) 처리 성능을 비교하였다.

• Korean Journal of Social Welfare Studies
• /
• v.44 no.2
• /
• pp.465-497
• /
• 2013

This paper criticizes the ontological and epistemological dichotomy in social sciences including social welfare and probes into Critical Realism as an alternative paradigm. Many theories for social welfare have adhered to dichotomous ontological standpoint, 'agency' vs. 'social structure', and Eco-system approach have occupied dominant position to integrate this dichotomy. These theoretical standpoint have had great influence on social work practice. On the other hand, dichotomous epistemological standpoint which is constituted of different views of phenomena, 'positivism' and 'constructionism', have had great influence on social work research and practice. These dichotomous ontological and epistemological approach have a limit to reveal qualitative nature of the relationship between agency and social structure, to ponder the deeper reality, the mechanism of stratified reality, and the reality being independent of agency. Replacing these approaches, Critical Realism unfold the theoretical potential as an alternative paradigm for social welfare through the discussion on stratified realty(the empirical, the actual, and the real), intransitive/transitive dimension, double hermeneutics in these dimensions, and the conditions for conceptualization, duality of structure and practice, transformation model of agency and structure.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.11
• /
• pp.2981-2988
• /
• 1999

A deductive database consists of facts being the extensional database and rules being the intensional database. Because of the difficulty of evaluating rules, many parallel evaluation algorithms for rules have been presented. But we have not gotten an acceptable result. This paper proposes a new methodology to evaluate proof-theoretic meaning of the linear recursion rule which contains transitive dependency by using a shared-nothing parallel architecture. As first, we prove that there exists the equivalent expression for a linear recursion rule, design the algorithm for evaluating the linear recursion rule based on the equivalent expression, and finally analyse performance of the proposed algorithm.

• International journal of advanced smart convergence
• /
• v.6 no.4
• /
• pp.41-49
• /
• 2017

In this paper I applies Borer (1993)'s way of classifying English intransitive action verbs such as 'run', walk, among many others, to the corresponding Korean intransitive action verbs such as 'tali-ta' and 'keət-ta', and show how they are different from - or similar with - each other in terms of syntactic structures and verb classification. Unlike the English verb 'run' which can be classified into an unaccusative verb as well as an unergative verb in Borer's theory, the corresponding Korean verbs 'tali-ta' or 't'wi-ta' can behave not only as an unergative and unauucsative verb, but also it can behave as a transitive verb. Though Borer's perspective on classification of verb types may be thought of as somewhat radical mostly due to its heavy dependency on aspectual representation of a whole sentence which a verb is just part of, it is clearly suggesting a new and great insight into the controversial topic of classification of verb types. So it is worth adopting this insightful perspective for the analysis of corresponding Korean verbs and seeing if it also works for the Korean ones.

• The Journal of Korean Association of Computer Education
• /
• v.5 no.2
• /
• pp.11-19
• /
• 2002

In this paper, we present a simple statistical method for performing word sense disambiguation(WSD), specially for Korean transitive verbs, based on a supervised learning algorithm. This approach combines a set of indicators based on syntactic relations between surrounding words and an ambiguous verb. Experiments with 10 Korean verbs show that accuracy performance of our WSD method using indicators based on syntactic relations is 27% higher than the baseline performance. Moreover, our method using weighting mechanism based on each indicator type is 12% higher than a method which uses only an unordered set of surrounding words in the context.

• Culinary science and hospitality research
• /
• v.23 no.6
• /
• pp.110-117
• /
• 2017

This study intended to examine transitive relation among customer incivility perceived by deluxe hotel frontline employees, burnout, and deviant workplace behaviors and clarify the moderating effect of employees' stress. A total of 230 employees working in deluxe hotels in Seoul, the capital of Korea, in 2017 comprised the sample in this study. The hypothesized relationships in the model were tested simultaneously by using structural equation modelling (SEM). As results, customer incivility perceived by deluxe hotel frontline employees had significant (p<.001) positive influence on their burnout(${\beta}=.38$, t-value=4.93). Employees' burnout positively influenced their deviant workplace behaviors (${\beta}=.56$, t-value=7.22). In addition, customer incivility was found to positively affect employees' deviant workplace behaviors(${\beta}=.26$, t-value=3.90), and therefore, the moderating role of stress level was not verified. The findings of this study suggested that deluxe hotels are supposed to enhance their frontline service by providing orientation for customers through promotion materials. Limitations and future research directions of this study were also well established and discussed.

• The KIPS Transactions:PartD
• /
• v.17D no.4
• /
• pp.311-316
• /
• 2010

This paper presents a weight adjusted association rule mining algorithm (WARM). Assigning weights to each strategic factor and normalizing raw scores within each strategic factor are the key ideas of the presented algorithm. It is an extension of the earlier algorithm TSAA (transitive support association Apriori) and strategic importance is reflected by considering factors such as profit, marketing value, and customer satisfaction of each item. Performance analysis based on a real world database has been made and comparison of the mining outcomes obtained from three association rule mining algorithms (Apriori, TSAA, and WARM) is provided. The result indicates that each algorithm gives distinct and characteristic behavior in association rule mining.

• Journal of Korea Society of Industrial Information Systems
• /
• v.9 no.2
• /
• pp.9-16
• /
• 2004

Recently, lattice conditional independence models(LCIMs) have been introduced for the analysis of non-monotone missing data patterns and of non-nested dependent regression models. This approach has been successfully applied to solve various problems in data pattern analysis, however, it suffers from computational burden to search LCIMs. In order to cope with this drawback, we propose a new scheme for finding LCIMs based on the essential graph. Also, we show that the class of LCIMs coincides with the class of all transitive acyclic directed graph(TADG) models which are Markov equivalent to a specific acyclic directed graph(ADG) models.

• Journal of the Korean Society for Precision Engineering
• /
• v.13 no.7
• /
• pp.100-114
• /
• 1996

In order to create a solid model more efficiently for a plastic or sheet metal product with a thin and constant thickness, various methods have been proposed up to now. One of the most typical approaches is to create a sheet model initially and then transform it into a solid model automatically for a given thickness. The sheet model as well as the transitive model in sheet modeling procedure is a non-manifold model. However, the previous methods adopted the boundary representations for a solid model as their topological framework. Thus, it is difficult to represent the exact adjacency relationship between topological entities and to implement the topological operations for sheet modeling and the transformation procedure of a sheet into a solid. In this paper, we proposed a sheet modeling system based on a non-manifold topological representation which can represent solids, sheets, wireframes, and their mixture. A set of generalized Euler operators for non-manifold topology as well as the sheet modeling capabilities including adding, bending, and punching functions are provided for easy modeling of sheet objects, and they are perfomed interactively with a two dimensional curve editor. Once a sheet model is completed, it can be transformed into a solid automatically. The transformation procedure is composed of the offset functions and the Boolean operations of sheet models, and it is even more comprehensive and easier to be implemented than the precious methods.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.8 no.1
• /
• pp.53-62
• /
• 2008

Cross-lingual text retrieval(CLTR) is the information retrieval in which a user tries to search a set of documents written in one language for a query another language. This thesis proposes a CLTR system based on fuzzy multilingual thesaurus to handle a partial matching between terms of two different languages. The proposed CLTR system uses a fuzzy term matrix defined in our thesis to perform the information retrieval effectively. In the defined fuzzy term matrix, all relation degrees between terms are inferred from using the transitive closure algorithm to reflect all implicit links between terms into processing of the information retrieval. With this framework, the CLTR system proposed in our thesis enhances the retrieval effectiveness because it is able to emulate a human expert's decision making well in CLTR.