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 evaluation of a logical formula can be viewed as a game played by two opponents, one trying to show that the formula is true and the other trying to prove it is false. This correspondence has been
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
In the last one hundred years, a number of catastrophic events associated with rockslide dam formation and failure have occurred in the mountain regions of the world. This book presents a global view
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 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
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
This book constitutes the thoroughly referred post-proceedings of the 21st International Workshop on Combinatorial Algorithms, IWOCA 2010, held in London, UK, in July 2010. The 31 revised full papers
This book constitutes the joint refereed proceedings of the Third International Workshop on Communication Technologies for Vehicles, Nets4Cars 2011and the First International Workshop on Communication
This exhaustive survey is the result of a four year effort by many leading researchers in the field to produce both a readable introduction and a yardstick for the many upcoming experiments using heav
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. Part I cont
This book constitutes the refereed proceedings of the 9th International Conference on Web-Based Learning, ICWL 2010, held in Shanghai, China, in December 2010. The 36 revised full papers and 8 short p
This book constitutes the refereed proceedings of the 14th International Conference on Principles of Distributed Systems, OPODIS 2010, held in Tozeur, Tunisia, in December 2010.The 32 full papers and
This book constitutes the proceedings of the 11th International Conference on Web Information Systems Engineering, WISE 2010, held in Hong Kong, China, in December 2010. The 32 revised full papers and
From the point of view of geological structure and evolution, Morocco is uniquely fascinating. This heavily-illustrated book presents new information gleaned from the vast amount of research conducted
This book constitutes the refereed proceedings of the 12th International Workshop on Cryptographic Hardware and Embedded Systems, CHES 2010, held in Santa Barbara, USA during August 17-20, 2010.This y
The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer s
This volume describes novel and state-of-the-art approaches to solvingproblems arising in the domain of embedded real-time systems. It isbased on the GI-Dagstuhl research seminar MBEERTS (Modelling-Ba
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
This book constitutes the refereed proceedings of the First International Workshop on Human Behavior Understanding, HBU 2010, a satellite workshop of the International Conference on Pattern Recogniti
This volume constitutes the refereed proceedings of the 11th International Conference on Simulation and Adaptive Behavior, SAB 2010, held in Paris and Clos Luce, France, in August 2010.The articles co
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
This book constitutes the refereed proceedings of the 23rd Conference on Artificial Intelligence, Canadian AI 2010, held in Ottawa, Canada, in May/June 2010. The 22 revised full papers presented toget
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
This book contains thoroughly refereed extended papers from the Second International Workshop on Knowledge Discovery from Sensor Data, Sensor-KDD 2008, held in Las Vegas, NV, USA, in August 2008. The
The 18th InternationalConference on User Modeling, Adaptation and Person- ization(UMAP 2010)took placeon BigIsland, HawaiiduringJune 20–24,2010. It was the second conference after UMAP 2009 in Trento,
This volume constitutes the refereed proceedings of the 6th International Symposium on Bioinformatics Research and Applications, ISBRA 2010, held in Storrs, CT, USA, in May 2010.The 20 revised full pa
This volume constitutes the refereed proceedings of the International Symposium "Computational Modeling of Objects Represented in Images. Fundamentals, Methods and Applications'', CompIMAGE 2010, held
This book constitutes the refereed proceedings of the 13th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2010, held in Paphos, Cyprus, in March 2010
This book constitutes the proceedings of the 6th International Symposium on Reconfigurable Computing: Architectures, Tools and Applications, ARC 2010, held in Bangkok Thailand, in March 2010. The 42 p
The 2010 Asian Conference on Intelligent Information and Database Systems (ACIIDS) was the second event of the series of international scientific conferences for research and applications in the field
This two volume set LNCS 5981 and LNCS 5982 constitutes the refereed proceedings of the 15th International Conference on Database Systems for Advanced Applications, DASFAA 2010, held in Tsukuba, Japan
Welcome to the proceedings of the 19th International Workshop on Power and TimingModeling,OptimizationandSimulation,PATMOS2009.Overtheyears, PATMOShasevolvedintoanimportantEuropeanevent,whereresearche
This book constitutes the proceedings of the KR4HC 2009 workshop held at AIME 2009 in Verona, Italy, in July 2009. It is the result of merging two workshops series, namely one on computerized guidelin
This Festschrift volume, published in honor of Egon Borger, contains 14 papers from a Dagstuhl Seminar, which was organized as a "Festkolloquium" on the occasion of his 60th birthday in May 2006. Focu
This book constitutes the refereed best selected papers of the 4th International Workshop on Parameterized and Exact Computation, IWPEC 2009, held in Copenhagen, Denmark, in September 2009.The 25 revi
A large international conference on Advances in Machine Learning and Data Analysis was held in UC Berkeley, California, USA, October 22-24, 2008, under the auspices of the World Congress on Engineerin
