This book constitutes the refereed proceedings of the 38th Conference on Current Trends in Theory and Practice of computer Science, SOFSEM 2012, held in Špindlerův Mlýn, Czech Republic, in January 2012. The 43 re...
详细信息
ISBN:
(数字)9783642276606
ISBN:
(纸本)9783642276590
This book constitutes the refereed proceedings of the 38th Conference on Current Trends in Theory and Practice of computer Science, SOFSEM 2012, held in Špindlerův Mlýn, Czech Republic, in January 2012.
The 43 revised papers presented in this volume were carefully reviewed and selected from 121 submissions. The book also contains 11 invited talks, 10 of which are in full-paper length. The contributions are organized in topical sections named: foundations of computer science; software and Web engineering; cryptography, security, and verification; and artificial intelligence.
Since 1994 the European Commission has been supporting activities under the Environment and Climate programme of research and technological de velopment, with the aim of developing cost-effective applications of...
详细信息
ISBN:
(数字)9783642590412
ISBN:
(纸本)9783540633167;9783642638282
Since 1994 the European Commission has been supporting activities under the Environment and Climate programme of research and technological de velopment, with the aim of developing cost-effective applications of satellite Earth observation (EO) for both environmental monitoring and research. This action has included support to methodological research, aimed at the development and evaluation of new techniques forming part ofthe chain of processing needed to transform data into useful information. Wherever appropriate, the Commission has emphasised the coordination of ongoing research funded at the national level, through the mechanism of concerted actions. Concerted actions are flexible and efficient means to marshal efforts at the European level for a certain period. They are proposed by groups of researchers active in a given field who have identified the added value to be gained by European cooperation, whilst continuing to pursue their own individual projects. In view of the rapid developments in the field of neural network over the last 10 years, together with the growing interest ofthe Earth observation community in this approach as a tool for data interpretation, the Commission decided in 1995 to support the concerted action COMPARES, following a proposal from a group of acknowledged European experts.
This book constitutes the refereed proceedings of the International Conference on the Applications of Evolutionary Computation, EvoApplications 2012, held in Málaga, Spain, in April 2012, colocated with the Evo* ...
详细信息
ISBN:
(数字)9783642291784
ISBN:
(纸本)9783642291777
This book constitutes the refereed proceedings of the International Conference on the Applications of Evolutionary Computation, EvoApplications 2012, held in Málaga, Spain, in April 2012, colocated with the Evo* 2012 events EuroGP, EvoCOP, EvoBIO, and EvoMUSART. The 54 revised full papers presented were carefully reviewed and selected from 90 submissions. EvoApplications 2012 consisted of the following 11 tracks: EvoCOMNET (nature-inspired techniques for telecommunication networks and other parrallel and distributed systems), EvoCOMPLEX (algorithms and complex systems), EvoFIN (evolutionary and natural computation in finance and economics), EvoGAMES (bio-inspired algorithms in games), EvoHOT (bio-inspired heuristics for design automation), EvoIASP (evolutionary computation in image analysis and signal processing), EvoNUM (bio-inspired algorithms for continuous parameter optimization), EvoPAR (parallel implementation of evolutionary algorithms), EvoRISK (computational intelligence for risk management, security and defense applications), EvoSTIM (nature-inspired techniques in scheduling, planning, and timetabling), and EvoSTOC (evolutionary algorithms in stochastic and dynamic environments).
This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during O...
详细信息
ISBN:
(数字)9783642347818
ISBN:
(纸本)9783642347801
This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during October 17-18 in Vienna, Austria, under the auspices of the International Symposium Series on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA. The topics covered by the papers of the SARS and the MLSC workshop demonstrate the breadth and the richness of the respective fields of the two workshops stretching from robot programming to languages and compilation techniques, to real-time and fault tolerance, to dependability, software architectures, computer vision, cognitive robotics, multi-robot-coordination, and simulation to bio-inspired algorithms, and from machine learning for anomaly detection, to model construction in software product lines to classification of web service interfaces. In addition the SARS workshop hosted a special session on the recently launched KOROS project on collaborating robot systems that is borne by a consortium of researchers of the faculties of architecture and planning, computer science, electrical engineering and information technology, and mechanical and industrial engineering at the Vienna University of Technology. The four papers devoted to this session highlight important research directions pursued in this interdisciplinary research project.
This book constitutes the refereed proceedings of the Fourth International Conference on High Performance Embedded architectures and Compilers, HiPEAC 2009, held in Paphos, Cyprus, in January 2009. The 27 revised ful...
详细信息
ISBN:
(数字)9783540929901
ISBN:
(纸本)9783540929895
This book constitutes the refereed proceedings of the Fourth International Conference on High Performance Embedded architectures and Compilers, HiPEAC 2009, held in Paphos, Cyprus, in January 2009. The 27 revised full papers presented together with 2 invited keynote paper were carefully reviewed and selected from 97 submissions. The papers are organized in topical sections on dynamic translation and optimisation, low level scheduling, parallelism and resource control, communication, mapping for CMPs, power, cache issues as well as parallel embedded applications.
暂无评论