Skip to main content



Cognitive Systems

Natural Language Dialog with a Tutor System for Mathematical Proofs

Natural language interaction between a student and a tutoring or an assistance system for mathematics is a new multi-disciplinary challenge that requires the interaction of (i) advanced natural language processing, (ii) flexible tutorial dialog strategies including hints, and (iii) mathematical domain reasoning. This paper provides an overview on the current research in the multi-disciplinary research project Dialog, whose goal is to build a prototype dialog-enabled system for teaching to do mathematical proofs. We present the crucial sub-systems in our architecture: the input understanding component and the domain reasoner. We present an interpretation method for mixed-language input consisting of informal and imprecise verbalization of mathematical content, and a proof manager that supports assertion-level automated theorem proving that is a crucial part of our domain reasoning module. Finally, we briefly report on an implementation of a demo system.
Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayová, Manfred Pinkal, Jörg Siekmann, Magdalena Wolska

On the Effectiveness of Visualizations in a Theory of Computing Course

We report on two tests we performed in Hong Kong and Shanghai to verify the hypothesis that one can learn better when being given access to visualizations beyond the standard verbal explanations in a classroom. The outcome of the first test at HKUST was inconclusive, while the second test at Fudan University showed a clear advantage for those students who had access to visualizations.
Rudolf Fleischer, Gerhard Trippen

Some Cognitive Aspects of a Turing Test for Children

Knowledge, cognition and intelligence are three tightly connected concepts. The Turing test is widely accepted as a test stone for machine intelligence. This paper analyzes experiences obtained in a research project on a Turing test for children and discusses its meaning with respect to some knowledge and cognition issues.
Ruqian Lu, Hongge Liu, Songmao Zhang, Zhi Jin, Zichu Wei

Challenges in Search and Usage of Multi-media Learning Objects

The definition, assembly and manipulation of learning objects is becoming more and more popular in learning environments. But despite standardization efforts their appropriate markup and practical usage still faces many difficulties, such as retrieval, true interoperability and cognitively adequate selection and presentation. This paper describes current work of the authors tackling some of these challenges.
Erica Melis, Ruimin Shen, Jörg Siekmann, Carsten Ullrich, Fan Yang, Peng Han

An Intelligent Platform for Information Retrieval

Information Retrieval (IR) has played a very important role in our modern life. However, the results of search engines are not satisfactory for human intelligent activities. The platform proposed in this paper tried to solve the problems from three aspects: One is to provide domain specific IR, which consists of task oriented searching and topic related filtering. The second is to provide open-domain, concept-based retrieval to reduce irrelevant pages and overcome ambiguous keywords. The third is to provide the exact answer by question answering. The intelligent platform will facilitate searching ability on the Web. It will be easier for users to locate the interest information by keywords or questions. Researches described in the paper are developed at Shanghai Jiaotong universities and Fudan university. The experiments have showed a promising result from each aspect. The integration of these three aspects is one of the challenges of IR in the near future.
Fang Li, Xuanjing Huang

P-Terse: A Peer-to-Peer Based Text Retrieval and Search System

(Extended Abstract)
P-Terse, a peer-to-peer (P2P) text retrieval and search prototype system is introduced in this paper. Compared with existing P2P systems, P-Terse has three novel features: 1) The text content of the shared documents is searchable. 2) The system is open for extensions. 3) Our search and query processing techniques are implemented in the system. These techniques are designed for achieving high efficiency and scalability. The presentation of the system includes the design strategies of the system and the technologies that are implemented. We also discuss the on-going research and development work related to P-Terse.
Weining Qian, Feibo Chen, Bei Du, Aoying Zhou

Identifying Semantic Relations Between Named Entities from Chinese Texts

COLLATE is a project dedicated to building up a German authority center for language technology in Saarbrücken. Under this project, a computational model with three-stage pipeline architecture for Chinese information extraction has been proposed. In this paper, we concentrate on the presentation for the third stage, viz., the identification of named entity relations (NERs). A learning and identification approach for NERs called positive and negative case-based learning and identification is described in detail. It pursues the improvement of the identification performance for NERs through simultaneously learning two opposite cases, automatically selecting effective multi-level linguistic features for each NER and non-NER, and optimally achieving an identification tradeoff etc. The experimental results have shown that the overall average recall, precision, and F-measure for 14 NERs are 78.50%, 63.92% and 70.46% respectively. In addition, the above F-measure has been enhanced from 63.61% to 70.46% due to adoption of both positive and negative cases.
Tianfang Yao, Hans Uszkoreit

Research on English-Chinese Bi-directional Cross-Language Information Retrieval

With the rapid growing amount of information available to us, the situations that a user needs to use a retrieval system to perform querying a multilingual document collection are becoming increasingly emerging and common. Thus an important problem is formed, to match the user queries specified in one language against documents in another different language, i.e. Cross-Language Information Retrieval (CLIR). Based on the work in CLIR evaluation task in the 9th Text Retrieval Conference (TREC-9), we have constructed an English-Chinese bi-directional CLIR system. In this system, we adopt English-Chinese bi-directional query translation as the dominant strategy, use English and Chinese queries as translation objects, and utilize English and Chinese machine readable dictionaries as the important knowledge source to acquire correct translations. By combining English and Chinese monolingual IR systems constructed by us, the complete English-Chinese bi-directional CLIR process can be implemented successfully.
Yuejie Zhang, Tao Zhang

Analyzing Image Texture from Blobs Perspective

We introduce in this article a blobs perspective for understanding image texture, and the subsequent motivation to characterize texture through analyzing the blobs in the textured image. Three texture description schemes arising from this motivation are discussed and their performance is experimentally evaluated. The experiment results show that a 94.9% correct classification rate on the entire Brodatz set of 112 different types of texture is achieved, which is the highest classification performance to date among the published methods according to the literature survey carried out by the authors of this article.
Yi Yi Huang, Cun Lu Xu, Yan Qiu Chen

Access to Content

Enabling everybody to access content in a very simple and user friendly way becomes an increasingly important topic as content availability still increases exponentially. In this paper we will first address the problem of content annotation. The core part of the paper is a description of the LISy system which analyses TV content and allows the user to access it using a natural language dialogue system. Finally we will give a brief overview of the SmartWeb system which extends the capabilities of LISy to the access to the semantic web.
Dietrich Klakow

Content-Based Image and Video Indexing and Retrieval

This paper surveys some of the existing techniques and systems for content-based indexing and retrieval of two main types of multimedia data – images and videos. Furthermore, some of our recent work are reported. Specifically, in content-based image retrieval, we have proposed multi-scale color histograms by incorporating color and spatial information. In content-based video retrieval, we have proposed a new level of program between story/event and video sequence levels. Video summarization results are given based on the scene clustering results.
Hong Lu, Xiangyang Xue, Yap-Peng Tan

Shape Recognition with Coarse-to-Fine Point Correspondence Under Image Deformations

Matching techniques are part-and-parcel of shape recognition. A coarse-to-fine method is presented which finds point correspondence between open or closed curves and is invariant to various image deformations, including affine transformation, perspective distortion, non-rigid motion and so forth. The method is inspired by the idea to use point correspondences established at one level to generate a priori information, which is either topological or geometric, to match features at finer levels. This has all been achieved through an analysis of the curve topology and a synthesis of the B-spline interpolation techniques. This is in contrast to existing multi-scale methods for curve matching that use pure feature correlation or 3D structure recovery at a fixed scale. The presented method proves to be robust and accurate and can serve as a powerful aid to measure similarity of shape, as demonstrated in various experiments on real images.
Huixuan Tang, Hui Wei

Towards Efficient Ranked Query Processing in Peer-to-Peer Networks

P2P computing is gaining more and more attention from both academia and industrial communities for its potential to reconstruct current distributed applications on the Internet. However, the basic DHT-based P2P systems support only exact-match queries. Ranked queries produce results that are ordered by certain computed scores, which have become widely used in many applications relying on relational databases, where users do not expect exact answers to their queries, but instead a ranked set of the objects that best match their preferences. By combing P2P computing and ranked query processing, this paper addresses the problem of providing ranked queries support in Peer-to-Peer (P2P) networks, and introduces efficient algorithms to solve this problem. Considering that the existing algorithms for ranked queries consume an excessive amount of bandwidth when they are applied directly into the scenario of P2P networks, we propose two new algorithms: PSel for ranked selection queries and PJoin for ranked join queries. PSel and PJoin reduce bandwidth cost by pruning irrelevant tuples before query processing. Performance of the proposed algorithms are validated by extensive experiments.
Keping Zhao, Shuigeng Zhou, Aoying Zhou


Weitere Informationen