Informatik (15 755 Artikel)

Balancing Reactivity and Social Deliberation in Multi-Agent Systems -- A Short Guide to the Contributions.- Reactivity and Deliberation: A Survey on Multi-Robot Systems.- II Architectures and Frame...

The phenomenal increases in computer system performance in recent years have been accompanied by a commensurate increase in power and energy dissipation. The latter has directly resulted in demand ...

Die Übersetzung der bewährten Einführung in die Informatik, entstanden am Massachusetts Institute of Technology (MIT), wird seit Jahren erfolgreich in der Lehre eingesetzt. Schritt für Schritt werd...

How Many Queries Are Needed to Learn One Bit of Information?.- Radial Basis Function Neural Networks Have Superlinear VC Dimension.- Tracking a Small Set of Experts by Mixing Past Posteriors.- Pote...

We are pleased to bring you this collection of papers for the Ninth International Conference on Conceptual Structures (ICCS), representing continued excellence in conceptual structures research. We...

Invited Talk.- Software Documentation and the Verification Process.- Model Checking and Theorem Proving.- Certifying Model Checkers.- Formalizing a JVML Verifier for Initialization in a Theorem Pro...

This book contains the presentations given at the Workshop on OpenMP App- cations and Tools, WOMPAT 2001. The workshop was held on July 30 and 31, 2001 at Purdue University, West Lafayette, Indiana...

Digitale Signaturen basieren auf kryptographischen Algorithmen. Nationale Gesetze zielen auf die beweisrechtliche Gleichstellung digitaler/elektronischer Signaturen mit handschriftlichen Unterschri...

Haptic human-computer interaction is interaction between a human computer user and the computer user interface based on the powerful human sense of touch. Haptic hardware has been discussed and exp...

Building on classical queueing theory mainly dealing with single node queueing systems, networks of queues, or stochastic networks has been a field of intensive research over the last three decades...

The 2001 International Conference on Case-Based Reasoning (ICCBR 2001, the fourth in the biennial ICCBR series (1995 in Sesimbra, Portugal; 1997 in Providence, Rhode Island (USA); 1999 in Seeon, Ge...

This book constitutes the refereed proceedings of the Second International Workshop on Machine Learning and Data Mining in Pattern Recognition, MLDM 2001, held in Leipzig, Germany in July 2001.The ...

It is generally understood that the present approachs to computing do not have the performance, flexibility, and reliability of biological information processing systems. Although there is a compre...

Conditionals are omnipresent, in everyday life as well as in scientific environments; they represent generic knowledge acquired inductively or learned from books. They tie a flexible and highly int...

Context has emerged as a central concept in a variety of contemporary app- aches to reasoning. The conference at which the papers in this volume were presented was the third international, interdis...