04077nam 22007695 450 99646590430331620230406011635.03-642-27579-610.1007/978-3-642-27579-1(CKB)3400000000025753(SSID)ssj0000666010(PQKBManifestationID)11393547(PQKBTitleCode)TC0000666010(PQKBWorkID)10647726(PQKB)10923831(DE-He213)978-3-642-27579-1(MiAaPQ)EBC3070113(PPN)159086965(EXLCZ)99340000000002575320120201d2012 u| 0engurnn#008mamaatxtccrComputer Aided Systems Theory -- EUROCAST 2011[electronic resource] 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part II /edited by Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia1st ed. 2012.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2012.1 online resource (637 p. 276 illus.)Theoretical Computer Science and General Issues,2512-2029 ;6928Bibliographic Level Mode of Issuance: Monograph3-642-27578-8 Includes bibliographical references and author index.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.Theoretical Computer Science and General Issues,2512-2029 ;6928Computer simulationArtificial intelligencePattern recognition systemsComputer visionImage processing—Digital techniquesComputer-aided engineeringComputer ModellingArtificial IntelligenceAutomated Pattern RecognitionComputer VisionComputer Imaging, Vision, Pattern Recognition and GraphicsComputer-Aided Engineering (CAD, CAE) and DesignComputer simulation.Artificial intelligence.Pattern recognition systems.Computer vision.Image processing—Digital techniques.Computer-aided engineering.Computer Modelling.Artificial Intelligence.Automated Pattern Recognition.Computer Vision.Computer Imaging, Vision, Pattern Recognition and Graphics.Computer-Aided Engineering (CAD, CAE) and Design.003.3Moreno Díaz Robertoedthttp://id.loc.gov/vocabulary/relators/edtPichler Franzedthttp://id.loc.gov/vocabulary/relators/edtQuesada Arencibia Alexisedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465904303316Computer Aided Systems Theory -- EUROCAST 20112831615UNISA