Intelligent Information Processing VII

Semi-paired Probabilistic Canonical Correlation Analysis.- Using Bat Algorithm with Levy Walk to Solve Directing Orbits of Chaotic Systems.- Complex Proteomes Analysis Using Label-Free Mass Spectrometry-Based Quantitative Approach Coupled with Biomedical Knowledge.- Online Migration Solver Based on Instructions Statistics: Algorithm for Deciding Offload Function Set on Mobile Cloud System.- Improved Hierarchical K-means Clustering Algorithm without Iteration Based on Distance Measurement.- An Optimized Tag Recommender Algorithm in Folksonomy.- Extracting Part-Whole Relations from Online Encyclopedia.- Topic Detection and Evolution Analysis on Microblog.- A DBN-Based Classifying Approach to Discover the Internet Water Army.- An Efficient Microblog Hot Topic Detection Algorithm Based on Two Stage Clustering.- Collecting Valuable Information from Fast Text Streams.- An AUML State Machine Based Method for Multi-agent Systems Model Checking.- Adaptive Mechanism Based on Shared Learning in Multi-agent System.- An Agent-Based Autonomous Management Approach to Dynamic Services.- Research and Application Analysis of Feature Binding Mechanism.- The Correspondence between Propositional Modal Logic with Axiom _phi phi and the Propositional Logic.- A Sound and Complete Axiomatic System for Modality _phi _1phi _2phi.- Verification of Branch-Time Property Based on Dynamic Description Logic.- Dynamic Description Logic Based on DL-Lite.- Formalizing the Matrix Inversion Based on the Adjugate Matrix in HOL4.- A Heuristic Approach to Acquisition of Minimum Decision Rule Sets in Decision Systems.- Cooperative Decision Algorithm for Time Critical Assignment without Explicit Communication.- Using PDDL to Solve Vehicle Routing Problems.- Automated Localization and Accurate Segmentation of Optic Disc Based on Intensity within a Minimum Enclosing Circle.- An Optimization Scheme for SVAC Audio Encoder.- A Traffic Camera Calibration Method Based on Multi-rectangle: Calibrating aCamera Using