Term Indexing


Book Description

Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated theorem provers, by allowing rapid access to first order predicate calculus terms with specific properties. This monograph provides a comprehensive, well-written survey on term indexing in general and presents new indexing techniques for the retrieval and maintenance of data that help to overcome program degradation in automated reasoning systems. Theoretical foundations and applicational aspects are treated in detail; finally the PURR prover for parallel unit resulting resolution is discussed to demonstrate the importance of careful implementations.







Automatic Indexing and Abstracting of Document Texts


Book Description

Automatic Indexing and Abstracting of Document Texts summarizes the latest techniques of automatic indexing and abstracting, and the results of their application. It also places the techniques in the context of the study of text, manual indexing and abstracting, and the use of the indexing descriptions and abstracts in systems that select documents or information from large collections. Important sections of the book consider the development of new techniques for indexing and abstracting. The techniques involve the following: using text grammars, learning of the themes of the texts including the identification of representative sentences or paragraphs by means of adequate cluster algorithms, and learning of classification patterns of texts. In addition, the book is an attempt to illuminate new avenues for future research. Automatic Indexing and Abstracting of Document Texts is an excellent reference for researchers and professionals working in the field of content management and information retrieval.




Indexing Specialties


Book Description

Heather Hedden offers straightforward, get-it-done advice, bringing everything you need to know to create great Web site indexes together in one place. She covers cutting edge tools and techniques, and demonstrates how to create index pages, index entries, indentations, hyperlinks, and cross-reference links. If you have already begun to meet the growing demand for Web site indexes, here s a rich source of expert advice and support. If you ve yet to create your first index on the Web, have no fear: this reassuring guide makes it seem easy!




The Indexing Companion


Book Description

The Indexing Companion, first published in 2007, gives an overview of indexing for professional indexers, editors, authors, librarians and others who may be called upon to write, contribute to, edit or commission an index. It covers basic principles as well as examining controversial areas. It is based on publishing standards, textbooks, and the consensus of the indexing community, gained from participation in various mailing lists. It discusses a wide range of document formats and subjects that require indexing, as well as dipping into new topics on the edge of indexing such as folksonomies and the semantic web. Some people consider indexing to be a dry topic - at the end of this book people should be thinking of indexing as a challenging and rewarding profession.




Can You Recommend a Good Book on Indexing?


Book Description

This book contains a selection of top journal reviews of popular books on indexing. The items reviewed fall under the following headings: general and theoretical works, book indexing, database indexing and records management, thesauri, and computer-assisted and automatic indexing.




Indexing and Classification


Book Description




Indexing Biographies and Other Stories of Human Lives


Book Description

Stories of human lives can be fascinating but frequently difficult to index well. The new, updated fourth edition of Hazel K. Bell’s Indexing Biographies is a valuable guide to the points for consideration when indexing life histories, biographies, autobiographies, letters and other narrative texts. Topics include the indexing of fiction, analysis of the text before indexing, names and their various forms, appropriate language choice for index entries, impartiality of the indexer, and how to treat main characters (through appropriate subheading structure) and minor characters (where strings of locators are sometimes unavoidable). The book also discusses more technical matters of index layout, presentation and arrangement of entries, such as how to judge whether alphabetical, chronological, page order or thematic grouping is most appropriate for the text. Examples of good practice and outstanding indexes are provided throughout. Lists of useful reference works and relevant articles from The Indexer journal are also suggested. There is, of course, a comprehensive index. Indexing Biographies contains fine advice on best indexing practices for book indexers, trainee indexers, authors, publishers and all lovers of life histories. It is an excellent overview of the complex, important and rewarding task of indexing such material.




Book Indexing For Authors


Book Description

An index could be the thing your book is missing. Take a look in a library or bookstore and you will find few nonfiction books that don't have indexes. That's because publishers know how important the presence of an index is to readers - and therefore how vital it is for sales. Indies often don't realize this - and miss out on potential sales and potential good reviews. A book index is like a guidepost or map for your readers. It tells them what to expect from your book, where to find topics that interest them, and - importantly - what isn't in the book. This means that it reduces the chances of poor reviews and increases the chances of positive reviews. An index helps usability, which makes it more useful to readers.If you are an author thinking of creating your own index, you're in good company. There is quite a precedent for author-indexes (especially in the world of academia, where subjects are so specialist that it's hard to find a professional indexer with relevant experience). This book will guide you through the process and show you how to do it yourself in Microsoft Word. (Sorry, no Mac instructions.) This book is for you if... You need easy-to-understand instructions on how to create your own index for a non-fiction book using Microsoft Word; Your [traditional] publisher is insisting on an index and expecting you to pay for it; You don't have a big budget; You aren't a computer or publishing expert; You don't want to spend weeks (or months) learning how to index. This book is not for you if... You need an in-depth, theory-based book. Many people like the jump-right-in, workbook approach. You are looking for something to help you become a professional indexer, or to win indexing awards. Most professional training courses and organizations often recommend Nancy C. Mulwary's Indexing Books. Also check out the American Society of Indexers (ASI) - www.asindexing.org - and other professional and standards organizations in other countries. You can find courses on indexing in local colleges, as well as online. If you do buy this [print] book, you will have the opportunity of joining the forthcoming online course based on it - free of charge. You will be able to ask questions, receive help, and see in real-time what the creation of an index involves.