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 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 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 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 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 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 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 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
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
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
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
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
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
This book constitutes the refereed proceedings of the 8th International Conference on Language and Automata Theory and Applications, LATA 2014, held in Madrid, Spain in March 2014.The 45 revised full
This book constitutes the refereed proceedings of the 15th International Conference on Passive and Active Measurement, PAM 2014, held in Los Angeles, CA, USA, in 2014. The 24 revised full papers prese
This book constitutes the refereed post-conference proceedings of the 44th International Simulation and Gaming Association Conference, ISAGA 2013, and the IFIP WG 5.7 Workshop on Experimental Interact
This book constitutes the refereed proceedings of the 10th International Conference on Distributed Computing and Internet Technology, ICDCIT 2014, held in Bhubaneswar, India, in February 2014. The 29
Service science constitutes an interdisciplinary approach to systematic innovation in service systems, integrating managerial, social, legal and engineering aspects to address the theoretical and prac
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on Foundations of Health Information Engineering and Systems, FHIES 2013, held in Macau,
This book constitutes the thoroughly refereed post-conference proceedings of the 6th Pacific Rim Symposium on Image and Video Technology, PSIVT 2013, held in Guanajuato, Mexico in October/November 201
The Ada 2012 Reference Manual is an enhanced version of the text of International Standard ISO/IEC 8652/2012(E) for the programming language Ada. The Ada 2012 Reference Manual combines all of the prev
This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park,
This book constitutes the refereed proceedings of the 6th Software Quality Days Conference (SWQD) held in Vienna, Austria, in January 2014.This professional symposium and conference offers a range of
This book constitutes the refereed proceedings of the 40th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2014, held in Novy Smokovec, Slovakia, in Janua
This book constitutes the thoroughly refereed revised selected papers of the First Workshop on Big Data Benchmarks, WBDB 2012, held in San Jose, CA, USA, in May 2012 and the Second Workshop on Big Dat
This book constitutes the proceedings of the 9th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2013, held in Sophia Ant
This book contains the full papers presented at the MICCAI 2013 workshop Bio-Imaging and Visualization for Patient-Customized Simulations (MWBIVPCS 2013). MWBIVPCS 2013 brought together researchers re
This book constitutes the refereed proceedings of the 16th International Symposium on Practical Aspects of Declarative Languages, PADL 2014, held in SanDiego, CA, USA, in January 2014, co-located with
The two-volume set LNCS 8111 and LNCS 8112 constitute the papers presented at the 14th International Conference on Computer Aided Systems Theory, EUROCAST 2013, held in February 2013 in Las Palmas de
