06788nam 22008535 450 991029899570332120200702091231.03-662-44980-310.1007/978-3-662-44980-6(CKB)3710000000269822(SSID)ssj0001372363(PQKBManifestationID)11890730(PQKBTitleCode)TC0001372363(PQKBWorkID)11305048(PQKB)10685870(DE-He213)978-3-662-44980-6(MiAaPQ)EBC6280881(MiAaPQ)EBC5576527(Au-PeEL)EBL5576527(OCoLC)894565610(PPN)182098753(EXLCZ)99371000000026982220141013d2014 u| 0engurnn#008mamaatxtccrIntelligent Information Processing VII 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings /edited by Zhongzhi Shi, Zhaohui Wu, David Leake, Uli Sattler1st ed. 2014.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2014.1 online resource (XX, 324 p. 115 illus.)IFIP Advances in Information and Communication Technology,1868-4238 ;432Bibliographic Level Mode of Issuance: Monograph3-662-44979-X 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.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.IFIP Advances in Information and Communication Technology,1868-4238 ;432Artificial intelligenceData miningMathematical logicInformation storage and retrievalPattern recognitionComputer logicArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Data Mining and Knowledge Discoveryhttps://scigraph.springernature.com/ontologies/product-market-codes/I18030Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Information Storage and Retrievalhttps://scigraph.springernature.com/ontologies/product-market-codes/I18032Pattern Recognitionhttps://scigraph.springernature.com/ontologies/product-market-codes/I2203XLogics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XArtificial intelligence.Data mining.Mathematical logic.Information storage and retrieval.Pattern recognition.Computer logic.Artificial Intelligence.Data Mining and Knowledge Discovery.Mathematical Logic and Formal Languages.Information Storage and Retrieval.Pattern Recognition.Logics and Meanings of Programs.006.3Shi Zhongzhiedthttp://id.loc.gov/vocabulary/relators/edtWu Zhaohuiedthttp://id.loc.gov/vocabulary/relators/edtLeake Davidedthttp://id.loc.gov/vocabulary/relators/edtSattler Uliedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910298995703321Intelligent Information Processing VII2050603UNINA