Informatik (15 755 Artikel)

This book is concerned with the rich and fruitful interplay between the fields of computational logic and machine learning. The intended audience is senior undergraduates, graduate students, and re...

Recent research has repeatedly led to connections between important rigidity questions and bounded cohomology. However, the latter has remained by and large intractable. This monograph introduces t...

Der vorliegende Übungsband enthält Aufgaben zu einer viersemestrigen Vorlesung "Einführung in die Informatik". Er ist eng abgestimmt auf die zweibändige Informatik-Einführung von M. Broy - das Gele...

Invited Opening Talk.- Program Analysis for Implicit Computational Complexity.- Contributed Papers.- Deriving Pre-conditions for Array Bound Check Elimination.- Type Systems for Useless-Variable El...

Cryptanalysis I.- Analysis of IS-95 CDMA Voice Privacy.- Attacks on Additive Encryption of Redundant Plaintext and Implications on Internet Security.- Cryptanalysis of the "Augmented Family of Cryp...

EUROCRYPT 2001, the 20th annual Eurocrypt conference, was sponsored by the IACR, the International Association for Cryptologic Research, see http://www. iacr. org/, this year in cooperation with th...

Invited Papers.- George Boole, a Forerunner of Symbolic Computation.- Artificial Intelligence as a Decision Tool for Efficient Strategic and Operational Management.- OMDoc: Towards an Internet Stan...

The papers in this volume were presented at the 6th International Meeting on DNA Based Computers, organized by the Leiden Center for Natural Computing and held from June 13 to June 17, 2000 at The ...

Robotics applications, initially developed for industrial and manufacturing contexts, are now strongly present in several elds. Besides well-known space and high-technology applications, robotics f...

This book presents the refereed proceedings of the International Workshop on Mathematical Methods, Models, and Architectures for Network Security Systems, MMM-ACNS 2001, held in St. Petersburg in M...

Industrial robots carry out simple tasks in customized environments for which it is typical that nearly all e?ector movements can be planned during an - line phase. A continual control based on sen...

This book constitutes the refereed proceedings of the 4th International Workshop on Visual Form, IWVF-4, held in Capri, Italy, in May 2001.The 66 revised full papers presented together with seven i...

In the ?rst part of the present volume of LNCS, the reader will ?nd the invited talks given at the MCU 2001 conference. In the second part, he/she will ?nd the contributions that were presented at ...

This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Theoretical Foundations of Computer Vision, held at Dagstuhl Castle, Germany, in March 2000.The ...

This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001. The SPIN model checker is one of the most powerful and popular systems fo...