000			05601nam a22006255i 4500
001			978-3-662-44980-6
003			DE-He213
005			20200421112219.0
007			cr nn 008mamaa
008			141013s2014 gw | s |||| 0|eng d
020			_a9783662449806 _9978-3-662-44980-6
024	7		_a10.1007/978-3-662-44980-6 _2doi
050		4	_aQ334-342
050		4	_aTJ210.2-211.495
072		7	_aUYQ _2bicssc
072		7	_aTJFM1 _2bicssc
072		7	_aCOM004000 _2bisacsh
082	0	4	_a006.3 _223
245	1	0	_aIntelligent Information Processing VII _h[electronic resource] : _b8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings / _cedited by Zhongzhi Shi, Zhaohui Wu, David Leake, Uli Sattler.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2014.
300			_aXX, 324 p. 115 illus. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aIFIP Advances in Information and Communication Technology, _x1868-4238 ; _v432
505	0		_aSemi-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 _(Sz(B ↔ ♦(Sz(B and the Propositional Logic -- A Sound and Complete Axiomatic System for Modality _(Sz(B ≡ _1(Sz(B ∧ _2(Sz(B -- 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.
520			_aThis 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.
650		0	_aComputer science.
650		0	_aComputer logic.
650		0	_aMathematical logic.
650		0	_aData mining.
650		0	_aInformation storage and retrieval.
650		0	_aArtificial intelligence.
650		0	_aPattern recognition.
650	1	4	_aComputer Science.
650	2	4	_aArtificial Intelligence (incl. Robotics).
650	2	4	_aData Mining and Knowledge Discovery.
650	2	4	_aMathematical Logic and Formal Languages.
650	2	4	_aInformation Storage and Retrieval.
650	2	4	_aPattern Recognition.
650	2	4	_aLogics and Meanings of Programs.
700	1		_aShi, Zhongzhi. _eeditor.
700	1		_aWu, Zhaohui. _eeditor.
700	1		_aLeake, David. _eeditor.
700	1		_aSattler, Uli. _eeditor.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9783662449790
830		0	_aIFIP Advances in Information and Communication Technology, _x1868-4238 ; _v432
856	4	0	_uhttp://dx.doi.org/10.1007/978-3-662-44980-6
912			_aZDB-2-SCS
942			_cEBK
999			_c57322 _d57322