This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/July 2009.
This book constitutes the thoroughly refereed post-conference proceedings of the International Conference on Computer Vision and Graphics, ICCVG 2008, held in Warsaw, Poland, in November 2008.
This book constitutes the refereed proceedings of the 21st International Conference on Scientific and Statistical Database Management, SSDBM 2009, held in New Orleans, LA, USA in June 2009.
The two-volume set LNCS 5601 and LNCS 5602 constitutes the refereed proceedings of the Third International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2009, held in Santiago de Compostela, Spain, in June 2009.
This book constitutes the thoroughly refereed post-conference proceedings of the Fifth International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics, CIBB 2008, held in Vietri sul Mare, Italy, in October 2008.
The 13th International Conference on Human-Computer Interaction, HCI Inter- tional 2009, was held in San Diego, California, USA, July 19-24, 2009, jointly with the Symposium on Human Interface (Japan) 2009, the 8th International Conference on Engineering Psychology and Cognitive Ergonomics, the 5th International Conference on Universal Access in Human-Computer Interaction, the Third International Conf- ence on Virtual and Mixed Reality, the Third International Conference on Internati- alization, Design and Global Development, the Third International Conference on Online Communities and Social Computing, the 5th International Conference on A- mented Cognition, the Second International Conference on Digital Human Modeling, and the First International Conference on Human Centered Design.
The 13th International Conference on Human-Computer Interaction, HCI Inter- tional 2009, was held in San Diego, California, USA, July 19-24, 2009, jointly with the Symposium on Human Interface (Japan) 2009, the 8th International Conference on Engineering Psychology and Cognitive Ergonomics, the 5th International Conference on Universal Access in Human-Computer Interaction, the Third International Conf- ence on Virtual and Mixed Reality, the Third International Conference on Internati- alization, Design and Global Development, the Third International Conference on Online Communities and Social Computing, the 5th International Conference on Augmented Cognition, the Second International Conference on Digital Human Mod- ing, and the First International Conference on Human Centered Design.
This book constitutes the refeered proceedings of the 21st International Conference on Information Processing in Medical Imaging, IPMI 2009, held in Williamsburg, VA, USA, in July 2009 The 26 revised full papers and 33 revised poster papers presented were carefully reviewed and selected from 150 submissions.
This book constitutes the refereed proceedings of the 9th International Conference on Web Engineering, ICWE 2009, held in San Sebastian, Spain in June 2009.
This book constitutes the refereed proceedings of the 30th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2009, held in Paris, France, in June 2009.
It is with greatpleasure that we present the proceedings of the 5th International Symposium on Visual Computing (ISVC 2009), which was held in Las Vegas, Nevada.
This book constitutes the refereed proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2009, held in Verona, Italy, July 1-3, 2009.
It is with greatpleasure that we present the proceedings of the 5th International Symposium on Visual Computing (ISVC 2009), which was held in Las Vegas, Nevada.
This book constitutes the proceedings of the Second International Conference on Cryptology in Africa, AFRICACRYPT 2009, held in Gammarth, Tunisia, on June 21-25, 2009.
The 4th International Conference on Hybrid Artificial Intelligence Systems (HAIS 2009), as the name suggests, attracted researchers who are involved in developing and applying symbolic and sub-symbolic techniques aimed at the construction of highly robust and reliable problem-solving techniques, and bringing the most relevant achievements in this field.
This book constitutes the refereed proceedings of the Third International Frontiers of Algorithmics Workshop, FAW 2009, held in Hefei, Anhui, China, in June 2009.
The two-volume set LNCS 5601 and LNCS 5602 constitutes the refereed proceedings of the Third International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2009, held in Santiago de Compostela, Spain, in June 2009.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 16h International Workshop on Logic, Language, Information and Computation, WoLLIC 2009, held in Tokyo, Japan, in June 2009.
This book constitutes the refereed proceedings of the 16th International Conference on Analytical and Stochastic Modeling Techniques and Applications, ASMTA 2009, held in Madrid, Spain, in June 2009 in conjunction with ECMS 2009, the 23nd European Conference on Modeling and Simulation.
This book constitutes the refereed proceedings of the 18th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-18, held in Tarragona, Spain, in June 2009.
This volume constitutes the refereed proceedings of the 4th Iberian Conference on Pattern Recognition and Image Analysis, IbPRIA 2009, held in Povoa de Varzim, Portugal in June 2009.
The book constitutes the refereed proceedings of the Fifth International Conference on Distributed Computing in Sensor Systems, DCOSS 2009, held in Marina del Rey, CA, USA, in June 2009.
This book contains the final reports of the workshops held during the 22nd European Conference on Object-Oriented Programming, ECOOP 2008, in Paphos, Cyprus, in July 2008.