Informatik (15.755 Artikel)

HMD Best Paper Award 2014

Prolog has a declarative style. A predicate definition includes both the input and output parameters, and it allows a programmer to define a desired result without being concerned about the detaile...

This volume was motivated by the Year of Prolog initiative, launched to celebrate the 50th anniversary of the emergence of Prolog through the work of Alain Colmerauer's team in Marseille. The volum...

Proof theory has long been established as a basic discipline of mathematical logic. It has recently become increasingly relevant to computer science. The - ductive apparatus provided by proof theor...

Logical concepts and methods are of growing importance in many areas of computer science. The proofs-as-programs paradigm and the wide acceptance of Prolog show this clearly. The logical notion of ...

Not so many years ago, it would have been difficult to find more than a handful of examples of the use of formal methods in industry. Today however, the industrial application of formal methods is ...

How to draw plausible conclusions from uncertain and conflicting sources of evidence is one of the major intellectual challenges of Artificial Intelligence. It is a prerequisite of the smart techno...

How to draw plausible conclusions from uncertain and conflicting sources of evidence is one of the major intellectual challenges of Artificial Intelligence. It is a prerequisite of the smart techno...

Speech technology, the automatic processing of (spontaneously) spoken language, is now known to be technically feasible. It will become the major tool for handling the confusion of languages with a...

Preface VI I X Table of Contents B. Möller and J.V. Tucker (Eds.): Prospects for Hardware Foundations, LNCS 1546, pp. 1-26, 1998. Springer-Verlag Berlin Heidelberg 1998 2 The NADA Group Introductio...

This book presents a comprehensive approach to protecting sensitive information when large data collections are released by their owners. It addresses three key requirements of data privacy: the pr...

This book presents a comprehensive approach to protecting sensitive information when large data collections are released by their owners. It addresses three key requirements of data privacy: the pr...

Das Buch beschreibt Datenschutz erstmals als Offenheit (Transparenz) statt Datensparsamkeit. Der Autor beschreibt als Voraussetzung dazu einen Besitztitel auf Daten. Die Umsetzung erfolgt über Big ...

I Prinzip der Kommunikationsprotokolle.- 1 Dienste.- 2 Protokolle.- 3 Schichten.- 4 Kommunikationsarchitekturen.- 5 Protokollfunktionen.- 6 Fallbeispiel: Der Internet-Protokollstack.- II Beschreibu...

Performance of Protocols and Applications.- Optimal Traffic Shaping with Deterministic Guarantees Using GPS Scheduling.- Evaluation of Video Server Capacity with Regard to Quality of the Service in...