网上购物 货比三家
您现在的位置:快乐比价网 > 图书 > 计算机与网络 > 计算机/网络 > 商品详情

Computer Aided Systems Theory EUROCAST 2005 计算机辅助系统理论 - EUROCAST 2005/会议文集

分享到:
Computer Aided Systems Theory EUROCAST 2005 计算机辅助系统理论 - EUROCAST 2005/会议文集

最 低 价:¥732.20

定 价:¥813.60

作 者:RobertoMoreno-Díaz 著

出 版 社:北京燕山出版社

出版时间:2005-11-1

I S B N:9783540290025

商品详情

编辑推荐

The LNCS series reports state-of-the-art results in computer science research,development,and education,at a high level and in both printed and electronic form.Enjoying tight cooperation with the R&D community,with numerous individuals,as well as with prestigious organizations and societies,LNCS has grown into the most comprehensive computer science resarch forum available.
The scope of LNCS,including its subseries LNAI,spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields.The type of material publised traditionally includes.
-proceedings(published in time for the respective conference)
-post-proceedings(consisting of thoroughly revised final full papers)
-research monographs(which may be basde on outstanding PhD work,research projects,technical reports,etc.)

内容简介

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 Information
Intelligent 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 Patterns
Information Applications Components
Cryptography and Spectral Analsis
Computer Vision
Biocomputing
Intelligent Vehicular Sytems
Robotic Soccer ,Robotics and Control
Author Index

商品评论(0条)

暂无评论!

您的浏览历史

loading 内容加载中,请稍后...