The three-volume set LNCS 6838, LNAI 6839, and LNBI 6840 constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Intelligent Computing, ICIC 2011, held i
The two volume set LNAI 7101 and 7102 constitute the refereed proceedings of the 4th International Conference on Intelligent Robotics and Applications, ICIRA 2011, held in Aachen, Germany, in November
This volume constitutes the refereed proceedings of the 5th Multi-disciplinary International Workshop On Artificial Intelligence, MIWAI 2011, held in Hyderabad, India, in December 2011. The 38 revised
The two volume set LNAI 7101 and LNAI 7102 constitutes the refereed proceedings of the 4th International Conference on Intelligent Robotics and Applications, ICIRA 2011, held in Aachen, Germany, in No
This book constitutes the refereed proceedings of the 13th International Conference on Information and Communications Security, ICICS 2011, held in Beijing, China, in November 2011. The 33 revised ful
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Information Security and Cryptology, held in Seoul, Korea, in December 2010. The 28 re
The two-volume set LNAI 6922 and LNAI 6923 constitutes the refereed proceedings of the Third International Conference on Computational Collective Intelligence, ICCCI 2011, held in Gdynia, Poland, in S
This book constitutes the refereed proceedings of the 12th IFIP TC 6/TC 11 International Conference on Communications and Multimedia Security, CMS 2010, held in Ghent, Belgium, in October 2011. The 26
This book constitutes the thoroughly refereed post-conferenceproceedings of the first two international workshops on computationalmodels of collaboration in distributed systems: CARE 2009, held assate
This book constitutes the refereed proceedings of the 12th International Conference of the Italian Association for Artificial Intelligence, AI*IA 2011, held in Palermo, Italy, in September 2011. The 3
The four-volume set LNAI 6881-LNAI 6884 constitutes the refereed proceedings of the 15th International Conference on Knowledge-Based Intelligent Information and Engineering Systems, KES 2011, held in
This book constitutes the proceedings of the 13th International Workshop on Cryptographic Hardware and Embedded Systems, CHES 2011, held in Nara, Japan, from September 28 until October 1, 2011. The 32
This book constitutes the refereed proceedings of the 11th Industrial Conference on Data Mining, ICDM 2011, held in New York, USA in September 2011.The 22 revised full papers presented were carefully
This book constitutes the refereed proceedings of the 19th International Conference on Case-Based Reasoning, held in London, UK, in September 2011. The 32 contributions presented together with 3 invit
This book constitutes the refereed proceedings of the 4th International Conference on Computational Intelligence in Security for Information Systems, CISIS 2011, held in Torremolinos-Malaga, in June 2
This book constitutes the refereed proceedings of the 4th International Conference on Trust and Trustworthy Computing, TRUST 2011, held in Pittsburgh, PA, USA in June 2011.The 23 revised full papers p
This book constitutes the thoroughly refereed post-proceedings of the 20th International Conference on Inductive Logic Programming, ILP 2010, held in Florence, Italy in June 2010.The 11 revised full p
This Festschrift volume, published in honor of Michael Gelfond on the occasion of his 65th birthday, contains a collection of papers written by his closest friends and colleagues. Several of these pap
This book constitutes the refereed proceedings of the 14th International Conference on Formal Grammar 2009, held in Bordeaux, France, in July 2009. The 13 revised full papers presented, including two
This book is a solid foundation of the most important formalisms used for specification and verification of reactive systems. In particular, the text presents all important results on m-calculus, w-au
Juraj Hromkovic takes the reader on an elegant route through the theoretical fundamentals of computer science. The author shows that theoretical computer science is a fascinating discipline, full of s
This book constitutes the refereed proceedings of the 13th International Symposium on Recent Advances in Intrusion Detection, RAID 2010, held in Ottawa, Canada, in September 2010. The 24 revised full
This book constitutes the refereed proceedings of the 7th International Conference on Trust, Privacy and Digital Business, TrustBus 2010, held in Bilbao, Spain, in August 2010.The papers are organized
This book includes the thoroughly refereed post-conference proceedings of the 13th RoboCup International Symposium, held in Graz, Austria, in June/July, 2009 - representing the core meeting for presen
This book constitutes the refereed proceedings of the 11th International Conference on Discovery Science, DS 2008, held in Budapest, Hungary, in October 2008, co-located with the 19th International Co
Algorithmic discrete mathematics plays a key role in the development of information and communication technologies, and methods that arise in computer science, mathematics and operations research – in
This volume contains the proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009) held during 14-18 September in Potsdam. The special theme of LPNM
This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on Trust in Agent Societies, TRUST 2008, held in Estoril, Portugal, in the context of AAMAS 2
These two volumes constitute the refereed proceedings of the First International Conference on Intelligent Robotics and Applications, ICIRA 2008, held in Wuhan, China, in October 2008.The 265 revised
This book constitutes the refereed proceedings of the 6th International Workshop, IWDW 2007, held in Guangzhou, China, in December 2007.The 24 revised full papers together with 3 invited papers were c
This book constitutes the thoroughly refereed joint post-conference proceedings of two consecutive International Workshops on Learning Classifier Systems that took place in Seattle, WA, USA in July 20
This book constitutes the refereed proceedings of the 19th International Conference on Algorithmic Learning Theory, ALT 2008, held in Budapest, Hungary, in October?2008, co-located with the 11th Inter
This book constitutes the refereed proceedings of the 4th International Conference on Advanced Data Mining and Applications, ADMA 2008, held in Chengdu, China, in October 2008.The 35 revised full pape
This book constitutes the proceedings of the the 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, held in Hanoi, Vietnam, in December 2008. The 19 regular papers and 22 short pap
This book constitutes the refereed proceedings of the 5th Hellenic Conference on Artificial Intelligence, SETN 2008, held at Syros, Greece in October 2008.The 27 revised full papers together with 17 r
The three volume set LNAI 5177, LNAI 5178, and LNAI 5179, constitutes the refereed proceedings of the 12th International Conference on Knowledge-Based Intelligent Information and Engineering Systems,
This state-of-the-art survey comprises a selection of the material presented at the International Dagstuhl Seminar on Annotating, Extracting and Reasoning about Time and Events, held in Dagstuhl Castl
This book constitutes the refereed proceedings of the International Workshop on Pattern Recognition in Bioinformatics, PRIB 2007, held in Singapore in October 2007. The 38 revised full papers presente
The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly so
The final installment in this three-volume set is based on this maxim: "Before software can be designed its requirements must be well understood, and before the requirements can be expressed properly
