Buecher-Lounge.de

"This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at Stanford University in June 1994. The in total 37 included papers were selected in a highly …

geschrieben von David L. Dill (Herausgeber)

James L. McGaugh

Most of us remember where we were and what we were doing on September 11, 2001. Why do most experiences leave little trace while some -- even terrible ordeals that people wish they could forget -- …

"The book provides a succinct and lucid summary of many facts related to memory... [and] will almost inevitably reward readers with facts or points of view not previously considered." -- Robert W. …

How experience and emotion influence learning, …

geschrieben von James L. McGaugh (Autor)

Constraint satisfaction problems are significant in the domain of automated reasoning for artificial intelligence. They can be applied to the modeling and solving of a wide range of combinatorial …

Introduction.- Interchangeability and Solution Adaptation in Crisp CSPs.- Interchangeability in Soft CSPs.- Multi Agent Computation of Interchangeability in Distributed CSPs.- Interchangeability in …

geschrieben von Nicoleta Neagu (Autor)

This book constitutes the eight official archival publication devoted to RoboCup. It documents the achivements presented at the RoboCup 2004 Symposium, held in Lisbon, Portugal in June/July 2004 in …

geschrieben von Daniele Nardi (Herausgeber) und Martin Riedmiller (Herausgeber) und Claude Sammut (Herausgeber) und José Santos-Victor (Herausgeber)

There are not many interdisciplinary scientific fields as formal language theory. In this volume, it is presented as the very intersection point between Mathematics, Computer Science, Linguistics and …

Preface. Contributing Authors. 1. The Games of His Life; S. Marcus. Part I: Grammars and Grammar Systems. 2. Deterministic Stream X-Machines Based on Grammar Systems; T. Balanescu, et al. 3. Some …

geschrieben von Carlos Martín-Vide (Herausgeber) und V. Mitrana (Herausgeber)

Das Mobiltelefon ist aus dem heutigen Alltag nicht mehr wegzudenken. Moderne Mobiltelefone sind mittlerweile nicht nur zum Austausch von Sprache fähig, sondern beinhalten weitaus mehr Funktionen. …

geschrieben von Sebastian Esser (Autor)

This book constitutes the refereed proceedings of the 5th International Conference on Machines, Computations, and Universality, MCU 2007, held in Orleans, France, September 10-13, 2007.
The 18 …

geschrieben von Jerome Durand-Lose (Herausgeber) und Maurice Margenstern (Herausgeber)

Organisational Semiotics offers an effective approach to analysing organisations and modelling organisational behaviour. The methods and techniques derived from Organisational Semiotics enable us to …

From the contents: 1. Semiotics, Compassion and Value-Centered Design; J.A. Goguen.- 2. Semionics: A Proposal for the Semiotic Modelling of Organisations; R.R. Gudwin.- 3. Anticipated Activities; P.B. …

geschrieben von Kecheng Liu (Autor) und Kecheng Liu (Herausgeber)

This book assesses the state of the art in some of the most active research areas in theoretical computer science. It presents research papers and survey articles written by leading researchers on the …

geschrieben von Wilfried Brauer (Herausgeber) und Hartmut Ehrig (Herausgeber) und Juhani Karhumäki (Herausgeber) und Arto K. Salomaa (Herausgeber)

Christian Safran is a scientific assistant at the Graz University of Technology. He received his diploma in Telematics in 2006 and is working on a PhD thesis on collaborative tools for online learning …

In today's knowledge driven society, the efficiency of the transfer and acquisition of knowledge has gained importance. In order to acquire new knowledge, a user needs information about the problem …

geschrieben von Christian Safran (Autor)