Skip to main content
SpringerLink
Log in
Book cover

Intelligent Information Processing VII

8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Zhongzhi Shi

    1. Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Zhaohui Wu

    1. Department of Computer Science, Zhejiang University, Hangzhou, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. David Leake

    1. Computer Science Department, Indiana University, Bloomington, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Uli Sattler

    1. School of Computer Science, University of Manchester, Manchester, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: IFIP Advances in Information and Communication Technology (IFIPAICT, volume 432)

Included in the following conference series:

Conference proceedings info: IIP 2014.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (35 papers)

  1. Front Matter

    Download chapter PDF

  2. Machine Learning

    1. Semi-paired Probabilistic Canonical Correlation Analysis

      • Bo Zhang, Jie Hao, Gang Ma, Jinpeng Yue, Zhongzhi Shi
      Pages 1-10

    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

    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

  3. Data Mining

    1. Online Migration Solver Based on Instructions Statistics

      • Yuanren Song, Zhijun Li
      Pages 29-37

    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

    3. An Optimized Tag Recommender Algorithm in Folksonomy

      • Jie Chen, Baohua Qiang, Yaoguang Wang, Peng Wang, Jun Huang
      Pages 47-56

  4. Web Mining

    1. Extracting Part-Whole Relations from Online Encyclopedia

      • Fei Xia, Cungen Cao
      Pages 57-66

    2. Topic Detection and Evolution Analysis on Microblog

      • Guoyong Cai, Libin Peng, Yong Wang
      Pages 67-77

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

      • Weiqiang Sun, Weizhong Zhao, Wenjia Niu, Liang Chang
      Pages 78-89

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

      • Yuexin Sun, Huifang Ma, Meihuizi Jia, Wang Peiqing
      Pages 90-95

    5. Collecting Valuable Information from Fast Text Streams

      • Baoyuan Qi, Gang Ma, Zhongzhi Shi, Wei Wang
      Pages 96-105

  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

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

      • Qingshan Li, Hua Chu, Liang Diao, Lu Wang
      Pages 113-121

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

      • Fu Hou, Xinjun Mao, Junwen Yin, Wei Wu
      Pages 122-132

    4. Research and Application Analysis of Feature Binding Mechanism

      • Youzhen Han, Shifei Ding
      Pages 133-140

  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

    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

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

      • Yaoguang Wang, Liang Chang, Fengying Li, Tianlong Gu
      Pages 161-170

    4. Dynamic Description Logic Based on DL-Lite

      • Na Zhang, Liang Chang, Zhoubo Xu, Tianlong Gu
      Pages 171-177
Back to top

Other volumes

  1. Intelligent Information Processing VII

Keywords

About this book

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.

Editors and Affiliations

  • 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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation