We motivate and present a logical semantic approach to types for concurrency and to the soundness of related systems. The approach is illustrated by the development of a generic ty...
Wiki is a collaborative Web page authoring system. By using a Wiki system, we can build a Web site collaboratively by creating and updating Wiki pages through Web browsers. If agen...
A lot of recent work has dealt with improving performance of content searching in peer-to-peer file sharing systems. In this paper we attack this problem by modifying the overlay ...
This paper presents a method for learning a semantic parser from ambiguous supervision. Training data consists of natural language sentences annotated with multiple potential mean...
In this paper, we present a Question Answering system called KUQA (Korea University Question Answering system) developed by using semantic categories and co-occurrence density. Se...
Soo-Min Kim, Dae-Ho Baek, Sang-Beom Kim, Hae-Chang...