This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Web Services and Formal Methods, WS-FM 2011, held in Clermont-Ferrand, France, in September 2011.
The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines.
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on Computational and Clinical Applications in Abdominal Imaging, held in conjunction with MICCAI 2011, in Toronto, Canada, on September 18, 2011.
This two volume set LNCS 7446 and LNCS 7447 constitutes the refereed proceedings of the 23rd International Conference on Database and Expert Systems Applications, DEXA 2012, held in Vienna, Austria, September 3-6, 2012.
This two volume set LNCS 7446 and LNCS 7447 constitutes the refereed proceedings of the 23rd International Conference on Database and Expert Systems Applications, DEXA 2012, held in Vienna, Austria, September 3-6, 2012.
This book constitutes the thoroughly refereed post-workshop-proceedings of the 4th International Workshop on Camera-Based Document Analysis and Recognition, CBDAR 2011, held in Beijing, China, in September 2011.
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.
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Conference, eHealth 2011, held in Malaga, Spain, in November 2011.
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Mobile Computing, Applications, and Services (MobiCASE 2010) held in Santa Clara, CA, USA, during October 25-28, 2010.
The three-volume set LNAI 7196, LNAI 7197 and LNAI 7198 constitutes the refereed proceedings of the 4th Asian Conference on Intelligent Information and Database Systems, ACIIDS 2012, held in Kaohsiung, Taiwan in March 2012.
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Challegenges, STACOM 2011, held in conjunction with MICCAI 2011, in Toronto, Canada, in September 2011.
Bringing together key researchers in disciplines ranging from visualization and image processing to applications in structural mechanics, fluid dynamics, elastography, and numerical mathematics, the workshop that generated this edited volume was the third in the successful Dagstuhl series.
This book constitutes the thoroughly refereed proceedings of the 7th Italian Research Conference on Digital Libraries held in Pisa, Italy, in January 2011.
This book constitutes the proceedings of the International Conference on Research and Education in Robotics held in Rapperswil-Jona, Switzerland, in May 2010.
This book constitutes the refereed proceedings of the 11th International Conference on Intelligent Tutoring Systems, ITS 2012, held in Chania, Crete, Greece, in June 2012.
This book constitutes the refereed proceedings of the 17th International Conference on Applications of Natural Language to Information Systems, held in Groningen, The Netherlands, in June 2012.
This book constitutes the thoroughly refereed post-workshop proceedings of 5 workshops, held at the 10th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2011, in Taipei, Taiwan, May 2-6, 2011.
This book contains the thoroughly refereed and revised best papers from the 7th International Conference on Web Information Systems and Technologies, WEBIST 2011, held in Nordwijkerhout, The Netherlands, in May 2011, organized by the Institute for Systems and Technologies of Information, Control and Communication (INSTICC), in collaboration with ACM SIGMIS and co-sponsored by the Workflow Management Coalition (WFMC).
This book constitutes the carefully refereed post-conference proceedings of two International Workshops: Self-Managing Solutions for Smart Environments, S3E 2011; and the workshop on Health and Well-being Technologies and Services for Elderly, HWTS 2011; as well as a Doctoral Colloquium, held in conjunction with, GPC 2011, in Oulu, Finland, in May 2011.
This volume constitutes the refereed proceedings of the 19th International Symposium on Graph Drawing, GD 2010, held in Eindhoven, The Netherlands, during September 2011.
This book constitutes the revised selected papers from the First International Workshop on Multimedia for Cultural Heritage, MM4CH 2011, held in Modena, Italy, on May 3, 2011.
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2010, held in Kolkata, India, in November 2010.
This book constitutes the refereed proceedings of the 10th International Conference on Web-Based Learning, ICWL 2011, held in Hong Kong, China, in December 2011.
This book constitutes the refereed proceedings of the Third International Conference on Social Robotics, ICSR 2011, held in Amsterdam, The Netherlands, in November 2011.
This book constitutes the thoroughly refereed post-conference proceedings of the International Workshop on Computational Challenges and Clinical Opportunities in Virtual Colonoscopy and Abdominal Imaging, held in conjunction with MICCAI 2010, in Beijing, China, on September 20, 2010.
The two-volume set LNCS 7066 and LNCS 7067 constitutes the proceedings of the Second International Visual Informatics Conference, IVIC 2011, held in Selangor, Malaysia, during November 9-11, 2011.
The two-volume set LNCS 7066 and LNCS 7067 constitutes the proceedings of the Second International Visual Informatics Conference, IVIC 2011, held in Selangor, Malaysia, during November 9-11, 2011.
This book constitutes the proceedings of the 5th International Conference on Nonlinear Speech Processing, NoLISP 2011, held in Las Palmas de Gran Canaria, Spain, in November 2011.
This book constitutes the refereed proceedings of the Second International Joint Conference on Ambient Intelligence, AmI 2011, held in Amsterdam, The Netherlands, in November 2011.
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, USA, in October 2011.
The three-volume set LNCS 6838, LNAI 6839, and LNBI 6840 constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Intelligent Computing, ICIC 2011, held in Zhengzhou, China, in August 2011.
This book constitutes the proceedings of the 14th International Conference on Principles and Practice in Multi-Agent Systems, PRIMA 2011, held in Wollongong, Australia, in November 2011.
This book constitutes the refereed proceedings of the 30th International Conference on Conceptual Modeling, ER 2011, held in Brussels, Belgium, in October/November 2011.
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, USA, in October 2011.
This book constitutes the refereed proceedings of the 10th International Conference on Entertainment Computing, ICEC 2011, held in Vancouver, Canada, in October 2011, under the auspices of IFIP.
This book constitutes the refereed proceedings of the 34th Annual German Conference on Artificial Intelligence, KI 2011, held in Berlin, Germany, in October 2011.
This book constitutes the proceedings of the 12th International Conference on Web Information Systems Engineering, WISE 2011, held in Sydney, Australia, in October 2011.
This three-volume-set (CCIS 219, CCIS 220, and CCIS 221) constitutes the refereed proceedings of the International Conference on ENTERprise Information Systems, CENTERIS 2011, held in Vilamoura, Portugal, in September 2011.
This three-volume-set (CCIS 219, CCIS 220, and CCIS 221) constitutes the refereed proceedings of the International Conference on ENTERprise Information Systems, CENTERIS 2011, held in Vilamoura, Portugal, in September 2011.
The three-volume set LNAI 7196, LNAI 7197 and LNAI 7198 constitutes the refereed proceedings of the 4th Asian Conference on Intelligent Information and Database Systems, ACIIDS 2012, held in Kaohsiung, Taiwan in March 2012.
This three-volume-set (CCIS 219, CCIS 220, and CCIS 221) constitutes the refereed proceedings of the International Conference on ENTERprise Information Systems, CENTERIS 2011, held in Vilamoura, Portugal, in September 2011.
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Intelligent Computing, ICIC 2011, held in Zhengzhou, China, in August 2011.
This book constitutes selected papers from the lectures given at the workshops held in conjunction with the User Modeling, Adaptation and Personalization Conference, UMAP 2011, Girona, Spain, in July 2011.
The three-volume set LNAI 7196, LNAI 7197 and LNAI 7198 constitutes the refereed proceedings of the 4th Asian Conference on Intelligent Information and Database Systems, ACIIDS 2012, held in Kaohsiung, Taiwan in March 2012.
The two-volume set LNAI 6922 and LNAI 6923 constitutes the refereed proceedings of the Third International Conference on Computational Collective Intelligence, ICCCI 2011, held in Gdynia, Poland, in September 2011.
This book constitutes the refereed proceedings of the 6th European Conference on Technology Enhanced Learning, EC-TEL 2011, held in Palermo, Italy, in September 2010.
This book constitutes the refereed proceedings of the 11th International Conference on Intelligent Virtual Agents, IVA 2011, held in Reykjavik, Island, in September 2011.