This book presents developments of a language independent theory of program structure. The theory features a simple, natural notion of control structure which is much broader than in other theories of programming languages such as denotational semantics and program schemes… Meer
The book is devoted to a simplified set-theoretic version of denotational semantics where sets are used in place of Scott's reflexive domains and where jumps are described without continuations. This approach has emerged as a reaction to the sophisticated model of traditional semantics… Meer
Die deutsche Frühjahrsschule für Künstliche Intelligenz, jährlich veranstaltet von der Fachgruppe 1.2 "Künstliche Intelligenz und Mustererkennung" der Gesellschaft für Informatik, ist in den letzten Jahren zu einem festen Begriff geworden… Meer
Dieses Buch ist eine leicht gekürzte, überarbeitete Fassung der Karlsruher Dissertation des Verfassers. Das Buch befaßt sich mit dem Problem der Überlast in auftragsverarbeitenden Systemen. Eine Steigerung der Auftragslast in solchen Systemen bewirkt oft zunächst auch eine Steigerung des… Meer
Dies ist der Tagungsband zu dem Fachgespräch "Non-Standard Datenbanken für Anwendungen der Graphischen Datenverarbeitung", das am 21. und 22. März 1988 in Dortmund vom Fachausschuß 4.1 der Gesellschaft für Informatik veranstaltet wurde… Meer
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. Conditional rewriting has actually known important breakthroughs during the last two years; it was the… Meer
This volume contains the proceedings of an international workshop on "Experiences with Distributed Systems" held September 28-30, 1987, at the University of Kaiserslautern. The workshop was jointly sponsored and organized by the Sonderforschungsbereich 124 "VSLI-Entwurfsmethoden und Parallelität"… Meer
Experten berichten in diesem Buch über den Einsatz von Desktop-Publishing-Systemen. Im Vordergrund stehen dabei Aspekte der Software sowie Anwendungen im graphischen Gewerbe, im CAD-Bereich, in der öffentlichen Verwaltung sowie in Klein- und Mittelbetrieben… Meer
Many of us already have at least a passing acquaintance with procedural languages such as BASIC or Pascal, but may not have met a functional language like Lisp before. Using the same enjoyable and sometimes quirky style that they employed so successfully in "The Art of C-Programming", Robin Jones… Meer
Text and Context: Document Storage and Processing describes information processing techniques, including those which do not appear in conventional textbooks on database systems. It focuses on the input, storage, retrieval and presentation of primarily textual information, together with auxiliary… Meer
In November 1989 we organised a workshop on software re-use, inviting members of the leading research teams across Europe. In retrospect, we realise that we missed a few research teams out, but nevertheless we did have a very fruitful workshop. This book is the outcome of that meeting… Meer
As computer technology is used to control critical systems to an increasing degree, it is vital that the methods for developing and understanding these systems are substantially improved. The mathematical and scientific foundations currently used are extremely limited which means that their… Meer
The Glasgow functional programming group has held a workshop each summer since 1988. The entire group, accompanied by a selection of colleagues from other institutions, retreats to a pleasant Scottish location for a few days… Meer
The Glasgow Functional Programming Group is widely recognised for its research in lazy functional languages. Once again this year, for the fifth time, we retreated to a Scottish seaside town to discuss our latest work, this time spending three days in Ayr… Meer
Recent developments in computer visualisation mean that it is now possible to combine computer-generated image sequences with real video, in real time, for broadcast quality production. This will not only revolutionise the broadcast industry, by making "electronic film sets" possible for example… Meer
The application of intelligent imaging techniques to industrial vision problems is an evolving aspect of current machine vision research. Machine vision is a relatively new technology, more concerned with systems engineering than with computer science, and with much to offer the manufacturing… Meer
UbiComp 2003, the 5th Annual Conference on Ubiquitous Computing, is the premier forum for presentation of research results in all areas relating to the - sign, implementation, deployment and evaluation of ubiquitous computing te- nologies… Meer
In September 2001, we organized the 1st International Conference on Virtual Sto- telling in Avignon, France. This was the ?rst international scienti?c event entirely - voted to the new discipline that links the ancient human art of storytelling to the latest high technologies of the Virtual Reality… Meer
This thesis deals with the problems of characterizing the semantics of and assuringe?cient executionfor databasequery languages,wherethedatabase contains semistructured and time-varying information. This area of techn- ogy is of much interest and signi?cance for databases and knowledge bases; it… Meer
The Symposium on Theoretical Aspects of Computer Science (STACS) is alt- nately held in France and in Germany. The conference of March 25–27, 2004 at the Corum, Montpellier was the twenty-?rst in this series… Meer
Een AI-book is niet een boek dat geschreven is door AI maar een boek dat verrijkt is met AI. Het maakt de inhoud van een boek interactief via WhatsApp, zodat je ermee kunt chatten. Zie het als een razend slimme assistent die het boek perfect begrijpt en er alles uit onthouden heeft. Jij kunt deze assistent alles vragen. Vraag bijvoorbeeld hoe je iets kunt toepassen op jouw persoonlijke situatie, om een korte samenvatting, of wat de belangrijkste inzichten zijn. AI-books zijn alleen te gebruiken via WhatsApp, je hoeft er geen aparte app voor te installeren.
Meer informatie over AI-books
