Books in the Lecture Notes in Computer Science series

The papers present current research from a thriving theoretical community and a rapidly expanding range of applications in information and knowledge processing including data visualization and analysis (mining), knowledge management, as well as Web semantics, and software engineering.

This book contains the refereed proceedings of the 11th International Symposium on Mathematical Morphology, ISMM 2013 held in Uppsala, Sweden, in May 2013. The 41 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 52 submissions. The papers are organized in topical sections on theory;

This book constitutes the refereed proceedings of the 10th Extended Semantic Web Conference, ESWC 2013, held in Montpellier, France, in May 2013. mobile Web, sensors and semantic streams; social Web and Web science; cognition and semantic Web; The book also includes 17 PhD papers presented at the PhD Symposium.

This book constitutes the refereed proceedings of the 9th IAPR-TC-15 International Workshop on Graph-Based Representations in Pattern Recognition, GbRPR 2013, held in Vienna, Austria, in May 2013. They are organized in topical sections named: finding subregions in graphs; graph representations, segmentation and shape; and search in graphs.

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012.

This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 short papers talks were carefully reviewed and selected from 99 submissions.

This book constitutes the thoroughly refereed post-workshop proceedings of the International Workshop on Clinical Image-based Procedures: From Planning to Intervention, CLIP 2012, held in Nice, France, in conjunction with the 15th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2012.

This book constitutes the refereed proceedings of the 8th International Conference on Grid and Pervasive Computing, GPC 2013, held in Seoul, Korea, in May 2013 and the following colocated workshops: International Workshop on Ubiquitous and Multimedia Application Systems, UMAS 2013;

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Security and Trust Management, STM 2012, held in Pisa, Italy, in September 2012 - in conjunction with the 17th European Symposium Research in Computer Security (ESORICS 2012). distributed systems and physical security;

This book constitutes the joint refereed proceedings of the 5th International Workshop on Communication Technologies for Vehicles/Trains, Nets4Cars 2013 and Nets4Trains 2013, held in Vilnius, Lithuania, in May 2013.

This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Declarative Agent Languages and Technologies, DALT 2012, held in conjunction with the 11th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012) at Valencia, Spain, in June 2012.

This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Workshop on Algebraic Development Techniques, WADT 2012, held in June 2012, in Salamanca, Spain. other approaches to formal specification including process calculi and models of concurrent, distributed and mobile computing;

This book was prepared as the Final Publication of COST Action IC0703 "Data Traffic Monitoring and Analysis: theory, techniques, tools and applications for the future networks". The book is structured into three parts: network and topology measurement and modelling, traffic classification and anomaly detection, quality of experience.

This survey provides an introduction to computational approaches to the discovery of communicable scientific knowledge and details recent advances.

The book constitutes the refereed proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in Nice, France in January 2007.

This book constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, held in Kaiserslautern, Germany in May/June 2006. The 14 revised full papers cover language profiles, evolution of development languages, model-driven development, and language implementation.

The increasing complexity of systems and the growing uncertainty in their operational environments have created a critical need to develop systems able to improve their operation, adapt to change, and recover from failures autonomously.

This book constitutes the thoroughly refereed post-conference proceedings of the First International Workshop on Citizen Sensor Networks, CitiSens 2012, in Montpellier, France, on August 27, 2012. The accepted papers deal with topics like crowdsourcing, smart cities, multi-agent systems, privacy in social networks, data anonymity or smart sensors.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 5th Indian Conference on Logic and Its Applications, ICLA 2013, held in Chennai, India, in January 2013.

This book constitutes the refereed proceedings of the 4th Computational Color Imaging Workshop, CCIW 2013, held in Chiba, Japan, in March 2013. The papers are organized in topical sections on color image perception; color image detection and classification; color image features; and color image filtering and enhancement.

This book constitutes the proceedings of the third Sino-foreign-interchange Workshop on Intelligence Science and Intelligent Data Engineering, IScIDE 2012, held in Nanjing, China, in October 2012. computer vision and image processing; knowledge discovery, data mining, and web mining;

This book presents extensions of papers from the Rough Sets and Knowledge Technology Conference held in October 2011, along with a longer paper based on a PhD thesis. Together, they explore both the theory and applications of rough, fuzzy and near sets.

This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Modelling and Simulation for Autonomous Systems, MESAS 2014, held in Rome, Italy, in May 2014.

This book constitutes the thoroughly refereed conference proceedings of the International Workshop on Face and Facial Expression Recognition from Real World Videos in conjunction with the 22nd International Conference on Pattern Recognition held in Stockholm, Sweden, in August 2014.

This book constitutes the proceedings of the 6th International Conference on Social Informatics, SocInfo 2014, held in Barcelona, Spain, in November 2014. The 28 full papers and 14 short papers presented in this volume were carefully reviewed and selected from 147 submissions.

This book constitutes the proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, held in Rome, Italy, in March 2013. runtime verification and model checking; timed automata; explicit-state model checking; Buchi automata;

The topics covered are: strategies, indexing, superposition-based theorem proving, model building, application of automated reasoning to mathematics, as well as to program verification, data mining, and computer formalized mathematics.

This two volume set LNCS 7825 and LNCS 7826 constitutes the refereed proceedings of the 18th International Conference on Database Systems for Advanced Applications, DASFAA 2013, held in Wuhan, China, in April 2013.