Computer Aided Systems Theory - EUROCAST 2007: 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, ... Papers (Lecture Notes in Computer Science)
暫譯: 電腦輔助系統理論 - EUROCAST 2007：第11屆國際電腦輔助系統理論會議，西班牙大加那利島拉斯帕爾馬斯，... 論文集（計算機科學講義）

Description

This book constitutes the thoroughly refereed post-proceedings of the 11th International Conference on Computer Aided Systems Theory, EUROCAST 2007, held in Las Palmas de Gran Canaria, Spain in February 2007.

The 144 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on formal approaches, computation and simulation in modeling biological systems, intelligent information processing, computers in education, grid computing, applied formal verification, cellular automata, computer vision, heuristic problem solving, signal processing architectures, robotics and robotic soccer, cybercars and intelligent vehicles and artificial intelligence components.