Informatik (15 755 Artikel)

Concurrency and distribution have become the dominant paradigm and concern in computer science. Despite the fact that much of the early research in object-oriented programming focused on sequential...

This Festschrift volume includes a collection of papers written in honor of the accomplishments of Professor Yonezawa on the occasion of his 65th birthday in 2012. With a few exceptions, the papers...

Concurrent Programming: Algorithms, Principles, and Foundations

Concurrent Programming: Algorithms, Principles, and Foundations

In this book, the author presents a new computational model of forestalling common flaws in autonomous robot behavior. To this end, robots are equipped with structured reactive plans (SRPs) which a...

Zero-knowledge proofs are fascinating and extremely useful constructs. Their fascinating nature is due to their seemingly contradictory de?nition; ze- knowledge proofs are convincing and yet yield ...

The 1st International Workshop on Conditional Term Rewriting Systems took place in Orsay (University of Paris-Sud) in July 1987, and brought together most of the researchers involved in the field. ...

This volume contains the papers preesented at the Third International Workshop on Conditional Term Rewriting Systems, held in Pont- -Mousson, France, July 8-10, 1992. Topics covered include conditi...

Conditionals and Modularity in General Logics

Conditionals and Modularity in General Logics

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...

Confabulation theory offers the first complete detailed explanation of the mechanism of cognition, i.e., thinking, an essential information processing capability of all enbrained Earth animals (bee...

Confabulation theory offers the first complete detailed explanation of the mechanism of cognition, i.e., thinking, an essential information processing capability of all enbrained Earth animals (bee...

It was a collaborative platform for academic experts, researchers and corporate professionals for interacting their research in various domain of engineering like robotics, data acquisition, human-...

Have you thought of how it feels to be an AI brain in the world of humans? This book allows such a brain to tell us how it takes on its mission of helping humans to develop a more efficient, sustai...