This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014.The 23 full paper
The four-volume set LNCS 8517, 8518, 8519 and 8520 constitutes the proceedings of the Third International Conference on Design, User Experience, and Usability, DUXU 2014, held as part of the 16th Inte
These three volumes (CCIS 442, 443, 444) constitute the proceedings of the 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014,
This book constitutes the refereed proceedings of the 7th International Conference on Hybrid Learning, ICHL 2014, held in Shanghai, China, in August 2014. The 31 papers presented were carefully review
This book constitutes the refereed proceedings of the 8th International RuleML Symposium, RuleML 2014, co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, held in Pragu
This book constitutes the refereed proceedings of the 14th International Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2014, held in Copenhagen, Denmark, in July 2014. The 33 papers w
This book constitutes the refereed proceedings of the 5th International Conference on Well-Being in the Information Society, WIS 2014, held in Turku, Finland, in September 2014. The 24 revised full pa
This book constitutes the proceedings of the 10th International Conference on Active Media Technology, AMT 2014, held in Warsaw, Poland, in August 2014, held as part of the 2014 Web Intelligence Congr
This book constitutes the proceedings of the Joint IAPR International Workshop on Structural, Syntactic, and Statistical Pattern Recognition, S+SSPR 2014; comprising the International Workshop on Stru
The four-volume set LNCS 8517, 8518, 8519 and 8520 constitutes the proceedings of the Third International Conference on Design, User Experience, and Usability, DUXU 2014, held as part of the 16th Inte
The two-volume set LNCS 8521 and 8522 constitutes the refereed proceedings of the Human Interface and the Management of Information thematic track, held as part of the 16th International Conference on
The two-volume set LNCS 8547 and 8548 constitutes the refereed proceedings of the 14th International Conference on Computers Helping People with Special Needs, ICCHP 2014, held in Paris, France, in Ju
Presenting the first definitive study of the subject, this Handbook of Biometric Anti-Spoofing reviews the state of the art in covert attacks against biometric systems and in deriving countermeasures
This book constitutes the thoroughly refereed proceedings of the 22nd International Conference on User Modeling, Adaption and Personalization, held in Aalborg, Denmark, in July 2014. The 23 long and 1
This book constitutes the proceedings of the 9th International Conference on Swarm Intelligence, held in Brussels, Belgium, in September 2014. This volume contains 17 full papers, 9 short papers, and
This book constitutes the thoroughly refereed proceedings of the 9th Italian Research Conference on Digital Libraries, held in Rome, Italy, in January/February 2013. The 18 full papers presented toget
Its comprehensive coverage and presentation of difficult theoretical topics in a concise and accessible style made the first edition a bestseller. Since its publication however, there have been signif
The two-volume set LNCS 8521 and 8522 constitutes the refereed proceedings of the Human Interface and the Management of Information thematic track, held as part of the 16th International Conference on
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Computers and Games, CG 2013, held in Yokohama, Japan, in August 2013, in conjunction w
This is the second of a two-volume set (CCIS 434 and CCIS 435) that constitutes the extended abstracts of the posters presented during the 16th International Conference on Human-Computer Interaction,
This is the first of a two-volume set (CCIS 434 and CCIS 435) that constitutes the extended abstracts of the posters presented during the 16th International Conference on Human-Computer Interaction, H
The four-volume set LNCS 8517, 8518, 8519 and 8520 constitutes the proceedings of the Third International Conference on Design, User Experience and Usability, DUXU 2014, held as part of the 16th Inter
This book constitutes the refereed proceedings of the selected workshops co-located with the 17th International Conference on Theory and Practice of Digital Libraries, TPDL 2013, held in Valletta, Mal
This book constitutes the refereed post-proceedings of the International Workshop on Information Search, Integration and Personalization, ISIP 2013, held in Bangkok, Thailand, in September 2013. The 1
Traditionally, research on model-driven engineering (MDE) has mainly focused on the use of models at the design, implementation, and verification stages of development. This work has produced relative
This book constitutes the proceedings of the 4th International Conference on Mathematical Software, ICMS 2014, held in Seoul, South Korea, in August 2014. The 108 papers included in this volume were c
This book constitutes the refereed proceedings of the International Standard Conference on Trustworthy Distributed Computing and Services, ISCTCS 2013, held in Beijing, China, in November 2013. The 49
This book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2014, held in San Diego, CA, USA, in January 2013
The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main
This book constitutes the refereed proceedings of the 5th International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management 2014, held as part of th
This book constitutes the refereed proceedings of the Second International Conference on Distributed, Ambient, and Pervasive Interactions, DAPI 2014, held as part of the 16th International Conference
The two-volume set LNCS 8547 and 8548 constitutes the refereed proceedings of the 14th International Conference on Computers Helping People with Special Needs, ICCHP 2014, held in Paris, France, in Ju
This unique text/reference highlights a selection of practical applications of advanced image analysis methods for medical images. The book covers the complete methodology for processing, analysing an
This book constitutes the refereed proceedings of the workshops co-located with the 4th International Joint Conference on Ambient Intelligence, AmI 2013, held in Dublin, Ireland, in December 2013. The
This book constitutes the thoroughly refereed post-proceedings of the seven workshops and the PhD Symposium that were co-located with the 13th International Conference on Web Engineering, ICWE 2013, h
This book constitutes the thoroughly refereed proceedings of the Second International Conference on Cloud Computing and Services Science, CLOSER 2012, held in Porto, Portugal, in April 2012. The 15 pa
This book constitutes the thoroughly refereed proceedings of the 16th International Conference on Knowledge-Based Intelligent Information and Engineering Systems, KES 2012, held in San Sebastian, Spai
This two-volume set of CCIS 391 and CCIS 392 constitutes the refereed proceedings of the Fourth International Conference on Information Computing and Applications, ICICA 2013, held in Singapore, in Au
This book constitutes the refereed proceedings of the Seventh Chinese Semantic Web Symposium and the Second Chinese Web Science Conference, CSWS 2013, held in Shanghai, China in August 2013. The 14 re
This book constitutes the thoroughly refereed proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2013, held in Angers, France, in July 201
