• 한국유통학회지:유통연구
• /
• 제1권1호
• /
• pp.223-237
• /
• 1996

The emergence of the cable television era has spawned the introduction of many new television programming formats such as all-news channels, movie channels, channels catering to cultural events, channels for women, and many others. One of the new programming formats that is expected to have interesting implications for marketing is the home shopping channel. As we have observed in other countries, this new form of distribution may potentially have a major impact on the traditional retail industry. This paper presents a model of home shopping channel viewing behavior. This model is then used to formulate optimal product presentation strategies that may aid managers in the design of home shopping programs. Specifically, by formulating a profit-maximization problem based on tile model, we derive the optimal length of product presentations and explore its properperties through simulating various situations. The discussion of these properties provide insights about making strategic decisions regarding product presentations.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2012년도 춘계학술발표대회
• /
• pp.1176-1179
• /
• 2012

To ensure the correctness of high performance satisfiability (SAT) solvers, several proof formats have been proposed. SAT solvers can report a formula being unsatisfiable with a proof, which can be independently verified by a trusted proof checker. Among the proof formats accepted at the SAT competition, the Reverse Unit Propagation (RUP) format is considered the most popular. However, the official proof checker was not efficient and failed to check many of the proofs at the competition. This inefficiency is one of the drawbacks of SAT proof checking. In this paper, I introduce a work-in-progress project, vercheck to implement an efficient RUP checker using modern SAT solving techniques. Even though my implementation is larger and more complex, the level of trust is preserved by statically verifying the correctness of the code. The vercheck program is written in GURU, a dependently typed functional programming language with a low-level resource management feature.

• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송∙미디어공학회 2019년도 하계학술대회
• /
• pp.173-175
• /
• 2019

Animated images formats such as WebP are highly portable graphics formats that are being used everywhere on the Internet. Despite their small sizes and duration, WebP image previews the video without watching the entire content with minimum bandwidth. This paper proposed a novel method to generate personalized WebP images in the client side using its computation resources. The proposed system automatically extracts the WebP image from climax point using music analysis. Based on user interest, the system predicts the genre using Convolutional Neural Network (CNN). The proposed method can easily integrate with streaming platforms such as YouTube, Netflix, Hulu, and others.

• Genomics & Informatics
• /
• 제16권4호
• /
• pp.39.1-39.3
• /
• 2018

The rapid increase in genetic dataset volume has demanded extensive adoption of biological knowledge to reduce the computational complexity, and the biological pathway is one well-known source of such knowledge. In this regard, we have introduced a novel statistical method that enables the pathway-based association study of large-scale genetic dataset-namely, PHARAOH. However, researcher-level application of the PHARAOH method has been limited by a lack of generally used file formats and the absence of various quality control options that are essential to practical analysis. In order to overcome these limitations, we introduce our integration of the PHARAOH method into our recently developed all-in-one workbench. The proposed new PHARAOH program not only supports various de facto standard genetic data formats but also provides many quality control measures and filters based on those measures. We expect that our updated PHARAOH provides advanced accessibility of the pathway-level analysis of large-scale genetic datasets to researchers.

• 전자통신동향분석
• /
• 제37권1호
• /
• pp.53-62
• /
• 2022

With increasing size of transformer-based neural networks, a light-weight algorithm and efficient AI accelerator has been developed to train these huge networks in practical design time. In this article, we present a survey of state-of-the-art research on the low-precision computational algorithms especially for floating-point formats and their hardware accelerator. We describe the trends by focusing on the work of two leading research groups-IBM and Seoul National University-which have deep knowledge in both AI algorithm and hardware architecture. For the low-precision algorithm, we summarize two efficient floating-point formats (hybrid FP8 and radix-4 FP4) with accuracy-preserving algorithms for training on the main research stream. Moreover, we describe the AI processor architecture supporting the low-bit mixed precision computing unit including the integer engine.

• International Journal of Internet, Broadcasting and Communication
• /
• 제15권3호
• /
• pp.88-93
• /
• 2023

In the era of continuous progress, concerts have emerged as a significant medium for music performance, providing audiences with both musical enjoyment and a means of relaxation. The study examines pivotal moments and milestones in concert history, highlighting the emergence of novel elements such as visual presentations, integration of multimedia, virtual reality experiences, and metaverse concerts. By scrutinizing the repercussions of these changes on the concert experience, the study sheds light on the transformative influence of technology on concert formats, audience engagement, and artistic expression. Moreover, it delves into the challenges and opportunities arising from technological advancements in the contemporary concert landscape. The insights gained from this research contribute to a comprehensive comprehension of the dynamic interplay between technology and concert forms, thereby laying the foundation for future scholarly discourse and advancements within the field.

• 국제학술발표논문집
• /
• The 1th International Conference on Construction Engineering and Project Management
• /
• pp.503-508
• /
• 2005

In the modern, distributed and dynamic construction environment it is important to exchange information from different sources and in different data formats in order to improve the processes supported by these systems. Previous research has demonstrated that (i) a significant percentage of construction data is stored in semi-structured or unstructured data formats (ii) locating and identifying such data that are needed for the important decision making processes is a very hard and time-consuming task. In this paper, an automated methodology for the classification and retrieval of construction images in AEC/FM model based systems will be presented. Specifically, a combination of techniques from the areas of image processing, computer vision, and content-based image retrieval have been deployed to develop a method that can retrieve related construction site image data from components of a project model.

• 국제학술발표논문집
• /
• The 6th International Conference on Construction Engineering and Project Management
• /
• pp.276-279
• /
• 2015

Along with the increase of the quantity of data in various industries, the construction industry has also developed various systems focusing on collecting data related to the construction performance such as productivity and costs achieved in construction job sites. Numerous researchers worldwide have been focusing on developing efficient methodologies to analyze such data. However, applications of such methodologies have shown serious limitations on practical applications due to lack of data and difficulty in finding appropriate analytic methodologies which were capable of implementing significant insights. With development of information technology, the new trend in analytic methodologies has been introduced and steeply developed with the new name of "big data analysis" in various fields in academia and industry. The new concept of big data can be applied for significant analysis on various formats of construction data such as structured, semi-structured, or non-structured formats. This study investigates preliminary application methods based on data collected from actual construction site. This preliminary investigation in this study expects to assess fundamental feasibility of big data analytic applications in construction.

• 한국전산유체공학회:학술대회논문집
• /
• 한국전산유체공학회 1999년도 추계 학술대회논문집
• /
• pp.163-166
• /
• 1999

CAFPlot has been developed for visualizing a wide range of technical data. It offer 2D and 3D plot in a variety of formats.

• 한국환경복원기술학회지
• /
• 제10권1호
• /
• pp.57-71
• /
• 2007

While a concept on biotop or the urgency of its classification systems have been under discussion recently, this study aims to examine outdoor biotop classification systems for environment-friendly community. To this end, the feasibility of creating a biotop in the community and application elements were generated and biotops were classified and categorized. Then, elements that can be applied in consideration of traditional Korean techniques were generated and biotop classification systems and specific components in residential areas were reviewed. As for the result of this study, based on a preliminary draft prepared through literature review, considerations for biotop classification systems were taken into account. Then, based on classification criteria for biotop formats, biotop functions and biotop types, a second-tier classification system was developed. Criteria for biotop formats included surfaces, lines and points while criteria for biotop functions were large cores, small bases, corridors, stepping stones and ecological islands. Criteria for habitat types were divided to include natural forest, developed green areas, lacustrine wetland, palustrine wetland, shrubs, grasslands, linear habitats, vacant plots and practical green areas, which were sub-categorized. As for the biotop classification system, macro-classification divided biotops into three types-space, line and point-based on biotop formats. Meso-classification had five groups and micro-classification had 21 groups based on habitat types. Future studies should focus on the ecological features of each biotop categories generated in this study and their creation and management techniques to find many practical methods to create, protect and manage outdoor biotop for environment-friendly community.