Buecher-Lounge.de

This volume constitutes the proceedings of the Fifth International Conference on Concurrency Theory, CONCUR '94, held at Uppsala, Sweden in August 1994.In total, 29 refereed research papers selected …

geschrieben von Bengt Jonsson (Herausgeber) und Joachim Parrow (Herausgeber)

This book constitutes the thoroughly refereed post-proceedings of the 8th Panhellenic Conference on Informatics, PCI 2001, held in Nicosia, Cyprus in November 2001.
The 31 revised full papers …

geschrieben von Yannis Manolopoulos (Herausgeber) und Skevos Evripidou (Herausgeber) und Antonis C. Kakas (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)

This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2004, held in …

geschrieben von Gilles Barthe (Herausgeber) und Lilian Burdy (Herausgeber) und Marieke Huisman (Herausgeber) und Traian Muntean (Herausgeber) und Jean-Louis Lanet (Herausgeber)

With the unprecedented rate at which data is being collected today in almost all fields of human endeavor, there is an emerging economic and scientific need to extract useful information from it. Data …

* Graph Theory & Lattices * Association Rules * Sequences *Classification * Clustering * Outlier …

geschrieben von Mohammed J. Zaki (Autor)

signals war often depended upon close …

Foreword: a historian's perspective, David Kahn. Axis Sigint collaboration - a limited partnership, David Alvarez; automating American cryptanalysis, 1930-45 - marvellous machines, a bit too late, …

geschrieben von David Alvarez (Herausgeber)

Georgia Institute of Technology, …

Focuses on digital signal processing applications in speech and acoustics. This title features chapters and a section on relevant standards associated with speech, audio, video, and image processing. …

geschrieben von Vijay K. Madisetti (Autor)

Prof. Dr. Karsten Weicker, …

Natürliche Evolution - Von der Evolution zur Optimierung - Prinzipien evolutionärer Algorithmen - Evolutionäre Standardalgorithmen - Techniken für spezifische Problemanforderungen …

Evolutionäre Algorithmen sind relativ neue Methoden zur Lösung von Optimierungsproblemen in Industrie, Wirtschaft und Forschung. Inspiriert durch die biologische Evolution imitieren sie das …

geschrieben von Karsten Weicker (Autor)

Christel Baier is Professor and Chair for Algebraic and Logical Foundations of Computer Science in the Faculty of Computer Science at the Technical University of Dresden. Joost-Pieter Katoen is …

Presents a comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and …

geschrieben von Christel Baier (Autor) und Joost-Pieter Katoen (Autor)

New international …

geschrieben von Peter Rob (Autor) und Carlos Coronel (Autor) und Keeley Crockett (Autor)