The two-volume proceedings of the ACIIDS 2016 conference, LNAI 9621 + 9622,constitutes the refereed proceedings of the 8th Asian Conference on IntelligentInformation and Database Systems, held in Da Nang, Vietnam, in March 2016.
This book constitutes the proceedings of the 24th European Symposium on Programming, ESOP 2015, which took place in London, UK, in April 2015, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015.
The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014.
The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014.
The integrated and advanced science research topic man-machine-environment system engineering (MMESE) was first established in China by Professor Shengzhao Long in 1981, with direct support from one of the greatest modern Chinese scientists, Xuesen Qian.
This book constitutes the refereed proceedings of the 4th International Symposium on Information Management in a Changing World, IMCW 2013, held in Limerick, Ireland, in September 2013.
This book constitutes the refereed proceedings of the 14th Conference on Advances in Autonomous Robotics, TAROS 2013, held in Oxford, UK, in August 2013.
This two-volume set LNCS 16174-16175 constitutes the refereed proceedings of the 8th Asian Conference on Pattern Recognition, ACPR 2025, held in Gold Coast, QLD, Australia, in November 10–13, 2025.
This two-volume set LNCS 16174-16175 constitutes the refereed proceedings of the 8th Asian Conference on Pattern Recognition, ACPR 2025, held in Gold Coast, QLD, Australia, in November 10–13, 2025.
The six-volume set constitutes the refereed proceedings of the 32nd International Conference on Neural Information Processing, ICONIP 2025, held in Okinawa, Japan, in November 2025.
The six-volume set constitutes the refereed proceedings of the 32nd International Conference on Neural Information Processing, ICONIP 2025, held in Okinawa, Japan, in November 2025.
This 7-volume set constitutes the proceedings of the 32nd International Conference on Neural Information Processing, ICONIP 2025, held in Okinawa, Japan, in November 2025.
This 7-volume set constitutes the proceedings of the 32nd International Conference on Neural Information Processing, ICONIP 2025, held in Okinawa, Japan, in November 2025.
This 7-volume set constitutes the proceedings of the 32nd International Conference on Neural Information Processing, ICONIP 2025, held in Okinawa, Japan, in November 2025.
This 7-volume set constitutes the proceedings of the 32nd International Conference on Neural Information Processing, ICONIP 2025, held in Okinawa, Japan, in November 2025.
This book provides a comprehensive introduction to the role of artificial intelligence (AI) in medical diagnostics, specifically targeting medical professionals who are unfamiliar with digital health and AI.
This book provides a comprehensive introduction to the role of artificial intelligence (AI) in medical diagnostics, specifically targeting medical professionals who are unfamiliar with digital health and AI.
This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Mathematical Methods for Curves and Surfaces, MMCS 2012, held in Oslo, Norway, in June/July 2012.
This book constitutes the revised selected papers of the combined workshops on Web Information Systems Engineering, WISE 2013, held in Nanjing, China, in October 2013.
This book constitutes the thoroughly refereed and revised selected papers from the 9th International Workshop on Agents and Data Mining Interaction, ADMI 2013, held in Saint Paul, MN, USA in May 2013.
Distributed robotics is a rapidly growing and maturing interdisciplinary research area lying at the intersection of computer science, network science, control theory, and electrical and mechanical engineering.
This two-volume set, consisting of LNCS 8403 and LNCS 8404, constitutes the thoroughly refereed proceedings of the 14th International Conference on Intelligent Text Processing and Computational Linguistics, CICLing 2014, held in Kathmandu, Nepal, in April 2014.
This book constitutes the refereed proceedings of the First International Conference on Biomedical Informatics and Technology, ACBIT 2013, held in Aizu-Wakamatsu, Japan, in September 2013.
This book constitutes the thoroughly refereed revised selected papers of the First Workshop on Big Data Benchmarks, WBDB 2012, held in San Jose, CA, USA, in May 2012 and the Second Workshop on Big Data Benchmarks, WBDB 2012, held in Pune, India, in December 2012.
This book contains selected contributions from some of the most renowned researchers in the field of small-scale robotics, based in large part on invited presentations from the workshop "e;The Different Sizes of Small-Scale Robotics: from Nano-, to Millimeter-Sized Robotic Systems and Applications,"e; which was held in conjunction with the conjunction with the International Conference on Robotics and Automation (ICRA 2013), in May 2013 in Karlsruhe, Germany.
The new multimedia standards (for example, MPEG-21) facilitate the seamless integration of multiple modalities into interoperable multimedia frameworks, transforming the way people work and interact with multimedia data.
"e;Knowledge Engineering and Management"e; presents selected papers from the 2013 International Conference on Intelligent Systems and Knowledge Engineering (ISKE2013).
This two-volume set, consisting of LNCS 8403 and LNCS 8404, constitutes the thoroughly refereed proceedings of the 14th International Conference on Intelligent Text Processing and Computational Linguistics, CICLing 2014, held in Kathmandu, Nepal, in April 2014.
"e;Foundations of Intelligent Systems"e; presents selected papers from the 2013 International Conference on Intelligent Systems and Knowledge Engineering (ISKE2013).
This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Membrane Computing, CMC 2013, held in Chisinau, Republic of Moldova, in August 2013.
This book constitutes the thoroughly refereed post-conference proceedings of the 7th IFIP TC 6 International Workshop on Self-Organizing Systems, IWSOS 2013, held in Palma de Mallorca, Spain, in May 2013.
This book constitutes the refereed proceedings of the Seventh Chinese Semantic Web Symposium and the Second Chinese Web Science Conference, CSWS 2013, held in Shanghai, China in August 2013.
The two-volume set LNAI 8346 and 8347 constitutes the thoroughly refereed proceedings of the 9th International Conference on Advanced Data Mining and Applications, ADMA 2013, held in Hangzhou, China, in December 2013.
This book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2014, held in San Diego, CA, USA, in January 2013.
This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013.
This book constitutes the thoroughly refereed proceedings of the 4th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K, held in Barcelona, Spain, in October 2012.
This two-volume set of CCIS 391 and CCIS 392 constitutes the refereed proceedings of the Fourth International Conference on Information Computing and Applications, ICICA 2013, held in Singapore, in August 2013.
The two-volume set LNAI 8346 and 8347 constitutes the thoroughly refereed proceedings of the 9th International Conference on Advanced Data Mining and Applications, ADMA 2013, held in Hangzhou, China, in December 2013.
This book constitutes the thoroughly refereed post-conference proceedings of the four workshops on Photographic Aesthetics and Non-Photorealistic Rendering (PAESNPR13), Geometric Properties from Incomplete Data (GPID), Quality Assessment and Control by Image and Video Analysis (QACIVA) and Geometric Computation for Computer Vision (GCCV2013), held in conjunction with the 6th Pacific-Rim Symposium on Image and Video Technology (PSIVT) in Guanajuato, Mexico during October 28-November 1, 2013.
This book constitutes the refereed proceedings of the 35th German Conference on Pattern Recognition, GCPR 2013, held in Saarbrucken, Germany, in September 2013.