Electronic Books

Total Books: 101 - 120 /156

Learning Classifier Systems in Data Mining

Just over thirty years after Holland first presented the outline for Learning Classifier System paradigm, the ability of ...

Learning and Intelligent Optimization : Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers

The papers cover current issues of machine learning, artificial intelligence, mathematical programming and algorithms for ...

Leveraging Applications of Formal Methods

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications ...

Logic Programming (vol. # 4079)

This book constitutes the refereed proceedings of the 22nd International Conference on Logic Programming, ICLP 2006, held ...

Logic for Computer Scientists

This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...

Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452)

This volume contains the papers presented at the 11th International Conference on Logic for Programming, Arti'cial Intelligence, ...

Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835)

Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...

Logic-Based Program Synthesis and Transformation

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...

Logic-Based Program Synthesis and Transformation : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

This volumecontainsa selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis ...

Logical Foundations of Computer Science

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...

Mathematical Knowledge Management (vol. # 3863)

This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 ...

Mechanizing Mathematical Reasoning

By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...

Multi-Robot Systems. From Swarms to Intelligent Automata, Volume III

Documents developments in multi-robot systems research. This volume is the result of the Third International workshop on ...

Multilingual Information Access for Text, Speech and Images

The ?fth campaign of the Cross-Language Evaluation Forum (CLEF) for Eu- pean languages was held from January to September ...

Natural Language Processing and Information Systems (vol. # 3513)

NLDB 2005, the 10th International Conference on Applications of Natural L- guage to Information Systems, was held on June ...

Neural Networks: Computational Models and Applications

Neural Networks: Computational Models and Applications covers a wealth of important theoretical and practical issues in neural ...

Oppositional Concepts in Computational Intelligence

this volume is a fist attempt to bring together researchers who are inquiring into the complementary nature of systems and ...

Persuasive Technology

Persuasive technology is the general class of technology that has the explicit purpose of changing human attitudes and behaviours. ...

Principles and Practice of Constraint Programming - CP 2002

This book constitutes the refereed proceedings of the 8th International Conference on Principles and Practice of Constraint ...

Privacy in Statistical Databases

Privacy in statistical databases is a discipline whose purpose is to provide - lutions to the con?ict between the increasing ...

Total Books: 101 - 120 /156