TY  - BOOK
AU  - Shi,Zhongzhi
AU  - Wu,Zhaohui
AU  - Leake,David
AU  - Sattler,Uli
ED  - SpringerLink (Online service)
TI  - Intelligent Information Processing VII: 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings 
T2  - IFIP Advances in Information and Communication Technology,
SN  - 9783662449806
AV  - Q334-342 
U1  - 006.3 23
PY  - 2014///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg, Imprint: Springer
KW  - Computer science
KW  - Logic design
KW  - Data mining
KW  - Information storage and retrieval systems
KW  - Artificial intelligence
KW  - Optical pattern recognition
KW  - Computer Science
KW  - Artificial Intelligence (incl. Robotics)
KW  - Data Mining and Knowledge Discovery
KW  - Mathematical Logic and Formal Languages
KW  - Information Storage and Retrieval
KW  - Pattern Recognition
KW  - Logics and Meanings of Programs
N1  - 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 _φ ↔ ♦φ and the Propositional Logic -- A Sound and Complete Axiomatic System for Modality _φ ≡ _1φ ∧ _2φ -- 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 a Camera Using Multi-rectangle Constructed by Mark Lines in Traffic Road -- A Multi-instance Multi-label Learning Framework of Image Retrieval -- The Retrieval of Shoeprint Images Based on the Integral Histogram of the Gabor Transform Domain -- Scene Classification Using Spatial and Color Features -- Multipath Convolutional-Recursive Neural Networks for Object Recognition -- Identification of Co-regulated Gene Network by Using Path Consistency Algorithm Based on Gene Ontology -- Case Retrieval for Network Security Emergency Response Based on Description Logic -- On the Prevention of Invalid Route Injection Attack -- A Formal Model for Attack Mutation Using Dynamic Description Logics -- Efficient Integrity Protection for P2P Streaming
N2  - 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
UR  - http://dx.doi.org/10.1007/978-3-662-44980-6
ER  -