The four-volume set LNCS 6765-6768 constitutes the refereed proceedings of the 6th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2011, held as Part of HCI International 2011, in Orlando, FL, USA, in July 2011, jointly with 10 other conferences addressing the latest research and development efforts and highlighting the human aspects of design and use of computing systems.
The four-volume set LNCS 6765-6768 constitutes the refereed proceedings of the 6th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2011, held as Part of HCI International 2011, in Orlando, FL, USA, in July 2011, jointly with 10 other conferences addressing the latest research and development efforts and highlighting the human aspects of design and use of computing systems.
The four-volume set LNCS 6765-6768 constitutes the refereed proceedings of the 6th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2011, held as Part of HCI International 2011, in Orlando, FL, USA, in July 2011, jointly with 10 other conferences addressing the latest research and development efforts and highlighting the human aspects of design and use of computing systems.
This book constitutes the refereed proceedings of the 23rd International Conference on Advanced Information Systems Engineering, CAiSE 2011, held in London, UK, in June 2011.
This book constitutes the refereed proceedings of the Second International Conference on Autonomous and Intelligent Systems, AIS 2011, held in Burnaby, BC, Canada, in June 2011, colocated with the International Conference on Image Analysis and Recognition, IACIAR 2011.
Dependability analysis is the recent approach to performance evaluation of contemporary systems which tries to cope with new challenges that are brought with their unprecedented complexity, size and diversity.
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.
This book constitutes the thoroughly reviewed joint postprocessings of two international workshops on Coordination, Organization, Institutions and Norms in Agent Systems, COIN@AAMAS 2010, held in Toronto, Canada in May 2010 and COIN@MALLOW 2010, held in Lyon, France in August 2010.
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 two-volume set (CCIS 150 and CCIS 151) constitutes the refereed proceedings of the Second International Conference on Ubiquitous Computing and Multimedia Applications, UCMA 2011, held in Daejeon, Korea, in April 2011.
This book constitutes the refereed proceedings of the 4th Language and Technology Conference: Challenges for Computer Science and Linguistics, LTC 2009, held in Poznan, Poland, in November 2009.
ISAmI is the International Symposium on Ambient Intelligence, and aims to bring together researchers from various disciplines that are interested in all aspects of Ambient Intelligence.
The International Symposium on Distributed Computing and Artificial Intelligence 2011 (DCAI 2011) is a stimulating and productive forum where the scientific community can work towards future cooperation on Distributed Computing and Artificial Intelligence areas.
PAAMS, the International Conference on Practical Applications of Agents and Multi-Agent Systems is an evolution of the International Workshop on Practical Applications of Agents and Multi-Agent Systems.
This book constitutes the refereed proceedings of the 6th International Conference on Evolutionary Multi-Criterion Optimization, EMO 2011, held in Ouro Preto, Brazil, in April 2011.
PAAMS, the International Conference on Practical Applications of Agents and Multi-Agent Systems is the international yearly tribune to present, to discuss, and to disseminate the latest developments and the most important outcomes related to real-world applications.
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 thoroughly refereed post-conferenceproceedings of the 18th International Conference on Applications ofDeclarative Programming and Knowledge Management, INAP 2009, held inEvora, Portugal, in November 2009.
This book constitutes the refereed proceedings of the SecondInternational Conference on Advances in Power Electronics andInstrumentation Engineering, PEIE 2011, held at Nagpur, India, in April2011.
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.
The design of most modern engineering systems entails the consideration of a good trade-off between the several targets requirements to be satisfied along the system life such as high reliability, low redundancy and low operational costs.
This two-volume set (CCIS 150 and CCIS 151) constitutes the refereed proceedings of the Second International Conference on Ubiquitous Computing and Multimedia Applications, UCMA 2011, held in Daejeon, Korea, in April 2011.
PAAMS, the International Conference on Practical Applications of Agents and Multi-Agent Systems is an evolution of the International Workshop on Practical Applications of Agents and Multi-Agent Systems.
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.
The contributions appearing in this volume are a snapshot of the different topics that were discussed during the Second Conference "e;Mathematics and Image Processing"e; held at the University of Orleans in 2010.
This book constitutes the refereed proceedings of the 8th European Conference on Wireless Sensor Networks, EWSN 2011, held in Bonn, Germany, in February 2011.
This book constitutes the refereed proceedings of the 5th InternationalWorkshop on Self-Organizing Systems, IWSOS 2011, held in Karlsruhe,Germany, in February 2011.
This book constitutes the thoroughly refereed post-conferenceproceedings of the First International Joint Conference on KnowledgeDiscovery, Knowledge Engineering, and Knowledge Management, IC3K 2009,held in Funchal, Madeira, Portugal, in October 2009.
This book constitutes the refereed proceedings of the 5th InternationalConference on Information Systems, Technology and Management, ICISTM2011, held in Gurgaon, India, in March 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 postproceedings of the First International Conference on Energy-Efficient Computing and Networking, E-Energy, held in Passau, Germany in April 2010.
This book constitutes the thoroughly refereed post-conferenceproceedings of the Third International Joint Conference on BiomedicalEngineering Systems and Technologies, BIOSTEC 2010, held in Valencia,Spain, in January 2010.
This book constitutes the thoroughly refereed post-workshop proceedings of the International Workshop on Medical Computer Vision, MCV 2010, held in Beijing, China, in September 2010 as a satellite event of the 13th International Conference on Medical Image Computing and Computer Assisted Intervention, MICCAI 2010.
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.
Ad hoc networks, which include a variety of autonomous networks for specific purposes, promise a broad range of civilian, commercial, and military applications.
The two-volume set LNCS 6496 and 6497 constitutes the refereed proceedings of the 9th International Semantic Web Conference, ISWC 2010, held in Shanghai, China, during November 7-11, 2010.
The two-volume set LNCS 6496 and 6497 constitutes the refereed proceedings of the 9th International Semantic Web Conference, ISWC 2010, held in Shanghai, China, during November 7-11, 2010.
Welcome to the Proceedings of the 2010 International Conference on Advanced Software Engineering and Its Applications (ASEA 2010) - one of the partnering events of the Second International Mega-Conference on Future Generation Information Technology (FGIT 2010).
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).
Welcome to the proceedings of the 2010 International Conferences on Signal Proce- ing, Image Processing and Pattern Recognition (SIP 2010), and Multimedia, C- puter Graphics and Broadcasting (MulGraB 2010) - two of the partnering events of the Second International Mega-Conference on Future Generation Information Te- nology (FGIT 2010).
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.