Bøker i Lecture Notes in Computer Science-serien

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2013, held in Beijing, China, in August 2013, associated with IJCAI 2013, the 23rd International Joint Conference on Artificial Intelligence.

This book constitutes the refereed proceedings of the First International Workshop on Wireless Access Flexibility, WiFlex 2013, held in Kaliningrad, Russia, in September 2013. The following topics are covered in this volume: 4G and beyond, local area networks, multi-hop networks, sensor networks.

This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013.

The 12 papers in the volume constitute revised and extended versions of a selection of contributions presented at GRAPHICON 2012, the 22nd International Conference on Computer Graphics and Vision, held in Moscow, Russia, in October 2012.

This book constitutes the refereed proceedings of the 13th Industrial Conference on Data Mining, ICDM 2013, held in New York, NY, in July 2013.

This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.The lectures are aimed at postgraduate students, researchers, academics, and industrial engineers.

This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions.

This book constitutes the refereed proceedings of the 11th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Chennai, India, in April 2014.

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Camera-Based Document Analysis and Recognition, CBDAR 2013, held in Washington, DC, USA, in August 2013.

The focus of the papers is on following topics: neurofinance graphical network models, brain machine interfaces, evolutionary neural networks, neurodynamics, complex systems, neuroinformatics, neuroengineering, hybrid systems, computational biology, neural hardware, bioinspired embedded systems, and collective intelligence.

This book constitutes the refereed proceedings of the 16th Portuguese Conference on Artificial Intelligence, EPIA 2013, held in Angra do Heroismo, Azores, Portugal, in September 2013. The papers are organized in the following topical sections: ambient intelligence and affective environments; artificial intelligence in transportation systems;

This book constitutes the proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIV, held in Corunna, Spain, in September 2013.

The papers covers topics such as image processing and computer vision, machine learning and pattern recognition, mathematical foundations, statistical data analysis and models, computational photography and confluence of vision and graphics, and applications in natural sciences, engineering, biomedical data analysis, imaging, and industry.

This book constitutes the refereed proceedings of the International Conference on Theory and Practice of Digital Libraries, TPDL 2013 (formerly European Conference on Research and Advanced Technology for Digital Libraries, ECDL) held in Valletta, Malta, in September 2013.

The 34 revised full papers (22 technical papers, 9 application description, and 3 system descriptions) and 19 short papers (11 technical papers, 3 application descriptions, and 5 system descriptions) presented together with 2 invited talks, were carefully reviewed and selected from 91 submissions.

This book constitutes the refereed proceedings of the Third International Workshop on Multimodal Brain Image Analysis, MBIA 2013, held in Nagoya, Japan, on September 22, 2013 in conjunction with the 16th International Conference on Medical Image Computing and Computer Assisted Intervention, MICCAI.

The following topics are addressed: spatial change, wayfinding and assistance, representing spatial data, handling language data, spatial language and computation, spatial ontology, spatial reasoning and representation.

The 15 full papers included in the volume focus on the topics of neurocomputing, evolutionary algorithms, swarm intelligence, artificial immune systems, membrane computing, computing with words, artificial life and hybrid approaches.

This book constitutes the refereed post-proceedings of the 10th International Symposium on Advanced Parallel Processing Technologies, APPT 2013, held in Stockholm, Sweden, in August 2013.

The papers cover the topics such as feature selection, classification, clustering, image processing, network security, speech processing, machine learning, information retrieval, recommender systems, natural language processing, language, cognition and computation and other certain problems in dynamical systems.

This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Symposium on Graph Drawing, GD 2013, held in Bordeaux, France, in September 2013.

The presentations and posters covered a wide range of CBR topics of interest both to researchers and practitioners including case retrieval and adaptation, similarity assessment, case base maintenance, knowledge management, recommender systems, multiagent systems, textual CBR, and applications to healthcare and computer games.

This book constitutes the refereed proceedings of the 5th International Conference on Reversible Computation, RC 2013, held in Victoria, BC, Canada, in July 2013. The 19 contributions presented together with one invited paper were carefully reviewed and selected from 37 submissions.

This book constitutes the thoroughly refereed post-proceedings of the 22nd International Conference on Inductive Logic Programming, ILP 2012, held in Dubrovnik, Croatia, in September 2012.