• Language and Information
• /
• v.18 no.2
• /
• pp.1-29
• /
• 2014

Relativization is one of the common syntactic operations to merge two different clauses into a single information unit. This operation plays a pivotal role to structuralize multiple clauses cohesively as well as serves to specify the property an individual has within the context. That implies that relativization contributes to information structure of multiclausal sentences. In this context, this paper delves into information structure of relative clauses in English with an eye toward creation of a computational model from a standpoint of machine translation. The current work employs Head-driven Phrase Structure Grammar (HPSG, Pollard and Sag (1994)) as a theory of grammar and Minimal Recursion Semantics (MRS, Copestake et al. (2005) as a meaning representation system. Building upon these formalisms, this paper addresses how information structure of relative clauses can be represented and constrained. The current work makes use of Individual CONStraints (ICONS) for modeling relative clauses with respect to information structure. The current work also investigates which relative clause involves which information structure constraint. The present study argues that non-restrictive relative clauses impose a more specific constraint on information structure than restrictive relative clauses.

• Communications of the Korean Mathematical Society
• /
• v.31 no.4
• /
• pp.667-682
• /
• 2016

In this article we show a recursive method to compute the coefficients of the minimal polynomial of cos($2{\pi}/n$) explicitly for $n{\geq}3$. The recursion is not on n but on the coefficient index. Namely, for a given n, we show how to compute ei of the minimal polynomial ${\sum_{i=0}^{d}}(-1)^ie_ix^{d-i}$ for $i{\geq}2$ with initial data $e_0=1$, $e_1={\mu}(n)/2$, where ${\mu}(n)$ is the $M{\ddot{o}}bius$ function.

• 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) 처리 성능을 비교하였다.

• Journal of the Korean Mathematical Society
• /
• v.59 no.1
• /
• pp.105-127
• /
• 2022

It is known that the maximal invariant set of a continuous iterative dynamical system in a compact Hausdorff space is equal to the intersection of its forward image sets, which we will call the first minimal image set. In this article, we investigate the corresponding relation for a class of discontinuous self maps that are on the verge of continuity, or topologically almost continuous endomorphisms. We prove that the iterative dynamics of a topologically almost continuous endomorphisms yields a chain of minimal image sets that attains a unique transfinite length, which we call the maximal invariance order, as it stabilizes itself at the maximal invariant set. We prove the converse, too. Given ordinal number ξ, there exists a topologically almost continuous endomorphism f on a compact Hausdorff space X with the maximal invariance order ξ. We also discuss some further results regarding the maximal invariance order as more layers of topological restrictions are added.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.11a
• /
• pp.1166-1169
• /
• 2008

이 논문에서는 정보 영재의 사고력 신장을 위한 교수-학습 프로그램으로 트리 구성과 트리 탐색에 기반을 둔 모형을 제시하고 분석한다. 제시된 교수-학습 모형은 문제를 표현하는 트리의 유형에 따라 세 가지 유형으로 구분되며, 각 모형은 다시 네 가지 단계의 학습 단계로 구성된다. 구성되는 트리의 모형에 따라 적용되는 알고리즘에는 recursion, heuristic, minimax 탐색 방법 등이 도입되어 적용된다. 이 모델은 저 수준의 사고력을 요구하는 간단한 모형에서 출발하여 고 수준의 사고력을 요구하는 복잡한 모형으로 발전시키는 교육 방법을 제시함으로써 사고력 신장의 정도에 따라 초등학교 학생들로부터 중학교, 고등학교 학생들에 이르기 까지 대상을 확대하여 점진적으로 적용할 수 있는 교육 방법이 될 수 있을 것으로 사료된다. 이 교육 프로그램 모형을 실제 교육 현장에서 적용하여 교수-학습 프로그램 유형별로 학습 단계간의 적용 결과를 비교 분석한다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.18 no.6
• /
• pp.889-894
• /
• 1993

Asychronous Transfer Mode (ATM) provides the means to transport different types of bursty traffic such as voice, video, and bulk data. To handle more efficiently the traffic sources and to increase the bandwidth utilization as much as possible, flexible statistical multiplexing schemes must be adopted for the ATM networks. This paper presents an efficient computational procedure to calculate the queue state distribution in a finite buffer queueing system with a number of independent input sources, and the cell loss probability is exactly calculated with the use of this recursion computation method. The cell loss probability is related to a ATM multiplexer with a homogeneous ON-OFF source is also investigated through numerical examples.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.18 no.5
• /
• pp.649-658
• /
• 2008

In this paper, we proposed an adaptive PSO(APSO) algorithm which changes parameter values with every recursion based on the conventional particle swam optimization(CPSO). In order to solve the optimization problem, the proposed APSO algorithm is applied to some functions, such as the De Jong function, Ackley function, Davis function and Griewank function. The superiority of the proposed APSO algorithm compared with the genetic algorithm(GA) is proved through the numerical experiment. Finally we applied the proposed algorithm to developing a function for personal magnetic field exposure based with real datas which are acquired based on the consumer research and field measuring instrument.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.10 no.9
• /
• pp.4240-4258
• /
• 2016

A practical iterative channel estimation technique is proposed for the multiple-input-multiple-output orthogonal frequency division multiplexing (MIMO-OFDM) system in the high-speed mobile environment, such as high speed railway scenario. In the iterative algorithm, the Kalman filter and data detection are jointed to estimate the time-varying channel, where the detection error is considered as part of the noise in the Kalman recursion in each iteration to reduce the effect of the detection error propagation. Moreover, the employed Kalman filter is from the canonical state space model, which does not include the parameters of the autoregressive (AR) model, so the proposed method does not need to estimate the parameters of AR model, whose accuracy affects the convergence speed. Simulation results show that the proposed method is robust to the fast time-varying channel, and it can obtain more gains compared with the available methods.

• Journal of Intelligence and Information Systems
• /
• v.9 no.1
• /
• pp.251-267
• /
• 2003

In order to satisfy the needs of an intelligent information system, it is necessary to have more intelligent query processing in an object-oriented database. In this paper, we present a method to apply intelligent query processing in object-oriented databases using deductive approach. Using this method, we generate intelligent answers to represent the answer-set abstractly for a given query in object-oriented databases. Our approach consists of few stages: rule representation, rule reformation pre-resolution, and resolution. In rule representation, a set of deductive rules is generated based on an object-oriented database schema. In rule reformation, we eliminate the recursion in rules. In pre-resolution, rule transformation is done to get unique intensional literals. In resolution, we use SLD-resolution to generate intensional answers.

• 한국HCI학회:학술대회논문집
• /
• 2009.02a
• /
• pp.1287-1292
• /
• 2009

There have been many experiments and researches of virtual marionettes which mostly focused on controlling the marionettes more delicately and precisely. This paper will prove that performances using virtual marionettes can show more than simply controlling other objects delicately and precisely. The performance that this paper is discussing about used not only a virtual marionette but also an actual marionette. In this performance, a human manipulated an actual marionette and the actual marionette controlled a virtual marionette. This performance is meant to represent a controlling relationship between an actual world and a virtual world. This recursive and duplicate process will show that experiments using virtual marionettes can express more diverse objectives than existing experiments.