Computer Aided Systems Theory EUROCAST 2005 計算機輔助系統(tǒng)理論 - EUROCAST 2005/會議文集

內容概要

This book constitutes the thoroughly refereed post-proceedings of the 10th International Conference on Computer Aided Systems Theory, EUROCAST 2005, held in Las Palmas de Gran Canaria, Spain in February 2005. The 83 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on formal approaches in modelling, intelligent information systems, information applications components, cryptography and spectral analysis, computer vision, biocomputing, intelligent vehicular systems, robotic soccer, robotics and control.

書籍目錄

Formal Approaches in Modelling　On the Physical Formal and Semantic Frontiers Between Human Knowing and Machine Knowing　Approximation Problems Categories　Computation of Partial Automata Through Span Composition　Degenerate Arrays: A Framework for Uncertain Data Tables　Neural Network Sensitivity Analysis Applied for the Reduction of the Sensor Matrix　Fuzzy Modeling for Coal Seams A Case Study for a Hard-Coal Mine　Optimization of a Class of Uncertain Systems Based on Uncertain Variables　Computational Simulation of Categorical Constructions　Composing Transitions into Transactions in UML Diagrams　Theory-Building with System Dynamics: Principles and Practices　Ontology Integration for Statistical InformationIntelligent Information Systems　On Recursive Functions and Well-Founded Relations in the Calculus of Constructions　Longest Sorted Sequence Algorithm for Parallel Text Alignment　Information Retrieval and Large Text Structured Corpora　Meteorological Image Descriptors　Towards a Certified and Efficient Computing of GrSbner Bases　CheapTB: A Low Cost of Operation Distributed Filesystem　Spelling Correction on Technical Documents　Verification of Language Based Fault-Tolerance　Applying Stacking and Corpus Transformation to a Chunking Task　Extracting Computer Algebra Programs from Statements　Integrating Syntactic Information by Means of Data Fusion Techniques　Unsupervised Learning in Information Retrieval Using NOW Architectures　An Iterative Method for Mining Frequent Temporal PatternsInformation Applications ComponentsCryptography and Spectral AnalsisComputer VisionBiocomputingIntelligent Vehicular SytemsRobotic Soccer ,Robotics and ControlAuthor Index

圖書封面

評論、評分、閱讀與下載

---

    Computer Aided Systems Theory EUROCAST 2005 計算機輔助系統(tǒng)理論 - EUROCAST 2005/會議文集 PDF格式下載

---