Format:
xxxiii, 686 p.
,
ill. (some col.).
ISBN:
9783642238819
Series Statement:
Lecture notes in computer science. Lecture notes in artificial intelligence 7002
Content:
Title -- Preface -- Organization -- Table of Contents -- Applications of Artificial Intelligence -- QP Based Framework for Development and Formal Verification of Flight Control Software of UAV -- Introduction -- Presentations of QP -- Model the Flying Control System -- Top Model -- The PC Main Control Model -- Formalized on the State Chart by OCL -- Verification and Validation -- Convert UML by XMI Specification -- Authentication by Inference Machine -- Conclusion -- References -- A Matching Method between Music Scores and Performance Data in a Realtime Person-Computer Ensemble System -- Introduction -- A Realtime Person-Computer Ensemble System -- Formal Specification -- A Matching Method Dealt with Mistouches in a Realtime Performance -- Matching Windows -- Mistouches -- A Matching Strategy Dealt with Mistouches -- Experimental Result -- Related Works -- Conclusion -- References -- Ship Water Fire-Fighting System Survivability Simulation Based on Intelligent Reconfiguration Arithmetic -- Introduction -- Survivability Simulation Process -- Graph Model of Water Fire-Fighting System -- Graph Theory -- Graph Model of Water Fire-Fighting System -- Intelligent Reconfiguration Arithmetic -- Intelligent Separation Arithmetic -- Intelligent Reconfiguration Arithmetic -- Simulation -- Conclusions -- References -- Maximum Likelihood Estimation of Double Alternative Step-Stress Accelerated Life Test for Electronics -- Introduction -- Assumption and Description -- MLE of β_0 ,β_1,β_2 -- MLE -- Interval Estimation of Life Expectancy 0θ in Operating Stress Combination -- Fisher Information Matrix [7] -- Interval Estimation of Life Expectancy θ_0 -- Simulation Studies -- Conclusion -- References -- Prediction of Grain Yield Using SIGA-BP Neural Network -- Introduction -- BP Neural Network Optimized by SIGA -- Introduction of SIGA.
Note:
Includes bibliographical references and index
Additional Edition:
9783642238802
Additional Edition:
Erscheint auch als Druck-Ausgabe 9783642238802
Language:
English
Bookmarklink