Christoph Benzmuller and Helmut Horacek and Ivana Kruijff-Korbayova and Manfred Pinkal and Jorg Siekmann and Magdalena WolskaRudolf Fleischer and Gerhard TrippenRuqian Lu and Hongge Liu and Songmao Zhang and Zhi Jin and Zichu WeiErica Melis and Ruimin Shen and Jorg Siekmann and Carsten Ullrich and Fan Yang and Peng HanFang Li and Xuanjing HuangWeining Qian and Feibo Chen and Bei Du and Aoying ZhouTianfang Yao and Hans UszkoreitYuejie Zhang and Tao ZhangYi Yi Huang and Cun Lu Xu and Yan Qiu ChenDietrich KlakowHong Lu and Xiangyang Xue and Yap-Peng TanHuixuan Tang and Hui WeiKeping Zhao and Shuigeng Zhou and Aoying Zhou

Natural Language Dialog with a Tutor System for Mathematical Proofs	p. 1
On the Effectiveness of Visualizations in a Theory of Computing Course	p. 15
Some Cognitive Aspects of a Turing Test for Children	p. 25
Challenges in Search and Usage of Multi-media Learning Objects	p. 36
An Intelligent Platform for Information Retrieval	p. 45
P-Terse: A Peer-to-Peer Based Text Retrieval and Search System	p. 58
Identifying Semantic Relations Between Named Entities from Chinese Texts	p. 70
Research on English-Chinese Bi-directional Cross-Language Information Retrieval	p. 84
Analyzing Image Texture from Blobs Perspective	p. 96
Access to Content	p. 108
Content-Based Image and Video Indexing and Retrieval	p. 118
Shape Recognition with Coarse-to-Fine Point Correspondence Under Image Deformations	p. 130
Towards Efficient Ranked Query Processing in Peer-to-Peer Networks	p. 145
Author Index	p. 161