This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Symposium on Trends in Functional Programming, TFP 2010, held in Norman, OK, USA, in May 2010. The 1
This book constitutes the refereed proceedings of the 15th International Conference on Advances in Databases and Information Systems, ADBIS 2011, held in Vienna, Austria, in September 2011. The 30 rev
This book constitutes the refereed proceedings of the 5th Provable Security Conference held in in Xi'an, China, in October 2011. The 22 full papers presented together with 4 short papers and 2 invited
This book constitutes the refereed proceedings of the Second International Workshop on Machine Learning in Medical Imaging, MLMI 2011, held in conjunction with MICCAI 2011, in Toronto, Canada, in Sept
This book constitutes the refereed proceedings of the 8th IFIP International Conference on Network and Parallel Computing, NPC 2011, held in Changsha, China, in October 2011. The 28 papers presented w
This book constitutes the refereed proceedings of the Second International Conference on Computational Logistics, ICCL 2011, held in Hamburg, Germany, in September 2011. The 26 revised full papers pre
This book constitutes the refereed proceedings of the 8th International Conference on Computer Vision Systems, ICVS 2011, held in Sophia Antipolis, France, in September 2009. The 22 revised papers pre
This book constitutes the refereed proceedings of the International Workshop on Prostate Cancer Imaging, held in conjunction with MICCAI 2011, in Toronto, Canada, in September 2011. The 15 revised ful
This book constitutes the refereed proceedings of the 17th International Conference on Principles and Practice of Constraint Programming, CP 2011, held in Perugia, Italy, September 12-16, 2011. The 51
These Transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the Semantic Web, social networks
The two volume set LNCS 6938 and LNCS 6939 constitutes the refereed proceedings of the 7th International Symposium on Visual Computing, ISVC 2011, held in Las Vegas, NV, USA, in September 2011. The 68
The three-volume set LNCS 6891, 6892 and 6893 constitutes the refereed proceedings of the 14th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2011, held
The three-volume set LNCS 6891, 6892 and 6893 constitutes the refereed proceedings of the 14th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2011, held
This book constitutes the thoroughly refereed post-proceedings of the 7th International Symposium on Computer Music Modeling and Retrieval, CMMR 2010, held in Malaga, Spain, in June 2010. The 22 revis
This book constitutes the refereed proceedings of the 18th European MPI Users' Group Meeting on Recent Advances in the Message Passing Interface, EuroMPI 2011, held in Santorini, Greece, in September
This book constitutes the refereed proceedings of the 12th Algorithms and Data Structures Symposium, WADS 2011, held in New York, NY, USA, in August 2011. The Algorithms and Data Structures Symposium
This book constitutes the refereed proceedings of the 11th Industrial Conference on Data Mining, ICDM 2011, held in New York, USA in September 2011.The 22 revised full papers presented were carefully
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
The two-volume set LNCS 6974 and LNCS 6975 constitutes the refereed proceedings of the Fourth International Conference on Affective Computing and Intelligent Interaction, ACII 2011, held in Memphis,TN
The two-volume set LNCS 6974 and LNCS 6975 constitutes the refereed proceedings of the Fourth International Conference on Affective Computing and Intelligent Interaction, ACII 2011, held in Memphis,TN
This book constitutes the refereed proceedings of the 19th International Conference on Case-Based Reasoning, held in London, UK, in September 2011. The 32 contributions presented together with 3 invit
This book constitutes the revised selected papers of the 5th International Conference on Semantics and Digital Media Technologies, SAMT 2010, held in Saarbrucken, Germany, in December 2010. As a resul
This volume constitutes the refereed proceedings of the Second International Conference on Human Centered Design, HCD 2011, held as Part of HCI International 2011, in Orlando, FL, USA, in July 2011, j
This book constitutes the refereed proceedings of the 5th International Symposium on Rules, RuleML 2011 - Europe, held in Barcelona, Spain, in July 2011 - collocated with the 22nd International Joint
This book constitutes the refereed proceedings of the 8th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2011, held in Amsterdam, the Netherlands,
This book constitutes the refereed proceedings of the 10th International Conference on Ad-hoc, Mobile, and Wireless Networks, ADHOC-NOW 2011 held in Paderborn, Germany, July 18-20, 2011.The 23 revised
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 4th International Conference on Hybrid Learning, ICHL 2011, held in Hong Kong, China, in August 2011. The 32 contributions presented in this volum
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 volume constitutes the refereed proceedings of the 12th International Symposium on Spatial and Temporal Databases, SSTD 2011, held in Minneapolis, USA, in August 2011. The 24 revised full papers
This book constitutes the refereed proceedings of the Third International Workshop on Software Engineering for Resilient Systems, SERENE 2011, held in Geneva, Switzerland, in September 2011. The 13 re
Service-oriented computing is a paradigm for developing software addressing key contemporary IT challenges. The result of the SENSORIA project, this book presents a novel and comprehensive approach to
This book constitutes the refereed proceedings of the 13th International Conference on Data Warehousing and Knowledge Discovery, DaWak 2011 held in Toulouse, France in August/September 2011. The 37 re
The two-volume set LNCS 6773-6774 constitutes the refereed proceedings of the International Conference on Virtual and Mixed Reality 2011, held as Part of HCI International 2011, in Orlando, FL, USA, i
This book constitutes the thoroughly refereed proceedings of the Second International Conference on Information Technology in Bio- and Medical Informatics, ITBAM 2011, held in Toulouse, France, in Aug
The two-volume set LNCS 6769 + LNCS 6770 constitutes the proceedings of the First International Conference on Design, User Experience, and Usability, DUXU 2011, held in Orlando, FL, USA in July 2011 i
These Transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the Semantic Web, social networks
This four-volume set LNCS 6761-6764 constitutes the refereed proceedings of the 14th International Conference on Human-Computer Interaction, HCII 2011, held in Orlando, FL, USA in July 2011, jointly w
This book constitutes the throughly refereed post-proceedings of the 6th International Workshop on Systems Analysis and Modeling, SAM 2010, held in collocation with MODELS 2010 in Oslo, Norway in Octo
This book constitutes the refereed proceedings of the 5th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2011, held in Nancy, France, in June 2011. The 11 revised
