Der vorliegende Band der Reihe "Informatik Aktuell" beinhaltet die Beitrage der Ol-Fachtagung "Hypertext und Hypermedia 1992 - Konzepte und Anwendungen auf dem Weg in die Praxis". Diese Fachtagung, die von der Fachgruppe 4. 9. 1 der 01 "Hypertextsysteme" in Zusamamenarbeit mit der Deutschen… Meer
We are very pleased to present the proceedings of the First Workshop on Bio- formatics (WABI 2001), which took place in Aarhus on August 28{31, 2001, under the auspices of the European Association for Theoretical Computer S- ence (EATCS) and the Danish Center for Basic Research in Computer Science… Meer
th DEXA 2001, the 12 International Conference on Database and Expert Systems Applications was held on September 3–5, 2001, at the Technical University of Munich, Germany. The rapidly growing spectrum of database applications has led to the establishment of more specialized discussion platforms… Meer
The Cambridge International Workshop on Security Protocols has now run for eight years. Each year we set a theme, focusing upon a speci?c aspect of security protocols, and invite position papers. Anybody is welcome to send us a position paper (yes, you are invited) and we don’t insist they relate to… Meer
Neueste Marktanalysen besagen, da~ weltweit mehr als zehn Millionen PersonalComputer mit dem Betriebssystem MS-DOS arbeiten. Trotz dieser weiten Verbreitung werden zunehmend die Schw{chen und Beschr{nkungen von MS-DOS deutlich… Meer
The term "grid computing" is based on an analogy with the electrical power grid: computing capabilities should be ubiquitous and easy to use. While the development of what we now call grid computing is, in many ways, part of a natural progression of work done in the last decade, what's special about… Meer
This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on Rough Sets and Current Trends in Computing, RSCTC 2000, held in Banff, Canada in October 2000. The 80 revised papers presented together with an introduction and three keynote presentations have… Meer
This volume contains the proceedings of the Eurpoean Conference on Machine Learning (ECML-93), continuing the tradition of the five earlier EWSLs (European Working Sessions on Learning). The aim of these conferences is to provide a platform for presenting the latest results in the area of machine… Meer
The papers in this volume are extended versions of presentations at the fourth International Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems (IPMU), held in Palma de Mallorca, July 6-10, 1992… Meer
These proceedings contain the papers presented at the Advanced Research Working Conference on Correct Hardware Design Methodologies, held in Arles, France, in May 1993, and organized by the ESPRIT Working Group 6018 CHARME-2and the Universit de Provence, Marseille, in cooperation with IFIP Working… Meer
The latest developments in rendering, visualization, and rasterization hardware are reported in this volume, which contains revised versions of thecontributions to the Sixth Eurographics Workshop on Graphics Hardware, held in Vienna in September 1991 in conjunction with the Eurographics '91… Meer
Neural computation arises from the capacity of nervous tissue to process information and accumulate knowledge in an intelligent manner. Conventional computational machines have encountered enormous difficulties in duplicatingsuch functionalities… Meer
The Third International Symposium on Large Spatial Databases (SSD '93) was held at the National University of Singapore in June 1993. The previous meetings of the series were at Sanata Barbara (1989) and Zurich (1991)… Meer
Eine Arbeitsgruppe des Fachbereichs KI der Gesellschaft für Informatik hatte auf Anregung von W. Bibel hin ein neues Konzept für die Jahrestagung dieses Fachbereichs erarbeitet. Christopher Habel, Clans-Rainer Rollinger und Thomas Christaller sind an erster Stelle als Autoren des Vorschlags zu… Meer
The SPIN workshop series brings together researchers and practitioners int- ested in explicit state model checking technology as it is applied to the veri?- tion of software systems. Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis at Montr´… Meer
This volume contains the papers that were presented at the Third Workshop onAlgorithmic Learning Theory, held in Tokyo in October 1992. In addition to 3invited papers, the volume contains 19 papers accepted for presentation, selected from 29 submitted extended abstracts… Meer
The International Conference on Human-Computer Interaction EWHCI '93 was thethird conference in a series which started in 1991 in Moscow. Like its predecessors, it was occasioned by the long separation of workers in HCI from one another and the new opportunity to learn from one another and to start… Meer
Dieses Buch bietet als erstes Lehrbuch eine systematische Einf}hrung in die Programmverifikation. Sequentielle, parallele und verteilte Programme werdenin einheitlicher Weise behandelt. In den einzelnen Kapiteln des Buches werden deterministische und nichtdeterministische Programme, Programme mit… Meer
Knowledge representation research is not only formal, it is also descriptiveand normative. Its aim is to implement a formal system which captures a practically relevant body of cognitive faculties employed by humans and capitalizes on its technical strength to extend human knowledge representation… 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
