• Bulletin of the Korean Mathematical Society
• /
• v.54 no.4
• /
• pp.1229-1240
• /
• 2017

This paper presents a systematic study of the abstract harmonic analysis over spaces of complex measures on homogeneous spaces of compact groups. Let G be a compact group and H be a closed subgroup of G. Then we study abstract harmonic analysis of complex measures over the left coset space G/H.

• Journal of architectural history
• /
• v.3 no.1
• /
• pp.143-159
• /
• 1994

Ornament in late nineteenth century Art Nouveau movement, especially abstract ornament in Viennese Art Nouveau, has a very complex aesthetical background. Ornament, for them was not just decorations in outer appearance, but a determinant element of formal languages. Abstract ornament in Viennese Art Nouveau has its theoretical and aesthetical bases in the Interpretation of nature, that is, the theory of the abstract ornament was founded on a new interpretation of nature, which, in its turn, was derived from the differentiational selection of the contemporary views of nature. The modernity of abstract ornament consists in the very fact that it was founded on a new interpretation of nature. This study alms at reviewing how the new interpretation of nature by abstract ornament criticized, rejected and accepted the contemporary views of nature. The overall tendency of this study is to synthesize and analyze the historical background of Viennes Art-Nouveau in regard to aesthetic theories of nature. The analysis method of this study is interpretation of written documents which are related to the issue.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 1997.11a
• /
• pp.79-89
• /
• 1997

Logic programming has many advantages as a paradigm for parallel programming because it offers ease of programming while retaining high expressive power due to its declarative semantics. In parallel logic programming, one of the important issues is the compile-time parallelism detection. Static data-dependency analysis has been widely used to gather some information needed for the detection of AND-parallelism. However, the static data-dependency analysis cannot fully detect AND-parallelism because it does not provide some necessary functions such as the propagation of groundness. As an alternative approach, abstract interpretation provides a promising way to deal with AND-parallelism detection, while a full-blown abstract interpretation is not efficient in terms of computation since it inherently employs some complex operations not necessary for gathering the information on AND-parallelism. In this paper, we propose an abstract domain which can provide a precise and efficient way to use the abstract interpretation for the detection of AND-parallelism of logic programs.

• Proceedings of the Zoological Society Korea Conference
• /
• 1997.04a
• /
• pp.56.1-56
• /
• 1997

No Abstract, See Full Text

• Proceedings of the Zoological Society Korea Conference
• /
• 1999.10b
• /
• pp.8-8
• /
• 1999

No Abstract, See Full Text

• Proceedings of the Zoological Society Korea Conference
• /
• 1996.04a
• /
• pp.29.1-29
• /
• 1996

No Abstract, See Full Text

• Journal of the Korea Society of Computer and Information
• /
• v.9 no.4 s.32
• /
• pp.61-69
• /
• 2004

The user interface design needs to support the complex interactions between human and computers. It also requires comprehensive knowledges many areas to collect customer's requirements and negotiate with them. The user interface designer needs to be a graphic expert, requirement analyst, system designer, programmer, technical expert, social activity scientist, and so on. Therefore, it is necessary to research on an designing methodology of user interface for satisfying various expertise areas. In the paper, We propose the 4 business event's abstract object visualizing phases such as fold abstract object modeling, task abstract object modeling, transaction abstract object modeling, and form abstract object modeling. As a result, this modeling method allows us to enhance visual cohesion of UI, and help unskilled designer to can develope the higy-qualified user interface.

• Journal of the Korean Institute of Landscape Architecture
• /
• v.36 no.6
• /
• pp.1-11
• /
• 2009

This study focuses on Abstract Types in Contemporary Landscape Design. The formation and artistry of contemporary landscape design reveals many areas which Previously have not been able to be expressed in scenic landscape thanks to the deviation of the genre in contemporary landscape and the hybridization that has occurred among architecture, landscape and art genres. The focus of this study is basic research concerning "the abstract", which is used as a creative artistic theory in a variety of art fields such as landscape, architecture and painting. Through a theoretical establishment of "the abstract", its process of change, and the discovery of its contemporary principles, the relationship between each art field in landscapes and the formation of the abstract, abstract language, and abstract properties have been studied. The use of the abstract in contemporary landscape design can be classified in three ways: Inductive abstract representing conceptual transcendental symbols not logically but rather through intuition and transcendental cognition to display the inner expressions, ideas and minds of the artists. Second, a deductive abstract represents an expansive, logical model for the simplification of objects, distortion, exaggeration based on knowledge and logical reasoning about objective fact based on traditional realism. The complexity of the abstract is a concept that is bound to both the deductive & inductive abstract. As a major trend, the concept of "The abstract" in contemporary landscape has been putting forth ever-deeper roots. New trends like abstract works and landscape architecture reflecting the artist's inner expression, in particular, will provide fertile soil for landscape in the future. Further research about the concept of "the abstract" will also be necessary in the time to come.

• 제어로봇시스템학회:학술대회논문집
• /
• 1996.10b
• /
• pp.1356-1359
• /
• 1996

The paper studies design of a decentralized supervisory controller with 2-level hierarchical structure for complex discrete event systems. Hierarchical structure with strict output-control-consistency(SOCC) gives a more abstract model for high-level control. The decentralized controller for a simple and abstract high-level system is designed more easily if the decentralized supervisory control problem in 2-level hierarchical structure systems(DSCP2) is solvable.

• Proceedings of the Zoological Society Korea Conference
• /
• 1998.10b
• /
• pp.232.2-232
• /
• 1998

No Abstract, See Full Text