Intelligent Information Processing VII

1. Front Matter

   PDF

2. Machine Learning

   1. Semi-paired Probabilistic Canonical Correlation Analysis

      • Bo Zhang, Jie Hao, Gang Ma, Jinpeng Yue, Zhongzhi Shi

      Pages 1-10

      PDF

   2. Using Bat Algorithm with Levy Walk to Solve Directing Orbits of Chaotic Systems

      • Xingjuan Cai, Lei Wang, Zhihua Cui, Qi Kang

      Pages 11-19

      PDF

   3. Complex Proteomes Analysis Using Label-Free Mass Spectrometry-Based Quantitative Approach Coupled with Biomedical Knowledge

      • Chao Pan, Wenxian Peng, Huilong Duan, Ning Deng

      Pages 20-28

      PDF

3. Data Mining

   1. Online Migration Solver Based on Instructions Statistics

      • Yuanren Song, Zhijun Li

      Pages 29-37

      PDF

   2. Improved Hierarchical K-means Clustering Algorithm without Iteration Based on Distance Measurement

      • Wenhua Liu, Yongquan Liang, Jiancong Fan, Zheng Feng, Yuhao Cai

      Pages 38-46

      PDF

   3. An Optimized Tag Recommender Algorithm in Folksonomy

      • Jie Chen, Baohua Qiang, Yaoguang Wang, Peng Wang, Jun Huang

      Pages 47-56

      PDF

4. Web Mining

   1. Extracting Part-Whole Relations from Online Encyclopedia

      • Fei Xia, Cungen Cao

      Pages 57-66

      PDF

   2. Topic Detection and Evolution Analysis on Microblog

      • Guoyong Cai, Libin Peng, Yong Wang

      Pages 67-77

      PDF

   3. A DBN-Based Classifying Approach to Discover the Internet Water Army

      • Weiqiang Sun, Weizhong Zhao, Wenjia Niu, Liang Chang

      Pages 78-89

      PDF

   4. An Efficient Microblog Hot Topic Detection Algorithm Based on Two Stage Clustering

      • Yuexin Sun, Huifang Ma, Meihuizi Jia, Wang Peiqing

      Pages 90-95

      PDF

   5. Collecting Valuable Information from Fast Text Streams

      • Baoyuan Qi, Gang Ma, Zhongzhi Shi, Wei Wang

      Pages 96-105

      PDF

5. Multi-agent Systems

   1. An AUML State Machine Based Method for Multi-agent Systems Model Checking

      • Dapeng Zhang, Xiang Ji, Xinsheng Wang

      Pages 106-112

      PDF

   2. Adaptive Mechanism Based on Shared Learning in Multi-agent System

      • Qingshan Li, Hua Chu, Liang Diao, Lu Wang

      Pages 113-121

      PDF

   3. An Agent-Based Autonomous Management Approach to Dynamic Services

      • Fu Hou, Xinjun Mao, Junwen Yin, Wei Wu

      Pages 122-132

      PDF

   4. Research and Application Analysis of Feature Binding Mechanism

      • Youzhen Han, Shifei Ding

      Pages 133-140

      PDF

6. Automatic Reasoning

   1. The Correspondence between Propositional Modal Logic with Axiom \(\Box\varphi \leftrightarrow \Diamond \varphi \) and the Propositional Logic

      • Meiying Sun, Shaobo Deng, Yuefei Sui

      Pages 141-151

      PDF

   2. A Sound and Complete Axiomatic System for Modality \(\Box\phi\equiv\Box_1\phi\land\Box_2\phi\)

      • Shaobo Deng, Meiying Sun, Cungen Cao, Yuefei Sui

      Pages 152-160

      PDF

   3. Verification of Branch-Time Property Based on Dynamic Description Logic

      • Yaoguang Wang, Liang Chang, Fengying Li, Tianlong Gu

      Pages 161-170

      PDF

   4. Dynamic Description Logic Based on DL-Lite

      • Na Zhang, Liang Chang, Zhoubo Xu, Tianlong Gu

      Pages 171-177

      PDF

This book constitutes the refereed proceedings of the 8th IFIP TC 12 International Conference on Intelligent Information Processing, IIP 2014, held in Hangzhou, China, in October 2014. The 32 revised papers presented were carefully reviewed and selected from more than 70 submissions. They are organized in topical sections on machine learning, data mining, web mining, multi-agent systems, automatic reasoning, decision algorithms, multimedia, pattern recognition, and information security.

• World Wide Web
• artificial intelligence
• automated reasoning
• clustering
• data mining
• decision support systems
• distributed artificial intelligence
• information discovery
• information processing
• information retrieval
• information systems applications
• logic
• machine learning
• multimedia information systems
• mutimedia retrieval
• pattern recognition
• retrieval tasks and goals
• security and privacy
• theory of computation
• web search

• Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China

  Zhongzhi Shi

• Department of Computer Science, Zhejiang University, Hangzhou, China

  Zhaohui Wu

• Computer Science Department, Indiana University, Bloomington, USA

  David Leake

• School of Computer Science, University of Manchester, Manchester, UK

  Uli Sattler

Policies and ethics