This book constitutes the refereed proceedings of the 9th International Conference on Persuasive Technology, PERSUASIVE 2014, held in Padua, Italy, in May 2014. The 27 revised full papers and 12 revis
The four-volume set LNCS 8513-8516 constitutes the refereed proceedings of the 8th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2014, held as part of the 16th Inte
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Energy Efficient Data Centers, E2DC 2013, held in Berkeley, CA, USA, in May 2013; co-l
The 3-volume set LNCS 8510, 8511 and 8512 constitutes the refereed proceedings of the 16th International Conference on Human-Computer Interaction, HCII 2014, held in Heraklion, Crete, Greece in June 2
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Camera-Based Document Analysis and Recognition, CBDAR 2013, held in Washington, DC, USA, in
The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough set theory and its a
This, the 12th issue of Transactions on Large-Scale Data and Knowledge-Centered Systems, contains five revised selected regular papers. Topics covered include schema matching and schema mapping, updat
This book constitutes the thoroughly refereed conference proceedings of the Second International Conference on Big Data Analytics, BDA 2013, held in Mysore, India, in December 2013. The 13 revised ful
This book constitutes the refereed proceedings of the 5th International Workshop CCAA 2013, held in conjunction with MICCAI 2013, in Nagoya, Japan, in September 2013. The book includes 32 papers which
This book constitutes the refereed proceedings of the 12th International Conference on Entertainment Computing, ICEC 2013, held in Sao Paulo, Brazil, in October 2013. The 13 full papers, 6 short paper
This book constitutes the refereed proceedings of the 12th International Conference on Web-Based Learning, ICWL 2013, held in Kenting, Taiwan, in October 2013. The 34 revised full papers presented wer
This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Digital-Forensics and Watermarking, IWDW 2012, held in Shanghai, China, during October/November 201
This book constitutes the refereed proceedings of the 19th International Symposium on Fundamentals of Computation Theory, FCT 2013, held in Liverpool, UK, in August 2013. The 29 papers (26 full papers
This book contains revised selected papers from the Second International Conference on Information Technologies for Performing Arts, Media Access and Entertainment, ECLAP 2013, held in Porto, Portugal
This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented
This book constitutes the refereed proceedings of the 11th International Conference on Smart Homes and Health Telematics, ICOST 2013, held in Singapore, in June 2013. The 22 revised full papers presen
This book constitutes the thoroughly refereed conference proceedings of the 4th International Conference on E-Voting and Identity, Vote ID 2013, held in Guildford, UK, during July 17-19, 2013. The 12
This book constitutes the thoroughly refereed post-conference proceedings of the 29th British National Conference on Databases, BNCOD 2013, held in Oxford, UK, in July 2013. The 20 revised full papers
This book constitutes the refereed proceedings of the Second International Conference on Health Information Science, HIS 2013, held in London, UK, in March 2013.The 20 full papers presented together w
This Festschrift published in honor of Vladimir Lifschitz on the occasion of his 65th birthday presents 39 articles by colleagues from all over the world with whom Vladimir Lifschitz had cooperation i
This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Software Language Engineering, SLE 2011, held in Braga, Portugal, in July 2011. The 18 papers pres
The LNCS journal Transactions on Computational Collective Intelligence (TCCI) focuses on all facets of computational collective intelligence (CCI) and their applications in a wide range of fields such
This book constitutes the refereed proceedings of the 16th European Symposium on Computer Security, ESORICS 2011, held in Leuven, Belgium, in September 2011. The 36 papers included in the book were ca
This book constitutes the refereed proceedings of the International RuleML Symposium, RuleML 2011-America, held in Fort Lauderdale, FL, USA, in November 2011 - collocated with the 22nd International J
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Critical Information Infrastructure Security, CRITIS 2010, held in Athens, Greece in September 2010.
This book constitutes the refereed proceedings of the 31st Annual International Cryptology Conference, CRYPTO 2011, held in Santa Barbara, CA, USA in August 2011. The 42 revised full papers presented
This book constitutes the refereed proceedings of the 15th Annual International Conference on Research in Computational Molecular Biology, RECOMB 2011, held in Vancouver, Canada, in March 2011. The 43
This book constiutes the proceedings of the 12th International Conference on Computers Helping People with Special Needs, held in Vienna, Austria, in July 2010.
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the
Evolutionary Computation (EC) techniques are e?cient, nature-inspired me- ods based on the principles of natural evolution and genetics. Due to their - ciency and simple underlying principles, these m
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Membrane Computing, WMC 2009, held in Curtea de Arges, Romania, during August 24 to 27, 20
This book presents the refereed proceedings of FM 2009, the 16th International Symposium on Formal Methods, held as the Second World Congress on Formal Methods in Eindhoven, The Netherlands, in Novemb
This book constitutes the refereed proceedings of the Second International Symposium on Algorithmic Game Theory, SAGT 2009, held in Paphos, Cyprus, in October 2009.The 29 revised full papes presented
This volume contains the proceedings of the Second International Workshop on Mobile Entity Localization and Tracking in GPS-less Environments (MELT 2009), held in Orlando, Florida on September 30, 200
A state-of-the-art survey that reports on the progress made in selected areas of this important and growing field, aiding the analysis of existing networks and the design of new and more efficient alg
This book constitutes the proceedings of the SPEC Benchmark Workshop 2009 held in Austin, Texas, USA on January 25th, 2009.The 9 papers presented were carefully selected and reviewed for inclusion in
This book constitutes the refereed proceedings of the First International Symposium on Engineering Secure Software and Systems, ESSoS 2009, held in Leuven, Belgium, in February 2009.The 10 revised ful
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
This book constitutes the refereed post-conference proceedings of the 14th International Workshop on Groupware: Design, Implementation, and Use, held in Omaha, Nebraska, USA, during September 14-18, 2
This book constitutes the refereed proceedings of the Third Pacific Rim Symposium on Image and Video Technology, PSIVT 2009, held in Tokyo, Japan, in January 2009.The 39 revised full papers and 57 pos