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
The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, eng
This book is a state-of-the-art introduction into both algorithmic techniques for fixed-parameter tractability and the structural theory of parameterized complexity classes. It presents detailed proof
Presents the background and context of all ideas, concepts, algorithms, analyses and arguments before discussing details.Accessible to both beginners as well as specialists.
Personal motivation. The dream of creating artificial devices that reach or outperform human inteUigence is an old one. It is also one of the dreams of my youth, which have never left me. What makes t
This book contains a selection of papers submitted to the Workshop on Coding, Cryptography and Combinatorics (CCC 2003). An important feature of the book are invited surveys on key topics such as Bool
A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of
In 1994 Peter Shor [65] published a factoring algorithm for a quantum computer that finds the prime factors of a composite integer N more efficiently than is possible with the known algorithms for a c
