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 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 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 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
Research has deeply investigated several issues related to the use of integrity constraints on relational databases. In particular, a great deal of attention has been devoted to the problem of extract
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 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 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
This book constitutes the proceedings of the 9th IFIP TC 6 International Conference on Wired/Wireless Internet Communications, WWIC 2011, held in Vilanova i la Geltru, Spain, in June 2011. The 26 cont
This book presents a comprehensive documentation of the scientific outcome of 14 satellite events held at the 13th International Conference on Model-Driven Engineering, Languages and Systems, MODELS 2
This book constitutes the refereed proceedings of the 16th Scandinavian Conference on Image Analysis, SCIA 2011, held in Ystad, Sweden, in May 2011. The 74 revised full papers presented were carefully
This book constitutes the refereed proceedings of the Third International Workshop on Ambient Assisted Living, IWAAL 2011, held in Torremolinos-Malaga, Spain, in June 2011 as a satellite event of IWAN
The two-volume set LNCS 6753/6754 constitutes the refereed proceedings of the 8th International Conference on Image and Recognition, ICIAR 2011, held in Burnaby, Canada, in June 2011. The 84 revised f
This book constitutes the refereed proceedings of the 4th International Conference on Pattern Recognition and Machine Intelligence, PReMI 2011, held in Moscow, Russia in June/July 2011. The 65 revised
This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Computational Forensics, IWCF 2010, held in Tokyo, Japan in November 2010. The 16 revised full paper
This book constitutes the refereed proceedings of the 8th International Workshop on Self-Organizing Maps, WSOM 2011, held in Espoo, Finland, in June 2011. The 36 revised full papers presented were car
This book constitutes the refereed proceedings of the International RuleML Symposium on Rule Interchange and Applications, RuleML 2010, held in Washington, DC, USA, in October 2010 - collocated with t
The two volumes, LNCS 6686 resp. LNCS 6687, constitute the refereed proceedings of the 4th International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2011, held
