Buecher-Lounge.de

This volume contains the proceedings of the second workshopon Computer Aided Verification, held at DIMACS, RutgersUniversity, June 18-21, 1990. Itfeatures theoreticalresults that lead to new or more …

geschrieben von Edmund M. Clarke (Herausgeber) und Robert P. Kurshan (Herausgeber)

This book offers a critical reconstruction of the fundamental ideas …

1. Introduction; 2. Metaphor in practice; 3. Machinery and dynamics; 4. Abstraction and implementation in cognitive science; 5. The digital abstraction; 6. Dependency maintenance; 7. Rule system; 8. …

geschrieben von Philip E. Agre (Autor) und Roy Pea (Herausgeber) und John Seely Brown (Herausgeber)

This volume details what every computer scientist ought to know about cryptographic systems, security protocols, and secure information flow in programs. Highlights are the new advanced encryption …

1. Secure communication in modern information societies; 2. Public-key cryptography; 3. Symmetric-key cryptography; 4. Security protocol design and analysis; 5. Optimal public-key encryption with RSA; …

geschrieben von Michael Huth (Autor)

Fuzzy modeling usually comes with two contradictory requirements: interpretability, which is the capability to express the real system behavior in a comprehensible way, and accuracy, which is the …

Overview.- Accuracy Improvements Constrained by Interpretability Criteria.- Extending the Modeling …

geschrieben von J. Casillas (Herausgeber) und O. Cordón (Herausgeber) und F. Herrera (Herausgeber) und L. Magdalena (Herausgeber)

This book originates from the IJCAI 2003 International Workshop on Multi-Agents for Mass User Support, MAMUS 2003, held in Acapulco, Mexico in August 2003. Besides revised selected workshop papers, …

geschrieben von Koichi Kurumatani (Herausgeber) und Shu-Heng Chen (Herausgeber) und Azuma Ohuchi (Herausgeber)

Constraint satisfaction problems are significant in the domain of automated reasoning for artificial intelligence. They can be applied to the modeling and solving of a wide range of combinatorial …

Introduction.- Interchangeability and Solution Adaptation in Crisp CSPs.- Interchangeability in Soft CSPs.- Multi Agent Computation of Interchangeability in Distributed CSPs.- Interchangeability in …

geschrieben von Nicoleta Neagu (Autor)

Estimation of Distribution Algorithms (EDAs) are a set of algorithms in the Evolutionary Computation (EC) field characterized by the use of explicit probability distributions in optimization. …

Linking Entropy to Estimation of Distribution Algorithms.- Entropy-based Convergence Measurement in Discrete Estimation of Distribution Algorithms.- Real-coded Bayesian Optimization Algorithm.- The …

geschrieben von Jose A. Lozano (Herausgeber) und Pedro Larrañaga (Herausgeber) und Iñaki Inza (Herausgeber) und Endika Bengoetxea (Herausgeber)

Christopher Breen has been writing about music and technology since the latter days of the Reagan Administration. Contributor to such publications as Macworld and PC World, he pens Macworld's popular …

iPod users want to start using their devices as soon as they get their hands on them, and this guide shows them how. In these pages, trusted gadget teacher Christopher Breen reveals the secrets to …

Fully updated, low-priced book packed with quick results for people who want …

geschrieben von Christopher Breen (Autor)

Multiobjective problems involve several competing measures of solution quality, and multiobjective evolutionary algorithms (MOEAs) and multiobjective problem solving have become important topics of …

Introduction.- Fundamentals.- Connections to Nature.- Formulating a Problem.- Single-Objective Problems.- Dealing with Many Objectives.- Applications.- Conclusions.- MOEA: Triumph of Natural …

geschrieben von Joshua Knowles (Herausgeber) und David W. Corne (Herausgeber) und Kalyanmoy Deb (Herausgeber)

Two main types of embodied agents are playing an increasingly important role in cognitive interaction technology: virtual humans inhabiting simulated environments and humanoid robots inhabiting the …

geschrieben von Ipke Wachsmuth (Herausgeber) und Gunther Knoblich (Herausgeber)