Bøker i Lecture Notes in Computer Science-serien

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.

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.

LNCS 7729 contains the papers selected for the Workshop on e-Heritage, the Workshop on Color Depth Fusion in Computer Vision, the Workshop on Face Analysis, the Workshop on Detection and Tracking in Challenging Environments, and the International Workshop on Intelligent Mobile Vision.

This book constitutes the refereed post-proceedings of the 9th International Conference on Adaptive Multimedia Retrieval, AMR 2011, held in Barcelona, Spain, in July 2011. They are organized in topical sections on evaluation and user studies, audio and music, image retrieval, and similarity and music.

LNCS 7729 contains the papers selected for the Workshop on e-Heritage, the Workshop on Color Depth Fusion in Computer Vision, the Workshop on Face Analysis, the Workshop on Detection and Tracking in Challenging Environments, and the International Workshop on Intelligent Mobile Vision.

In most scenarios of the future a personalized virtual butler appears. and which methods, especially in artificial intelligence, have to be developed further and in which direction in order to create a virtual butler in the foreseeable future?

This book constitutes the refereed proceedings of the 16th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems, KES 2012, held in San Sebastian, Spain, in September 2012.

This book collects the refereed proceedings of the 6th Indian Conference on Logic and Its Applications, ICLA 2015, held in Mumbai, India, in January 2015. The volume contains 13 full revised papers along with 3 invited talks presented at the conference. The papers were selected after rigorous review, from 23 submissions. They cover topics related to pure and applied formal logic, foundations and philosophy of mathematics and the sciences, set theory, model theory, proof theory, areas of theoretical computer science, artificial intelligence, systems of logic in the Indian tradition, and other disciplines which are of direct interest to mathematical and philosophical logic.

This book constitutes the thoroughly refereed papers from the BPM 2013 Joint Workshop on Process-Oriented Information Systems and Knowledge Representation in Health Care, KR4HC 2013/ProHealth 2013, held in Murcia, Spain, in June 2013.

This book constitutes the thoroughly refereed post-workshop proceedings of the International Workshop on Medical Computer Vision: Algorithms for Big Data, MCV 2014, held in Cambridge, MA, USA, in September 2019, in conjunction with the 17th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2014.

It contains a gate level construction of a multi-core machine with pipelined MIPS processor cores and a sequentially consistent shared memory.The book contains the first correctness proofs for both the gate level implementation of a multi-core processor and also of a cache based sequentially consistent shared memory.

A state-of-the-art survey that reports on the progress made in selected areas of this important and growing field, aiding the analysis of existing networks and the design of new and more efficient algorithms for solving various problems on these networks.

Golumbic's work in graph theory led to the study of new perfect graph families such as tolerance graphs, which generalize the classical graph notions of interval graph and comparability graph.

This book constitutes the thoroughly refereed post-proceedings of the 9th International Conference on Computer Supported Cooperative Work in Design, CSCWD 2005, held in Coventry, UK, in May 2005.

Contains selected lecture notes from the LASER summer schools 2008-2010, which focused on concurrency and correctness in 2008, software testing in 2009, and empirical software engineering, in 2010.

Includes the refereed proceedings of the 13th International Conference on Fundamental Approaches to Software Engineering, FASE 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.

Includes the refereed proceedings of the 13th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.

This book constitutes the refereed proceedings of the 14th China National Conference on Computational Linguistics, CCL 2014, and of the Third International Symposium on Natural Language Processing Based on Naturally Annotated Big Data, NLP-NABD 2015, held in Guangzhou, China, in November 2015.The 34 papers presented were carefully reviewed and selected from 283 submissions. The papers are organized in topical sections on lexical semantics and ontologies; semantics; sentiment analysis, opinion mining and text classification; machine translation; multilinguality in NLP; machine learning methods for NLP; knowledge graph and information extraction; discourse, coreference and pragmatics; information retrieval and question answering; social computing; NLP applications.  

This book constitutes the refereed proceedings of theThird International Conference on Statistical Language and Speech Processing,SLSP 2015, held in Budapest, Hungary, in November 2015. The 26 full papers presented together with twoinvited talks were carefully reviewed and selected from 71 submissions.

This book constitutes the refereed conference proceedingsof the 15th International Conference on Rough Sets, Fuzzy Sets, Data Mining andGranular Computing, RSFDGrC 2015, held in Tianjin, China in November 2015 asone of the co-located conference of the 2015 Joint Rough Set Symposium, JRS2015.The 44 papers were carefully reviewed and selected from97 submissions. The papers in this volume cover topics such as rough sets: theexperts speak; generalized rough sets; rough sets and graphs; rough and fuzzyhybridization; granular computing; data mining and machine learning; three-waydecisions; IJCRS 2015 data challenge.

This book constitutes the thoroughly refereed conference proceedings of the 10th International Conference on Rough Sets and Knowledge Technology, RSKT 2015, held in Tianjin, China, in November 2015, as part of the International Joint Conference on Rough Sets, IJCRS 2015, together with the 15th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing, RSFDgrC 2015. The 66 papers presented at IJCRS 2015 were carefully reviewed and selected from 97 submissions. The 38 papers included in this volume are organized in the following topical sections: rough sets: the experts speak; reducts and rules; three-way decisions; logic and algebra; clustering; rough sets and graphs; and modeling and learning. In addition the volume contains 6 contributions by new fellows of the International Rough Set Society, an invited talk and a tutorial.

This book constitutes the refereed proceedings of the 20th Iberoamerican Congress on Pattern Recognition, CIARP 2015, held in Montevideo, Uruguay, in November 2015. The 95 papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in topical sections on applications on pattern recognition;

This book constitutes the refereed proceedings of sevenworkshops and a symposium, held at the 34th International Conference onConceptual Modeling, ER 2015, in Stockholm, Sweden.The 26 revised full and 8 invited papers werecarefully reviewed and selected out of 52 submissions to the following events:Conceptual Modelling for Ambient Assistance and Healthy Ageing, AHA-2015;Conceptual Modelling of Services, CMS-2015; Event Modelling and Processing inBusiness Process Management, EMoV-2015; Modelling and Management of Big Data,MoBID-2015; Modelling and Reasoning for Business Intelligence, MORE-BI-2015;Conceptual Modelling in Requirements Engineering and Business Analysis,MREBA-2015; Quality of Modelling and Modelling of Quality, QMMQ-2015; and theSymposium on Conceptual Modelling Education, SCME-2015.

This book constitutes the thoroughly refereed post-conference proceedings of the First International Conference on Mobile, Secure, and Programmable Networking, MSPN 2015, held in Paris, France, in June 2015. The 14 papers presented in this volume were carefully reviewed and selected from 36 submissions.

This monograph proposes a comprehensive and fully automatic approach to designing text analysis pipelines for arbitrary information needs that are optimal in terms of run-time efficiency and that robustly mine relevant information from text of any kind.

This book is dedicated to Professor Ernst--Rudiger Olderog on the occasion of his 60th birthday. After a laudatio section that provides a brief overview of Ernst- Rudiger Olderog's research, the book is comprised of five parts with scientific papers written by colleagues and collaborators of Professor Olderog.

This book constitutes the refereed proceedings of the workshops held with the 17th International Conference on Image Analysis and Processing, ICIAP 2013, held in Naples, Italy, in September 2013.

The present volume contains the proceedings of the Third IPM International Conference on Fundamentals of Software Engineering (FSEN), Kish, Iran, April 15-17, 2009.

This book constitutes the refereed proceedings of the 12th International Symposium on Practical Aspects of Declarative Languages, PADL 2010, held in Madrid, Spain, in January 2010, colocated with POPL 2010, the Symposium on Principles of Programming Languages.