This Festschrift volume contains the proceedings of the conference Mathematical Methods in Computer Science, MMICS 2008, which was held during December 17-19, 2008, in Karlsruhe, Germany, in memory of
This book constitutes the refereed proceedings of the 24th International Conference on Logic Programming, ICLP 2008, held in Udine, Italy, in December 2008.The 35 revised full papers together with 2 i
This book constitutes the refereed proceedings of the Third International Symposium on Biomedical Simulation, ISBMS 2006, held in Zurich, Switzerland in July 2006. The 12 revised full papers and 11 po
This book constitutes the refereed proceedings of the First International Conference on Mobile Ad-hoc and Sensor Networks, MSN 2005, held in Wuhan, China in December 2005. The volume also contains 12
This book constitutes the refereed proceedings of the First International Symposium on Visual Computing, ISVC 2005, held in Lake Tahoe, NV, USA in December 2005.The 33 revised full papers and 26 poste
This book constitutes the refereed proceedings of the 8th International Conference on Asian Digital Libraries, ICADL 2005, held in Bangkok, Thailand in December 2005.The 40 revised full papers, 15 rev
This book constitutes the refereed proceedings of the 10th Iberoamerican Congress on Pattern Recognition, CIARP 2005, held in Havana, Cuba in November 2005.The 107 revised full papers presented togeth
This book constitutes the refereed proceedings of the 13th Annual European Symposium on Algorithms, ESA 2005, held in Palma de Mallorca, Spain, in September 2005 in the context of the combined confere
This book constitutes the refereed proceedings of the 8th International Conference on Parallel Computing Technologies, PaCT 2005, held in Krasnoyarsk, Russia in September 2005.The 38 revised full pape
This book constitutes the refereed proceedings of the Second International Conference on Trust and Privacy in Digital Business, TrustBus 2005, held in Copenhagen, Denmark, in August 2005.The 32 revise
This book constitutes the joint refereed proceedings of the 8th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2005 and the 9th International Worksh
This book constitutes the refereed proceedings of the 25th Annual International Cryptology Conference, CRYPTO 2005, held in Santa Barbara, California, USA in August 2005.The 33 revised full papers pre
This book constitutes the refereed proceedings of the 17th International Conference on Advanced Information Systems Engineering, CAiSE 2005, held in Porto, Portugal in June 2005.The 39 revised full pa
This book constitutes the refereed proceedings of the First International Workshop on Location- and Context-Awareness, LoCA 2005, held in Oberpfaffenhofen, Germany in May 2005.The 26 revised full pape
This book constitutes the refereed proceedings of the IEEE International Conference on Intelligence and Security Informatics, ISI 2005, held in Atlanta, GA, USA in May 2005.The 28 revised full papers,
This book presents revised full papers contributed to the Third International Digital Cities Workshop held in Amsterdam, The Netherlands, in September 2003.The 25 papers presented together with an int
This book constitutes the refereed proceedings of the 4th International Workshop on Ant Colony Optimization and Swarm Intelligence, ANTS 2004, held in Brussels, Belgium in September 2004.The 22 revise
This book presents revised reviewed versions of lectures given during the Machine Learning Summer School held in Canberra, Australia, in February 2002.The lectures address the following key topics in
This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Symposium on Computer Music Modeling and Retrieval, CMMR 2013, held in Marseille, France, in October
Meshfree methods, particle methods, and generalized finite element methods have witnessed substantial development since the mid 1990s. The growing interest in these methods is due in part to the fact
This book constitutes the refereed proceedings of the 11th International Workshop on Algorithms and Models for the Web Graph, WAW 2014, held in Beijing, China, in December 2014.The 12 papers presented
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
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
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 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
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 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
Natural language is one of the most important means of human communication. It enables us to express our will, to exchange thoughts and to document our knowledge in written sources. Owing to its subst
Ada 2012 is the latest version of the international standard for the programming language Ada. It is designated ISO/IEC 8652:2012 (E) and is a new edition replacing the 2005 version. The primary goals
This book constitutes the thoroughly refereed proceedings of eight international workshops held in Valencia, Spain, in conjunction with the 25th International Conference on Advanced Information System
This book constitutes the proceedings of the second workshop on Business Process Modeling Notation, BPMN 2010, held in Potsdam, Germany, in October 2010. The 6 research papers presented were carefully
This three volume set LNCS 6352, LNCS 6353, and LNCS 6354 constitutes the refereed proceedings of the 20th International Conference on Artificial Neural Networks, ICANN 2010, held in Thessaloniki, Gre
This series reports on new developments in mathematical economics, economic theory, econometrics, operations research, and mathematical systems.This book presents a methodological approach for the joi
This book constitutes the thoroughly refereed post-workshop proceedings of eight international workshops held in Ulm, Germany, in conjunction with the 7th International Conference on Business Process
This collection covers advances in automatic differentiation theory and practice. Computer scientists and mathematicians will learn about recent developments in automatic differentiation theory as wel
