KI-97: Advances in Artificial Intelligence

KI-97: Advances in Artificial Intelligence
Author: Gerhard Brewka
Publisher: Springer Science & Business Media
Total Pages: 68
Release: 1997-08-27
Genre: Computers
ISBN: 9783540634935

This book constitutes the refereed proceedings of the 21st Annual German Conference on Artificial Intelligence, KI-97, held in Freiburg, Germany, in September 1997. The volume presents revised versions of 26 full papers and 10 posters selected from around 70 submissions from more than 15 countries. Also included are three excellent invited contributions by Anthony G. Cohn, Kurt Konolige, and Pat Langley. The papers are organized in topical sections on theorem proving, nonclassical logics, knowledge representation, spatial reasoning, computational linguistics, computer perception and neural nets, and on planning, diagnosis and search.

Principles of Document Processing

Principles of Document Processing
Author: Charles Nicholas
Publisher: Springer Science & Business Media
Total Pages: 218
Release: 1997-09-17
Genre: Computers
ISBN: 9783540636205

This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Principles of Document Processing, PODP'96, held in Palo Alto, California, USA, in September 1996. The book contains 13 revised full papers presented as chapters of a coherent, monograph-like book. The papers focus equally on the theory and the practice of document processing. Among the topics covered are theory of media, cross media publishing and multi-modal documents, SGML content models, grammar-compatible stylesheets, multimedia documents, temporal constraints in multimedia, hypertext representation, contextual knowledge, structured documents for IR, Web-publishing, virtual documents, etc.

Lectures on Proof Verification and Approximation Algorithms

Lectures on Proof Verification and Approximation Algorithms
Author: Ernst W. Mayr
Publisher: Springer Science & Business Media
Total Pages: 370
Release: 1998-02-25
Genre: Computers
ISBN: 9783540642015

This is a self-contained presentation of the enormous recent progress on the interplay between and applications of the theory of probabilistically checkable proofs and approximation algorithms.

Babylonian Topographical Texts

Babylonian Topographical Texts
Author: A. R. George
Publisher: Peeters Publishers
Total Pages: 592
Release: 1992
Genre: Foreign Language Study
ISBN: 9789068314106

Babylonian Topographical Texts collects for the first time all Babylonian and Assyrian texts of the first millennium B.C. that belong to what is designated the topographical genre. Much of the material is not previously published. The book is largely concerned with Babylon. Seventeen texts on this city now allow its topography to be properly understood for the first time. Another seventeen texts concern the cities of Nippur, Assur, Kish and Uruk. Also included are thirty miscellaneous texts, mostly new, which bear upon topographical matters. The text editions and translations are supplemented by a philological and topical commentary. The work is concluded with full indices, and 57 plates of cuneiform copies.

SOFSEM '97: Theory and Practice of Informatics

SOFSEM '97: Theory and Practice of Informatics
Author: Frantisek Plasil
Publisher: Springer Science & Business Media
Total Pages: 596
Release: 1997-11-05
Genre: Computers
ISBN: 9783540637745

This book constitutes the refereed proceedings of the 24th Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM'97, held in Milovy, Czech Republic, in November 1997. SOFSEM is special in being a mix of a winter school, an international conference, and an advanced workshop meeting the demand for ongoing education in the area of computer science. The volume presents 22 invited contributions by leading experts together with 24 revised contributed papers selected from 63 submissions. The invited presentations are organized in topical sections on foundations, distributed and parallel computing, software engineering and methodology, and databases and information systems.

KI-97: Advances in Artificial Intelligence

KI-97: Advances in Artificial Intelligence
Author: Gerhard Brewka
Publisher: Springer
Total Pages: 418
Release: 1997-08-27
Genre: Computers
ISBN: 9783540634935

This book constitutes the refereed proceedings of the 21st Annual German Conference on Artificial Intelligence, KI-97, held in Freiburg, Germany, in September 1997. The volume presents revised versions of 26 full papers and 10 posters selected from around 70 submissions from more than 15 countries. Also included are three excellent invited contributions by Anthony G. Cohn, Kurt Konolige, and Pat Langley. The papers are organized in topical sections on theorem proving, nonclassical logics, knowledge representation, spatial reasoning, computational linguistics, computer perception and neural nets, and on planning, diagnosis and search.

Sumerian Business and Administrative Documents from the Earliest Times to the Dynasty of Agade

Sumerian Business and Administrative Documents from the Earliest Times to the Dynasty of Agade
Author: George A. Barton
Publisher: University of Pennsylvania Press
Total Pages: 188
Release: 2018-01-09
Genre: History
ISBN: 1512814229

This book is a volume in the Penn Press Anniversary Collection. To mark its 125th anniversary in 2015, the University of Pennsylvania Press rereleased more than 1,100 titles from Penn Press's distinguished backlist from 1899-1999 that had fallen out of print. Spanning an entire century, the Anniversary Collection offers peer-reviewed scholarship in a wide range of subject areas.