Informatik (15 755 Artikel)

Synthesis.- A Formal Framework for Synthesis and Verification of Logic Programs.- Protocols between Programs and Proofs.- Protocols between Programs and Proofs.- A Technique for Modular Logic Progr...

I: Architektur von Datenbanksystemen.- 1 Architektur von Datenbanksystemen.- II: Speichersystem.- 2 Konzepte und Komponenten der E/A-Architektur.- 3 Dateien und Blöcke.- 4 Segmente und Seiten.- 5 D...

Invasion of privacy and misuse of personal data are among the most obvious negative effects of today's information and communication technologies. Besides technical issues from a variety of fields,...

AI 2001 is the 14th in the series of Arti cial Intelligence conferences sponsored by the Canadian Society for Computational Studies of Intelligence/Soci et e - nadienne pour l' etude de l'intellige...

Initially, computer systems performance analyses were carried out primarily because of limited resources. Due to ever increasing functional complexity of computational systems and user requirements...

Network Calculus is a set of recent developments that provide deep insights into flow problems encountered in the Internet and in intranets. The first part of the book is a self-contained, introduc...

Overview of Robocup-2000.- Champion Teams.- Challenge Award Finalists.- Full Papers.- Poster Description.- Simulation League.- PSI Team.- Gnez: Adapting Knowledge to the Environment with GA.- Zeng0...

The importance of typed languages for building robust software systems is, by now, an undisputed fact. Years of research have led to languages with richly expressive, yet easy to use, type systems ...

The workshop on Computability and Complexity in Analysis, CCA 2000, was hosted by the Department of Computer Science of the University of Wales Swansea, September 17{19, 2000. It was the fourth wor...

An Invitation to the Dance It is an underappreciated fact that sets may have various types of complex ity, and not all types are in harmony with each other. The primary goal of this book is to unif...

This book constitutes the refereed proceedings of the 15th European Conference on Object-Oriented Programming, ECOOP 2001, held in Budapest, Hungary, in June 2001.The 18 revised full papers present...

Since the late 1980s, the CAiSE conferences have provided a forum for the p- sentation and exchange of research results and practical experiences within the ?eld of Information Systems Engineering....

Face as Biometrics.- Face Identification and Verification via ECOC.- Pose-Independent Face Identification from Video Sequences.- Face Recognition Using Independent GaborWavelet Features.- Face Reco...

Welcome to IWQoS2001 in Karlsruhe! Quality of Service is a very active research field, especially in the networking community. Research in this area has been going on for some time, with results ge...

This volume contains the papers selected for presentation at IPCO VIII, the Eighth Conference on Integer Programming and Combinatorial Optimization, Utrecht, The Netherlands, 2001. This meeting isa...