Computer Aided Systems Theory - Eurocast 2007

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 Modelling 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.