Page 1
Page 1
omputer science : Theory and applications ; 3rd International computer science symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings
This book constitutes the refereed proceedings of the Third International Computer Science Symposium in Russia, CSR 2008, held in Moscow, Russia, June 7-12, 2008.
New Frontiers in Applied Artificial Intelligence ; 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wrocław, Poland, June 18-20, 2008 Proceedings
The 75 revised full papers presented were carefully reviewed and selected from 302 submissions. The papers are organized in topical sections on computer vision, fuzzy system applications, robot and manufacturing, data mining and KDS, neural networks, machine learning, natural language processing, internet application and education, heuristic search, application systems, agent-based system, evolutionary and genetic algorithms, knowledge management, and other applications. The book concludes with 15 contributions from the following special sessions: knowledge driven manufacturing systems, joint session on adaptive networked systems and fuzzy knowledge bases, and software agents and multi-agent systems.
Neural Information Processing ; 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part II
The 228 revised full papers presented were carefully reviewed and selected from numerous ordinary paper submissions and 15 special organized sessions. The 116 papers of the first volume are organized in topical sections on computational neuroscience, learning and memory, neural network models ,supervised /unsupervised/reinforcement learning, statistical learning algorithms, optimization algorithms, novel algorithms, as well as motor control and vision. The second volume contains 112 contributions related to statistical and pattern recognition algorithms, neuromorphic hardware and implementations, robotics, data mining and knowledge discovery, real world applications, cognitive and hybrid intelligent systems, bioinformatics, neuroinformatics, brain-conputer interfaces, and novel approaches.
Neural Information Processing ; 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part I
The 228 revised full papers presented were carefully reviewed and selected from numerous ordinary paper submissions and 15 special organized sessions. The 116 papers of the first volume are organized in topical sections on computational neuroscience, learning and memory, neural network models, supervised/unsupervised/reinforcement learning, statistical learning algorithms, optimization algorithms, novel algorithms, as well as motor control and vision. The second volume contains 112 contributions related to statistical and pattern recognition algorithms, neuromorphic hardware and implementations, robotics, data mining and knowledge discovery, real world applications, cognitive and hybrid intelligent systems, bioinformatics, neuroinformatics, brain-conputer interfaces, and novel approaches.
Multiobjective Optimization : Interactive and Evolutionary Approaches
Multiobjective optimization deals with solving problems having not only one, but multiple, often conflicting, criteria. Such problems can arise in practically every field of science, engineering and business, and the need for efficient and reliable solution methods is increasing. The task is challenging due to the fact that, instead of a single optimal solution, multiobjective optimization results in a number of solutions with different trade-offs among criteria, also known as Pareto optimal or efficient solutions. Hence, a decision maker is needed to provide additional preference information and to identify the most satisfactory solution. Depending on the paradigm used, such information may be introduced before, during, or after the optimization process. Clearly, research and application in multiobjective optimization involve expertise in optimization as well as in decision support.
Modeling Decisions for Artificial Intelligence ; 5th International Conference, MDAI 2008 Sabadell, Spain, October 30-31, 2008. Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2008, held in Sabadell, Spain, in October 2008.The 19 revised full papers presented together with 2 invited lectures were thoroughly reviewed and selected from 43 submissions; they are devoted to theory and tools for modeling decisions, as well as applications that encompass decision making processes and information fusion techniques. The papers are organized in topical sections on aggregation operators, decision making, clustering and similarity, computational intelligence and optimization, as well as data privacy.
Model-Driven Development of Reliable Automotive Services ; 2nd Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the Second Automotive Software Workshop, ASWSD 2006, held in San Diego, CA, USA in March 2006.The 11 revised full papers presented were carefully reviewed and selected from 18 lectures held at the workshop, that brought together experts from industry and academia, working on highly complex, distributed, reactive software systems related to the automotive domain. The papers are organized in topical sections on modeling techniques and infrastructures, model transformations, quality assurance, real-time control, as well as services and components.
MICAI 2008 : Advances in Artificial Intelligence ;7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008 Proceedings
The 96 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 363 submissions. The papers are organized in topical sections on logic and reasoning, knowledge-based systems, knowledge representation and acquisition, ontologies, natural language processing, machine learning, pattern recognition, data mining, neural networks, genetic algorithms, hybrid intelligent systems, computer vision and image processing, robotics, planning and scheduling, uncertainty and probabilistic reasoning, fuzzy logic, intelligent tutoring systems, multi-agent systems and distributed ai, intelligent organizations, bioinformatics and medical applications, as well as applications.
Implementation and Applications of Automata ; 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings
This book constitutes the thoroughly refereed post-proceedings of the 13th International Conference on Implementation and Application of Automata, CIAA 2008, held in San Francisco, USA, in July 2008.The 26 revised full papers togehter with 4 invited papers were carefully reviewed and selected from 40 submissions and have gone through two rounds of reviewing and improvement. The papers cover various topics in the theory, implementation, and applications of automata and related structures.
Hypercomputation : Computing Beyond the Church-Turing Barrier
Hypercomputation is a relatively new theory of computation which treats computing methods and devices that transcend the Church-Turing thesis. This book will provide a thorough description of the field of hypercomputation, covering all attempts at devising conceptual hypermachines and all new promising computational paradigms that may eventually lead to the construction of a hypermachine.Readers will reach a deeper understanding of what computability is and why the Church-Turing thesis poses an arbitrary limit to what actually can be computed. Hypercomputing is quite a novel idea, and therefore the book is interesting to the reader in its own right.
Hybrid Systems : Computation and Control ; 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings
Contains the proceedings ofthe 11th Workshop on Hybrid Systems: Computation and Control (HSCC 2008) held in St. Louis, Missouriduring April 22–24,2008.The annual workshop on hybrid systems focuses on research inbedded ,reactive systems in volving theinterplay between symbolic/switchingand continuous dynamical behaviors. HSCC attracts academic as well as industrial researchers to exchange information on the latest developments of applications and theoretical advancements in the design, analysis, control, optimization, and implementation of hybrid systems, with particular attention to embedded and networked control systems. We would like to thank the Program Committee members and the reviewers for an excellent job of evaluating the submissions and participating in the online Program Committee discussions.
High performance computing - HiPC 2008 ; 15th International Conference, Bangalore, India, December 17-20, 2008. Proceedings
This book constitutes the refereed proceedings of the 15th International Conference on High-Performance Computing, HiPC 2008, held in Bangalore, India, in December 2008.The 46 revised full papers presented together with the abstracts of 5 keynote talks were carefully reviewed and selected from 317 submissions. The papers are organized in topical sections on applications performance optimizazion, parallel algorithms and applications, scheduling and resource management, sensor networks, energy-aware computing, distributed algorithms, communication networks as well as architecture.
Graph Transformations ; 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings
This book constitutes the refereed proceedings of the 4th International Conference on Graph Transformations, ICGT 2008, held in Leicester, UK, in September 2008.The 27 revised full papers presented together with 5 tutorial and workshop papers and 3 invited lectures were carefully selected from 57 submissions. All current aspects in graph drawing are addressed including hypergraphs and termgraph rewriting, applications of graph transformation, execution of graph transformations, compositional systems, validation and verification, graph languages and special transformation concepts, as well as patterns and model transformations.
Generative and transformational techniques in software engineering II : International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers
This tutorial book presents an augmented selection of the material presented at the International Summer School on Generative and Transformational Techniques in Software Engineering, GTTSE 2007, held in Braga, Portugal, in July 2007.The 7 tutorial lectures presented together with 5 short tutorials and 4 contributions to the participants workshop were carefully selected during multiple rounds of reviewing and improvement. The tutorials given by renowned representatives of complementary approaches and problem domains combine foundations, methods, examples, and tool support.
From Animals to Animats 10 ; 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, Osaka, Japan, July 7-12, 2008. Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, held in Osaka, Japan in July 2008.The 30 revised full papers and 21 revised poster papers presented were carefully reviewed and selected from 110 submissions. The papers are organized in topical sections on the animat approach to adaptive behaviour, evolution, navigation and internal world models, perception and control, learning and adaptation, cognition, emotion and behaviour, collective and social behaviours, adaptive behaviour in language and communication, and applied adaptive behaviour.
Foundations of software science and computation structures ; 11th International conference, FOSSACS 2008, Held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. proceedings
The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less than 26%, with each conference below 27%.Congratulations there foretoall the authorswhomadeittothe fnalprogramme! I hope that most of the other authors will still have found a way of participating in this exciting event, and that you will all continue submitting to ETAPS and contributing to make of it the best conference in the area. The events that comprise ETAPS address various aspects of the system velopment process, including specifcation, design, implementation, analysis and improvement
Formal Methods in Systems Biology ; 1st International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings
This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, FMSB 2008, held in Cambridge, UK, in June, 2008.The 9 revised full papers presented were carefully reviewed and selected from the workshop lectures that all were invited contributions. The purpose of this meeting was to identify techniques for the specification, development and verification of biological models. It also focused on the design of tools to execute and analyze biological models that can significantly advance our understanding of biological systems.
Evolvable systems : From biology to hardware ; 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings
This book constitutes the refereed proceedings of the 8th International Conference on Evolvable Systems, ICES 2008, held in Prague, Czech Republic, in September 2008.The 28 revised full papers and 14 revised poster papers presented were carefully reviewed and selected from 52 submissions. The papers are organized in topical sections on evolution of analog circuits, evolution of digital circuits, hardware-software codesign and platforms for adaptive systems, evolutionary robotics, development, real-world applications, evolutionary networking, evolvable artificial neural networks, and transistor-level circuit evolution.
Evolutionary computation, machine learning and data mining in bioinformatics ; 6th European Conference, EvoBIO 2008, Naples, Italy, March 26-28, 2008. Proceedings
The feld of bioinformatics has two main objectives: the creation and main- nance of biological databases, and the discovery of knowledge from life sciences data in order to unravel the mysteries of biological function, leading to new drugs and therapies for human disease. Life sciences data come in the form of biological sequences, structures, pathways, or literature. One major aspect of discovering biological knowledge is to search, predict, or model specifc infortioninagivendatasetinorderto generate new in teresting knowledge.Computer science methods such as evolutionary computation, machine learning, and data mining all have a great deal to ofer the feld of bioinformatics.
Evolutionary computation in combinatorial optimization ; 8th European Conference, EvoCOP 2008, Naples, Italy, March 26-28, 2008. Proceedings
Metaheuristics have been shown to be e?ective for di?cult combinatorial - timization problems appearing in various industrial, economical, and scientifc domains. Prominent examples of metaheuristics are evolutionary algorithms, tabu search, simulated annealing, scatter search, memetic algorithms, variable neighborhood search, iterated local search, greedy randomized adaptive search procedures, ant colony optimization and estimation of distribution algorithms. Problems solved successfully include scheduling, timetabling, network design, transportation and distribution, vehicle routing, the travelling salesman pr- lem, packing and cutting, satisfability and general mixed integer programming.
