This book constitutes the thoroughly refereed post-conferenceproceedings of the 22nd International Symposium on Implementation andApplications of Functional Languages, IFL 2010, held in Alphen aan denRijn, The Netherlands, in September 2010.
The two-volume set IFIP AICT 363 and 364 constitutes the refereed proceedings of the 12th International Conference on Engineering Applications of Neural Networks, EANN 2011, and the 7th IFIP WG 12.
The two-volume set IFIP AICT 363 and 364 constitutes the refereed proceedings of the 12th International Conference on Engineering Applications of Neural Networks, EANN 2011, and the 7th IFIP WG 12.
This three-volume proceedings contains revised selected papers from the Second International Conference on Artificial Intelligence and Computational Intelligence, AICI 2011, held in Taiyuan, China, in September 2011.
This three-volume proceedings contains revised selected papers from the Second International Conference on Artificial Intelligence and Computational Intelligence, AICI 2011, held in Taiyuan, China, in September 2011.
This three-volume proceedings contains revised selected papers from the Second International Conference on Artificial Intelligence and Computational Intelligence, AICI 2011, held in Taiyuan, China, in September 2011.
This book constitutes the refereed proceedings of the 19th Annual European Symposium on Algorithms, ESA 2011, held in Saarbrucken, Germany, in September 2011 in the context of the combined conference ALGO 2011.
The two-volume set LNCS 6852/6853 constitutes the refereed proceedings of the 17th International Euro-Par Conference held in Bordeaux, France, in August/September 2011.
The two-volume set LNCS 6852/6853 constitutes the refereed proceedings of the 17th International Euro-Par Conference held in Bordeaux, France, in August/September 2011.
This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011.
This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Languages, Methodologies, and Development Tools for Multi-Agent Systems, LADS 2010, held in Lyon, France, in August/September 2010, as part of MALLOW, a federation of workshops on Multi-Agent Logics, Languages, and Organizations.
This book constitutes the refereed proceedings of the 17th Annual International Conference on Computing and Combinatorics, held in Dallas, TX, USA, in August 2011.
This book constitutes the refereed proceedings of the 13th International Workshop of Descriptional Complexity of Formal Systems 2011, held in Limburg, Germany, in July 2011.
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on Optical SuperComputing, OSC 2010, held in Bertinoro, Italy, in November 2010.
This book constitutes the refereed proceedings of the 10th International Conference on Artificial Immune Systems, ICARIS 2011, held in Cambridge, UK, in July 2011.
This book constitutes the refereed proceedings of the 15th International Conference on Developments in Language Theory, DLT 2011, held in Milano, Italy, in July 2011.
This book constitutes the thoroughly reviewed post-proceedings of the 7th International Workshop on Argumentation in Multi-Agent Systems, ArgMas 2010, held in Toronto, Canada in May 2010 as a satellite workshop of AAMAS 2010.
This book constitutes the refereed proceedings of the 8th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2011, held in Berlin, Germany, in May 2011.
The two LNAI volumes 6678 and 6679 constitute the proceedings of the 6th International Conference on Hybrid Artificial Intelligent Systems, HAIS 2011, held in Wroclaw, Poland, in May 2011.
This volume constitutes the refereed proceedings of the 14th International Workshop on Combinatorial Image Analysis, IWCIA 2011, held in Madrid, Spain, in May 2011.
This book constitutes the proceedings of the 15th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2011, held in New York, USA in June 2011.
This book constitutes the refereed proceedings of the 14th European Conference on Genetic Programming, EuroGP 2011, held in Torino, Italy, in April 2011 co-located with the Evo* 2011 events.
This book constitutes the thoroughly refereed post-conferenceproceedings of the 13th Brazilian Symposium on Formal Methods, SBMF2010, held in Natal, Brazil, in November 2010.
This book constitutes the refereed proceedings of the 14th International Conference on Fundamental Approaches to Software Engineering, FASE 2011, held in Saarbrucken, Germany, March 26-April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software.
This book constitutes the refereed proceedings of the First International ICST Conference on Theory and Practice of Algorithms in (Computer) Systems, TAPAS 2011, held in Rome, Italy, in April 2011.
This book constitutes the refereed proceedings of the International Conference on Information Systems for Indian Languages, ICISIL 2011, held in Patiala, India, in March 2011.
This book constitutes the thoroughly refereed post workshop proceedings of the 8th International Workshop on Approximation and Online Algorithms, WAOA 2010, held in Liverpool, UK, in September 2010 as part of the ALGO 2010 conference event.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 4th Indian Conference on Logic and Its Applications, ICLA 2011, held in Delhi, India, in January 2011.
This LNCS volume contains the papers presented at the First Swarm, Evolutionary and Memetic Computing Conference (SEMCCO 2010) held during December 16-- 18, 2010 at SRM University, Chennai, in India.
This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Membrane Computing, CMC11, held in Jena, Germany, in August 2010 - continuing the fruitful tradition of 10 previous editions of the International Workshop on Membrane Computing (WMC).
Locally computable (NC0) functions are "e;simple"e; functions for which every bit of the output can be computed by reading a small number of bits of their input.
This book constitutes the proceedings of the 7th InternationalConference on Modeling Decisions for Artificial Intelligence, MDAI 2010,held in Perpignan, France, in October 2010.
The abundance of information and increase in computing power currently enable researchers to tackle highly complicated and challenging computational problems.
The information infrastructure - comprising computers, embedded devices, networks and software systems - is vital to operations in every sector: inf- mation technology, telecommunications, energy, banking and ?
The papers in this volume were presented at the 12th International Sym- sium on Stabilization, Safety, and Security of Distributed Systems (SSS), held September 20-22, 2010 at Columbia University, NYC, USA.
The IDEAL conference has become a unique, established and broad interdisciplinary forum for experts, researchers and practitioners in many fields to interact with each other and with leading academics and industries in the areas of machine learning, information processing, data mining, knowledge management, bio-informatics, neu- informatics, bio-inspired models, agents and distributed systems, and hybrid systems.
This volume contains the papers that were presented at the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), held September 8-10, 2010, at IST (Institute of Science and Technology) Austria, in Klosterneuburg, Austria.