Books in the Lecture Notes in Computer Science series

This book constitutes the refereed proceedings of the First International Workshop on Computer Assisted and Robotic Endoscopy, CARE 2014, held in conjunction with MICCAI 2014, in Boston, MA, USA, in September 2014. The 12 papers presented focus on recent technical advances associated with computer vision; medical device control systems;

This book constitutes the proceedings of the First International Workshop on Biometric Authentication, BIOMET 2014, which was held in Sofia, Bulgaria, in June 2014. The 16 full papers presented in this volume were carefully reviewed and selected from 21 submissions. The papers cover a range of topics in the field gait and behaviour analysis;

This book contains revised and significantly extended versions of selected papers from three workshops on Uncertainty Reasoning for the Semantic Web (URSW), held at the International Semantic Web Conferences (ISWC) in 2011, 2012, and 2013.

This book constitutes the refereed conference proceedings of the 8th International Conference on Multi-disciplinary Trends in Artificial Intelligence, MIWAI 2014, held in Bangalore, India, in December 2014. The papers feature a wide range of topics covering both theory, methods and tools as well as their diverse applications in numerous domains.

This book constitutes the proceedings of the 14th International Conference on Formal Concept Analysis, ICFCA 2017, held in Rennes, France, in June 2017. Its original motivation was to consider complete lattices as lattices of concepts, drawing motivation from philosophy and mathematics alike.

This two-volume set LNCS 10305 and LNCS 10306 constitutes the refereed proceedings of the 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, held in Cadiz, Spain, in June 2017. Artificial Neural Networks in Industry ANNI'17; Computational Intelligence Tools and Techniques for Biomedical Applications;

The two-volume set LNCS 10269 and 10270 constitutes the refereed proceedings of the 20th Scandinavian Conference on Image Analysis, SCIA 2017, held in Tromso, Norway, in June 2017. The 87 revised papers presented were carefully reviewed and selected from 133 submissions. motion analysis and 3D vision; medical and biomedical image analysis;

This book constitutes the refereed proceedings of the 14th International Symposium on Neural Networks, ISNN 2017, held in Sapporo, Hakodate, and Muroran, Hokkaido, Japan, in June 2017. The 135 revised full papers presented in this two-volume set were carefully reviewed and selected from 259 submissions.

The two-volume set LNAI 10245 and LNAI 10246 constitutes the refereed proceedings of the 16th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2017, held in Zakopane, Poland in June 2017. The 133 revised full papers presented were carefully reviewed and selected from 274 submissions.

This book constitutes the refereed proceedings of the 14th International Symposium on Neural Networks, ISNN 2017, held in Sapporo, Hakodate, and Muroran, Hokkaido, Japan, in June 2017. The 135 revised full papers presented in this two-volume set were carefully reviewed and selected from 259 submissions.

The two-volume set LNAI 10245 and LNAI 10246 constitutes the refereed proceedings of the 16th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2017, held in Zakopane, Poland in June 2017. The papers included in the first volume are organized in the following five parts: neural networks and their applications;

This book constitutes the proceedings of the 25th International Conference on Information Processing in Medical Imaging, IPMI 2017, held at the Appalachian State University, Boon, NC, USA, in June 2017. diffusion imaging; quantitative imaging; imaging genomics; image registration; general image analysis.

Constitutes the refereed proceedings of the 8th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2005, held in Palm Springs, CA, USA, in October 2005. Based on peer reviews, the program committee selected 237 full papers from 632 submissions for presentation.

This book constitutes the proceedings of the 24th International Conference on Automated Deduction, CADE-24, held in Lake Placid, NY, USA, in June 2013.

This book constitutes the refereed proceedings of the 15th International Conference on Coordination Models and Languages, COORDINATION 2013, held in Firenze, Italy, in June 2013, within the 8th International Federated Conference on Distributed Computing Techniques (DisCoTec 2013).

This book constitutes the proceedings of the 8th International Computer Science Symposium in Russia, CSR 2013, held in Ekaterinburg, Russia, in June 2013. The 29 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The papers are organized in topical sections on: algorithms; logic and proof complexity;

The two-volume set LNAI 7629 and LNAI 7630 constitutes the refereed proceedings of the 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, held in San Luis Potosi, Mexico, in October/November 2012.

The two-volume set LNAI 7629 and LNAI 7630 constitutes the refereed proceedings of the 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, held in San Luis Potosi, Mexico, in October/November 2012. The 80 revised papers presented were carefully reviewed and selected from 224 submissions.

The four-volume set LNCS 7724--7727 constitutes the thoroughly refereed post-conference proceedings of the 11th Asian Conference on Computer Vision, ACCV 2012, held in Daejeon, Korea, in November 2012. image and video retrieval and medical image analysis; video analysis and action recognition; low-level vision and applications of computer vision.

The four-volume set LNCS 7724--7727 constitutes the thoroughly refereed post-conference proceedings of the 11th Asian Conference on Computer Vision, ACCV 2012, held in Daejeon, Korea, in November 2012. image and video retrieval and medical image analysis; video analysis and action recognition; low-level vision and applications of computer vision.

The four-volume set LNCS 7724--7727 constitutes the thoroughly refereed post-conference proceedings of the 11th Asian Conference on Computer Vision, ACCV 2012, held in Daejeon, Korea, in November 2012. image and video retrieval and medical image analysis; video analysis and action recognition; low-level vision and applications of computer vision.

The four-volume set LNCS 7724--7727 constitutes the thoroughly refereed post-conference proceedings of the 11th Asian Conference on Computer Vision, ACCV 2012, held in Daejeon, Korea, in November 2012. image and video retrieval and medical image analysis; video analysis and action recognition; low-level vision and applications of computer vision.

This book constitutes the refereed proceedings of the 18th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2013, was held in Berlin, Germany, in June 2013. They are organized in topical sections on multi-core and distributed systems;

This book constitutes the refereed proceedings of the 6th Iberian Conference on Pattern Recognition and Image Analysis, IbPRIA 2013, held in Funchal, Madeira, Portugal, in June 2013. The papers are organized in topical sections on computer vision, pattern recognition, image and signal, applications.

The two volume set LNCS 8887 and 8888 constitutes the refereed proceedings of the 10th International Symposium on Visual Computing, ISVC 2014, held in Las Vegas, NV, USA. The 74 revised full papers and 55 poster papers presented together with 39 special track papers were carefully reviewed and selected from more than 280 submissions.

The papers cover topics such as information retrieval, feature selection, classification, clustering, image processing, network security, speech processing, machine learning, recommender systems, natural language processing, language, cognition and computation, and business intelligence.

They provide service developers and providers with a secure service development framework that includes methods, tools, and security services supporting the design-time creation and run-time composition of secure dynamic services, where both the services and the threats are evolving.

The papers cover a wide spectrum of topics, such as, among others: web mining and knowledge extraction, semantic and linked data management, crawling and web research, model-driven web engineering, component-based web engineering, Rich Internet Applications (RIAs) and client-side programming, web services, and end-user development.