This book constitutes the refereed proceedings of the 25th Annual Symposium on Combinatorial Pattern Matching, CPM 2014, held in Moscow, Russia, in June 2014. The 28 revised full papers presented toge
This book constitutes the revised selected papers of the workshops of the 11th International Conference on Service-Oriented Computing (ICSOC 2013), held in Berlin, Germany, in December 2013. The confe
This book constitutes the refereed proceedings of the 11th Extended Semantic Web Conference, ESWC 2014, held in Anissaras, Crete, Greece France, in May 2014.The 50 revised full papers presented togeth
This book constitutes the thoroughly refereed proceedings of the 9th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2014, held in Miami, FL, USA in
This book constitutes the refereed conference proceedings of the 13th International Symposium, W2GIS 2014, held in Seoul, South Korea, in May 2014. The 12 revised full papers presented were carefully
This book contains the extended and revised versions of selected papers from the Third International Symposium on Business Modeling and Software Design (BMSD 2013), held in Noordwijkerhout, The Nether
This book contains the refereed proceedings of the 17th International Conference on Business Information Systems, BIS 2014, held in Larnaca, Cyprus, in May 2014. The BIS conference series follows tren
The research domains of information retrieval and databases have traditionally adopted different approaches to information management. However, in recent years, there has been an increasing cross-fert
Warm Dense Matter (WDM) occupies a loosely defined region of phase space intermediate between solid, liquid, gas, and plasma, and typically shares characteristics of two or more of these phases. WDM i
This book constitutes the proceedings of the 4th Enterprise Engineering Working Conference (EEWC), held in Funchal, Madeira Island, Portugal, during May 5-8, 2014. EEWC aims at addressing the challeng
This book covers fundamental principles and computational approaches relevant to visual saliency computation. As an interdisciplinary problem, visual saliency computation is introduced in this book fr
This book constitutes revised selected papers from the International Workshop on Clinical Image-Based Procedures, CLIP 2013, held in conjunction with MICCAI 2012 in Nagoya, Japan, in September 2013. T
Sparse grids have gained increasing interest in recent years for the numerical treatment of high-dimensional problems. Whereas classical numerical discretization schemes fail in more than three or fou
This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Medical Computer Vision, MCV 2013, held in Nagoya, Japan, in September 2013 in conjunctio
This volume presents controlling tools for management in order to be in a position to communicate with control engineers concerning technological decisions.The main objective of manufacturing manageme
This book constitutes the refereed proceedings of the 6th International Symposium on NASA Formal Methods, NFM 2014, held in Houston, TX, USA, April 29 – May 1, 2014. The 20 revised regular papers pres
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. The 27 revised full
This book constitutes the proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2014, held as part of the European Joint Conferences o
These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic web, social networks,
This book constitutes the thoroughly refereed scientific proceedings of the 6th International Conference on Subject-Oriented Business Process Management, S-BPM ONE 2014, held in Eichstatt, Germany, in
This book constitutes the refereed proceedings of the Third International Conference on Health Information Science, HIS 2014, held in Shenzhen, China, in April 2014. The 29 full papers presented were
A survey of the state of the art of deterministic resource-constrained project scheduling with time windows. General temporal constraints and several different types of limited resources are considere
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 Lingui
This book constitutes the proceedings of the 36th European Conference on IR Research, ECIR 2014, held in Amsterdam, The Netherlands, in April 2014.The 33 full papers, 50 poster papers and 15 demonstra
This book deals with dynamic and stochastic methods for multi-project planning. Based on the idea of using queueing networks for the analysis of dynamic-stochastic multi-project environments this book
This book features the best papers from 3D GeoInfo held in Istanbul, November 2013. It includes coverage of such leading-edge technologies as web-of-things, service and cloud oriented architectures.
This book presents the latest research developments in geoinformation science, including such sub-disciplines of the field as geomatic engineering, GIS, remote sensing, digital photogrammetry, digital
This book constitutes the refereed proceedings of the 4th International Conference on Serious Games for Training, Education, Health and Sports, Game Days 2014, held in Darmstadt, Germany, in April 201
This book constitutes the proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014, held as part of the European Joint Conferences on Theory and Pr
This book constitutes revised selected papers from the following SEFM 2012 satellite events: InSuEdu, the First International Symposium on Innovation and Sustainability in Education; MokMaSD, the Firs
This book constitutes the proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014, which took place in Grenoble, France, in Ap
This book constitutes the refereed proceedings of the 7th International Conference on Social Computing, Behavioral-Cultural Modeling, and Prediction, SBP 2014, held in Washington, DC, USA, in April 20
In the mathematical practice, the Baire category method is a tool for establishing the existence of a rich array of generic structures. However, in mathematics, the Baire category method is also behin
This book contains extended versions of selected papers from the 3rd edition of the International Symposium CompIMAGE.These contributions include cover methods of signal and image processing and analy
Diagnosis-related groups (DRGs) are used in hospitals for the reimbursement of inpatient services. The assignment of a patient to a DRG can be distinguished into billing- and operations-driven DRG cla
This volume presents recent developments in the area of Levy-type processes and more general stochastic processes that behave locally like a Levy process. Although written in a survey style, quite a f
Exploring the application of generalisation methodologies in the context of growing volumes of data and the rising popularity of user-generated content, this book offers state-of-the-art research on m
A landmark publication in its scope, this book features contributions by more than a dozen internationally renowned experts, addressing key topics in shape analysis in medical imaging, such as image s
This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering. Prof. Futatsugi
As corroborated by the never-sagging and even increasing interest within the last decade, the intuitive attraction of "True 3D" in geodata presentation is well worth covering its current status and re
