Computer Aided Systems Theory -- EUROCAST 2011: 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part IRoberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia Springer, 02.02.2012 - 637 Seiten The two-volume proceedings, LNCS 6927 and LNCS 6928, constitute the papers presented at the 13th International Conference on Computer Aided Systems Theory, EUROCAST 2011, held in February 2011 in Las Palmas de Gran Canaria, Spain. The total of 160 papers presented were carefully reviewed and selected for inclusion in the books. The contributions are organized in topical sections on concepts and formal tools; software applications; computation and simulation in modelling biological systems; intelligent information processing; heurist problem solving; computer aided systems optimization; model-based system design, simulation, and verification; computer vision and image processing; modelling and control of mechatronic systems; biomimetic software systems; computer-based methods for clinical and academic medicine; modeling and design of complex digital systems; mobile and autonomous transportation systems; traffic behaviour, modelling and optimization; mobile computing platforms and technologies; and engineering systems applications. |
Andere Ausgaben - Alle anzeigen
Computer Aided Systems Theory -- EUROCAST 2011: 13th International ... Roberto Moreno Díaz,Franz Pichler,Alexis Quesada Arencibia Eingeschränkte Leseprobe - 2012 |
Häufige Begriffe und Wortgruppen
analysis applied approach array average Berlin Heidelberg 2012 binary circuits cluster complex computation constraints construction costs crossover data set defined described detection dynamic efficiency encoding error EUROCAST evaluation evolutionary algorithms filter fitness landscape function fuzzy genetic algorithm graph Heidelberg heuristic HeuristicLab hybrid IEEE implementation input instances iteration Keywords linear LNCS metaheuristic method minimum spanning tree Moreno-Díaz mutation neighborhood neural network NNTP nodes obtained offspring selection ontology operations optimization output paper parallel parameters Particle Swarm Optimization performance Petri net pixel population prediction programming proposed random representation robots runtime S-boxes sampling Section segmentation semantic server simulation solution Springer Springer-Verlag Berlin Heidelberg strategies structure subset Table target threshold tion Topic Maps transformation traveling salesman problem tumor marker values variable vector vehicle routing problem