• Journal of Korea Game Society
• /
• v.18 no.2
• /
• pp.121-130
• /
• 2018

Most of those studies use frequency, the number of times a pattern appears in a transaction database, as the key measure for pattern interestingness. It prerequisites that any interesting pattern should occupy a maximum portion of the transactions it appears. But in our real world scenarios the completeness of any pattern is more likely to become various in transactions. Hence, we should also consider the problem of finding the qualified patterns with the significant values of the weighted support by completeness in order to reduce the loss of information within any pattern in transaction. In these pattern recommendation applications, patterns with higher completeness may lead to higher recall while patterns with higher completeness may lead to higher recall while patterns with higher frequency lead to higher precision. In this paper, we propose a measure of weighted support and completeness and an algorithm WSCFPM(weigted support and completeness frequent pattern mining). Our algorithm handles the invalidation of the monotone or anti-monotone property which does not hold on completeness. Extensive performance analysis show that our algorithm is very efficient and scalable for word pattern mining.

• The Korean Journal of Pain
• /
• v.31 no.3
• /
• pp.147-154
• /
• 2018

Fibromyalgia (FM) is a contested illness with ill-defined boundaries. There is no clearly defined cut-point that separates FM from non-FM. Diagnosis of FM has been faced with several challenges that occur, including patients' health care-seeking behavior, symptoms recognition, and FM labeling by physicians. This review focuses on important but less visible factors that have a profound influence on under- or over-diagnosis of FM. FM shows different phenotypes and disease expression in patients and even in one patient over time. Psychosocial and cultural factors seem to be a contemporary ferment in FM which play a major role in physician diagnosis even more than having severe symptom levels in FM patients. Although the FM criteria are the only current methods which can be used for classification of FM patients in surveys, research, and clinical settings, there are several key pieces missing in the fibromyalgia diagnostic puzzle, such as invalidation, psychosocial factors, and heterogeneous disease expression. Regarding the complex nature of FM, as well as the arbitrary and illusory constructs of the existing FM criteria, FM diagnosis frequently fails to provide a clinical diagnosis fit to reality. A physicians' judgment, obtained in real communicative environments with patients, beyond the existing constructional scores, seems the only reliable way for more valid diagnoses. It plays a pivotal role in the meaning and conceptualization of symptoms and psychosocial factors, making diagnoses and labeling of FM. It is better to see FM as a whole, not as a medical specialty or constructional scores.

• Journal of Korea Multimedia Society
• /
• v.10 no.4
• /
• pp.421-431
• /
• 2007

Due to the rapid development of wireless communication technology, demands on data services in mobile computing environment are gradually increasing. In mobile computing environments, a mobile host began to use cache to overcome the weak point. Caching at mobile host could reduce the bandwidth consumption and query response time, but mobile host must maintain cache consistency. In this paper, we propose a cache consistency strategy to consider the period of data usage. The server allows an effective broadcasting by classifying data into two groups of periodic and non-periodic. By classifying the data, it prevent from elimination of cache after disconnection of periodic data by using expired time. By storing IR(Invalidation Report) messages, this scheme divides cached data by selection after disconnection. Consequently, we have shown much improvement in total consumption of bandwidth than the conventional scheme.

• The Journal of the Korea Contents Association
• /
• v.15 no.10
• /
• pp.447-456
• /
• 2015

In this paper a new model of storytelling related to patent in the field of business as a sort of Intellectual Property(IP) was proposed. The patent related storytelling is investigated in the view points of variety of customers, purposes and applications which is different from the conventional OSMU, transmedia or crossmedia storytelling. In business there are several stages related to patent such as the initial conceptualization and development of technology, apply for and registration of patent, legal conflict like patent invalidation trial and action for infringement of patent and damages, and the commercialization stage like development of product based on patent, advertisement and marketing. Multiple sources optimized to the purpose in each stage of patent related business as well as to multiple convergence application of a patent. Similarly, multi-use refers to the fact that storytelling can be applied in each stage of patent oriented business. The effectiveness and usefulness of proposed MSMU model is also investigated.

• Journal for History of Mathematics
• /
• v.24 no.3
• /
• pp.37-58
• /
• 2011

The development of recent Mathematical Logic is mostly originated in Hilbert's Proof Theory. The purpose of the plan so called Hilbert's Program lies in the formalization of mathematics by formal axiomatic method, rescuing classical mathematics by means of verifying completeness and consistency of the formal system and solidifying the foundations of mathematics. In 1931, the completeness encounters crisis by the existence of undecidable proposition through the 1st Theorem of G?del, and the establishment of consistency faces a risk of invalidation by the 2nd Theorem. However, relative of partial realization of Hilbert's Program still exists as a fruitful research program. We have tried to bring into relief through Curry-Howard Correspondence the fact that Hilbert's program serves as source of power for the growth of mathematical constructivism today. That proof in natural deduction is in truth equivalent to computer program has allowed the formalization of mathematics to be seen in new light. In other words, Hilbert's program conforms best to the concept of algorithm, the central idea in computer science.

• Journal of Information Technology and Architecture
• /
• v.10 no.1
• /
• pp.63-70
• /
• 2013

This paper deals with the trend analysis and the patent prior-art for wireless rechargeable technology. By this technological analysis, the corresponding service applications and the strategy upon the mobile smart phone regarding the design UX/UI and several wireless rechargeable technology have been derived. The market outlook on the wireless rechargeable technology grows rapidly so that the market size is increased about six times bigger than that of the last year, and it will grow about 18 billion dollars in 2014. Because of that, as the interest on this area outfocused, many kinds of technology and new product are being exploited in this field. So the technological guidance and the patent map for the wireless rechargeable technology will highly expected. Especially due to our analysis, research and development about service application of this technology is one of the most promising areas, and several technological suggestions are represented which include the patentability and invalidation, right strategy and licensing policy, and battery sharing with extended durability, etc.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.3
• /
• pp.821-830
• /
• 1997

The directory-based cache coherence scheme is an attractive approach to solve the caceh coherence problem in a large-scale shared-memory multiprocessor.However, the exsting directory-based schemes have some problens such as the enormous storage overhead for a directory, the long invalidation latency, the heavy network condes-tion, and the low scalability.For resolving these problems, we propose a new directroy- based caceh coherence scheme which is suitable for building scalable, shred-memory multiprocessors.In this scheme, each directory en-try ofr a given memory block is a number-balanced binaty tree(NBBT) stucture.The NBBT has several proper-ties to effciently maintain the directory for the cache consistency such that the shape is unique, the maximum depth is [log$_2$n], and the tree has the minimum number of leaf nodes among the binarry tree with n nodes.Therefore, this scheme can reduce the storage overhead, the network traffic, and the inbalidation latency and can ensutr the high- scalability the large-scale shared-memory multiprocessors.

• Journal of Arbitration Studies
• /
• v.23 no.1
• /
• pp.153-175
• /
• 2013

The issue of patent validity becomes a subject of dispute under the FTA and there is a definite difference of opinion between China, Japan, and Korea. In other words, the validity of a judgment on the patent was exclusively under the jurisdiction of the administrative agency at a particular patent office. Thus, the issue arises where there is a potential judgment on patent validity. In this case, the Supreme Court rather than the patent office can offer a judgment from a judicial institution and can make a judgment in the case of a medication. In China, however, the lowest possibility of judgment on patent validity is predicted to occur in judicial institutions. Such a judgment is recognized as the Grand Bench Decision in Korea, and the court can judge the patent validation rather than the patent office. That is just the case in the Kilby case-it is invalid for reasons obvious in Japan. Therefore, there is a substantial difference between the three countries. Especially in Japan, where after the Kilby case, they revised the patent law in 2004 to introduce Article 104-3, placing the judgment of patent validity in the court, even if the "Apparentness"is not requisite. Per this law, infringers can argue for patent invalidity not only the judgment of the patent invalidation but also the infringement lawsuit. From the point of view of Japan, Korea became the judgment of trademark validation by extension and obvious cases can become directly to judge through the Supreme Court about the right that needs to examinations and registrations. In terms of the mediation, it also provides a clue about the judgment of intellectual property validation and expands the scope of the mediation in the future. From now on, in order to have active mediation procedures in the three countries, China, Japan, and Korea would need to unify regulations and application scopes for mediation in the FTA negotiation and to look forward to achieve a vigorous mediation approach.

• Journal of KIISE:Databases
• /
• v.31 no.4
• /
• pp.422-431
• /
• 2004

In recent years, different models in data delivery have been explored in mobile computing systems. Particularly, there were a lot of research efforts in the periodic push model where the server repetitively disseminates information without explicit request. However, average waiting time per data operation highly depends on the length of a broadcast cycle and different access pattern among clients may deteriorate the response time considerably. In this case, clients are preferably willing to send a data request to the server explicitly through backchannel in order to obtain optimal response time. We call the broadcast model supporting backchannel as hybrid broadcast. In this paper, we devise a new transaction processing algorithm(O-PreH) in hybrid broadcast environments. The data objects which the server maintains are divided into Push_Data for periodic broadcasting and Pull_Data for on-demand processing. Clients tune in broadcast channel or demand the data of interests according to the data type. Periodic invalidation reports from the server support maintaining transactional consistency. If one or more conflicts are found, conflict orders are determined not to violate the consistency(pre-reordering) and then the remaining operations have to be executed pessimistically. Through extensive simulations, we demonstrate the improved throughput of the proposed algorithm.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.7
• /
• pp.1694-1705
• /
• 1997

In the future mobile computing environment, it will be generalized that a mobile host with portable Laptop of Palmtop accesses to database through wireless communication channel. For solving the problems which are caused from low bandwidth of wireless communication, mobile hosts cache the datum used frequently on them. Thus the mobile hosts must always retain the cache consistency for the correctness of the cached datum. the cache consistency is mainly affected from the unrestricted host mobility and the disconnection of the communication between mobile hosts and mobile support station. In this situation, the strategy to retain efficiently cache consistency is required. In this paper, we propose a strategy using updatable message for retaining the cache consistency, in the mobile computing environment, with replicated database supporting 2 phase commit protocol. This strategy makes use of a updatable message to resolve the cache consistency problem, since mobile host crosses the boundary of cell. In using of this updatable, it find out and cache only the update data of missing invalidation message. As a result, the proposed strategy utilizes network bandwidth efficiently because it is not need to delete all the cached datum with any datum change.