This book constitutes the refereed proceedings of the 13th International Symposium on Static Analysis, SAS 2006. The book ...
Lire la suite
The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
Lire la suite
This book constitutes the proceedings of the 8th International Conference on Statistical Language and Speech Processing, ...
Lire la suite
This book gives a comprehensive and up-to-date account of the optimisation approach to shape correspondence, and the question ...
Lire la suite
This volume was prepared to share with a larger audience the exciting ideas and work presented at an ICML 2006 workshop of ...
Lire la suite
The first part of the book reviews the basic theoretical and practical concepts involved in the visual aspect of virtual ...
Lire la suite
This book constitutes the refereed proceedings of the 4th International Symposium on Stochastic Algorithms: Foundations and ...
Lire la suite
Constitutes the refereed proceedings of the Third International Symposium on Stochastic Algorithms: Foundations and Applications, ...
Lire la suite
The behavior of many technical systems important in everyday life can be described using discrete states and state-changing ...
Lire la suite
(Four areas in one book) This book covers various disciplines in learning and optimization, including perturbation analysis ...
Lire la suite
The search for optimal solutions pervades our daily lives. From the scientific point of view, optimization procedures play ...
Lire la suite
Provides concrete tips for the successful organization of software tests. Because: Planning and conception in advance are ...
Lire la suite
Researchers in data management have recently recognized the importance of a new class of data-intensive applications that ...
Lire la suite
Coverage in the 27 revised full papers includes dictionary algorithms, text searching, pattern matching, text compression, ...
Lire la suite
This book constitutes the refereed proceedings of the 27th International Symposium on String Processing and Information Retrieval, ...
Lire la suite
String processing (dictionary algorithms, text sear- ing, pattern matching, text compression, text mining, natural language ...
Lire la suite
This volume contains the papers presented at the 13th International Symposium on String Processing and Information Retrieval ...
Lire la suite
Constitutes the refereed proceedings of the 14th International Colloquium on Structural Information and Communication Complexity, ...
Lire la suite
This book constitutes the refereed conference proceedings of the 27th International Colloquium on Structural Information ...
Lire la suite
This book constitutes the refereed proceedings of the 12th International Colloquium on Structural Information and Communication ...
Lire la suite