Information Retrieval List Digest 204 (March 14, 1994) URL = http://hegel.lib.ncsu.edu/stacks/serials/irld/irld-204 IRLIST Digest ISSN 1064-6965 March 14, 1994 Volume XI, Number 11 Issue 204 ********************************************************** I. NOTICES B. Publications 1. Linguistics and IR II. QUERIES B. Requests for Information 1. Program Correctness Information 2. Hypertext Information III. JOB ANNOUNCEMENTS 1. Chair & 2 Lectureships, Leeds University 2. CS Lecturer, University of Sheffield 3. Research Facilitator, University of Sheffield ********************************************************** I. NOTICES I.B.1. Fr: Sabourin Conrad Re: LINGUISTICS and IR Please find below a presentation of INFOLINGUA, a new series of bibliographies in the general field of artificial intelligence and computer processing of natural language communications. Thank you. Conrad F. Sabourin sabourco@ere.umontreal.ca ================================================================= INFOLINGUA (ISSN=1198-1083) A series of extensive and fully indexed bibliographies in A.I. - LINGUISTICS - INFORMATICS - COMMUNICATIONS - EDUCATION ================================================================= COMPUTATIONAL LINGUISTICS IN INFORMATION SCIENCE : Information Retrieval (Full-Text or Conceptual), Automatic Indexing, Text Abstraction, Content Analysis, Information Extraction, Query Languages : BIBLIOGRAPHY, by Conrad F. SABOURIN 1994, 2 volumes, 1047p, ISBN=2-921173-23-9,2-921173-24-7 Number of references : Total = 6390, information retrieval = 2100, full-text = 890, conceptual = 60 ; automatic indexing = 930, text abstraction = 270, content analysis = 530, information extraction = 520, etc. NATURAL LANGUAGE INTERFACES : Interfaces to Databases, to Expert Systems, to Robots, to Operating Systems, and to Question-Answering Systems : BIBLIOGRAPHY, by Conrad F. SABOURIN 1994, 2 volumes, 847p, ISBN=2-921173-08-5,2-921173-09-3 Number of references : Total = 4100, interface to database = 1100, to expert system = 70, to question-answering system = 640, to robot = 70 ; conversation system = 300, etc. MACHINE TRANSLATION : Aids to Translation, Speech Translation : BIBLIOGRAPHY, by Conrad F. SABOURIN and Laurent R. BOURBEAU 1994, 2 volumes, 1168p, ISBN=2-921173-10-7,2-921173-11-5 Number of references : Total = 8070, aids to translation = 550, speech translation =100 ; 60 different natural languages ; 120 systems COMPUTATIONAL MORPHOLOGY : Morphological Analysis and Generation, Lemmatization : BIBLIOGRAPHY, by Conrad F. SABOURIN 1994, 492p, ISBN=2-921173-01-8 Number of references : Total = 2350, morphological analysis = 1300, morphological generation = 290, lemmatization = 260, etc. COMPUTATIONAL PARSING : Syntactic Analysis, Semantic Analysis, Semantic Interpretation, Parsing Algorithms, Parsing Strategies : BIBLIOGRAPHY, by Conrad F. SABOURIN 1994, 2 volumes, 1029p, ISBN=2-921173-02-6,2-921173-03-4 Number of references : Total = 5180, syntactic analysis = 1110, semantic analysis = 710, semantic interpretation = 260, parsing algorithm = 200, parsing strategies = 70, etc. COMPUTATIONAL LEXICOLOGY AND LEXICOGRAPHY : Dictionaries, Thesauri, Term Banks ; Analysis, Transfer and Generation Dictionaries ; Machine Readable Dictionaries ; Lexical Semantics ; Lexicon Grammars : BIBLIOGRAPHY, by Conrad F. SABOURIN 1994, 2 volumes, 1031p, ISBN=2-921173-04-2,2-921173-05-0 Number of references : Total = 5910, dictionaries (production) = 1380, thesauri = 680, term banks = 680, analysis dictionaries = 1230, transfer dictionaries = 140, generation dictionaries = 60, lexical database/machine readable dictionaries = 550, lexical semantics = 780, lexicon grammar = 110, etc. COMPUTATIONAL TEXT UNDERSTANDING : Natural Language Programming, Argument Analysis : BIBLIOGRAPHY, by Conrad F. SABOURIN 1994, 657p, ISBN=2-921173-06-9 Number of references : Total = 3830, natural language programming = 110, argument analysis = 80, etc. COMPUTATIONAL TEXT GENERATION : Generation from Data or Linguistic Structure, Text Planning, Sentence Generation, Explanation Generation : BIBLIOGRAPHY, by Conrad F. SABOURIN with a survey article by Mark T. Maybury 1994, 649p, ISBN=2-921173-07-7 Number of references : Total = 2870, text generation from data = 1060, text generation from structure = 730, text planning = 180, sentence generation = 310, explanation generation = 330, etc. LITERARY COMPUTING : Style Analysis, Author Identification, Text Collation, Literary Criticism : BIBLIOGRAPHY, by Conrad F. SABOURIN 1994, 581p ISBN=2-921173-12-3 Number of references : Total = 4060, style analysis = 700, author identification = 340, text collation = 220, literary concordances and indexes = 840, fiction = 670, poetry = 670, theatre = 200, bible/tora/quran = 500, theme analysis = 100, creative text generation = 140, etc. COMPUTER ASSISTED LANGUAGE TEACHING : Teaching Vocabulary, Grammar, Spelling, Writing, Composition, Listening, Speaking, Translation, Foreign Languages ; Text Composition Aids, Error Detection and Correction, Readability Analysis : BIBLIOGRAPHY, by Conrad F. SABOURIN and Elca TARRAB 1994, 2 volumes, 1066p, ISBN=2-921173-13-1,2-921173-14-X Number of references : Total = 8010, teaching orthography = 130, writing = 1500, composition = 770, grammar = 430, listening/comprehension = 150, reading = 830, speaking = 200, vocabulary = 250, keyboarding = 60, foreign languages = 1900 ; lexical/grammatical error detection/correction = 500, text composition support = 440, etc. COMPUTER MEDIATED COMMUNICATION : Computer Conferencing, Electronic Mail, Electronic Publishing, Computer Interviewing, Interactive Text Reading, Group Decision Support Systems, Idea Generation Support Systems, Human-Machine Communication, Multi-Media Communication, Hypertext, Hypermedia, Linguistic Games : BIBLIOGRAPHY, by Conrad F. SABOURIN and Rolande M. Lamarche 1994, 2 volumes, 862p, ISBN=2-921173-15-8,2-921173-16-6 Number of references : Total = 5680, hypertext = 1500, hypermedia = 440, computer conferencing = 550, electronic mail = 400, electronic publishing = 370, multimodal communication = 100, human-machine communication = 960, computer interviewing = 100, etc. ELECTRONIC DOCUMENT PROCESSING : Document Editing, Formatting, Typesetting, Coding, Storing, Interchanging, Managing : BIBLIOGRAPHY, by Conrad F. SABOURIN 1994, 551p, ISBN=2-921173-17-4 Number of references : Total = 4260, document editing = 2400, formatting = 140, typesetting = 540, coding/mark-up = 420, interchanging = 170, management = 260, etc. COMPUTATIONAL CHARACTER PROCESSING : Character Coding, Input, Output, Synthesis, Ordering, Conversion ; Text Compression, Encryption, Display ; Hashing ; Literate Programming : BIBLIOGRAPHY, by Conrad F. SABOURIN 1994, 580p, ISBN=2-921173-18-2 Number of references : Total = 4120, character coding = 550, input = 900, output = 260, conversion = 360 ; text compression = 240, hashing = 110, etc. QUANTITATIVE AND STATISTICAL LINGUISTICS : Frequencies of Characters, Phonemes, Words, Grammatical Categories, Syntactic Structures ; Lexical Richness, Word Collocations, Entropy, Word Length, Sentence Length : BIBLIOGRAPHY, by Conrad F. SABOURIN 1994, 508p, ISBN=2-921173-19-0 Number of references : Total = 3100, frequencies of characters = 60, phonemes = 90, words = 640, grammatical categories = 90, grammatical features = 250 ; lexical richness = 100, word collocations = 230, entropy = 150, word length = 70, sentence length = 90, etc. MATHEMATICAL AND FORMAL LINGUISTICS : Grammar Formalisms, Grammar Testing, Logics, Quantifiers : BIBLIOGRAPHY, by Conrad F. SABOURIN 1994, 612p, ISBN=2-921173-20-4 Number of references : Total = 3840, formal linguistics = 1470, mathematical linguistics = 1910, grammar formalism = 480, grammar testing = 90, logic = 820, quantifiers = 300, etc. COMPUTATIONAL SPEECH PROCESSING : Speech Analysis, Recognition, Understanding, Compression, Transmission, Coding, Synthesis ; Text to Speech Systems, Speech to Tactile Displays, Speaker Identification, Prosody Processing : BIBLIOGRAPHY, by Conrad F. SABOURIN 1994, 2 volumes, 1187p, ISBN=2-921173-21-2,2-921173-22-0 Number of references : Total = 8290, speech analysis = 1110, speech recognition = 2600, speech understanding = 600, speech coding = 560, speech synthesis = 1500, text-to-speech = 560, speaker identification = 290, prosody processing = 600, etc. OPTICAL CHARACTER RECOGNITION AND DOCUMENT SEGMENTATION : Character Preprocessing, Thinning, Isolation, Segmentation, Feature Extraction ; Cursive and Multi-Font Recognition, Writer/Scriptor Identification : BIBLIOGRAPHY, by Conrad F. SABOURIN 1994, 512p, ISBN=2-921173-25-5 Number of references : Total = 3700, recognition of cursive characters = 910, hand printed characters = 490, printed characters = 390, multi-font characters = 140 ; on-line recognition = 170, writer identification = 330, document segmentation = 320, etc. ================================================================= FOR COMPLETE ORDERING INFORMATION, CONTACT: Payable to : INFOLINGUA inc. P.O. Box 187 Snowdon Montreal, Qc, H3X 3T4 CANADA Information : email : 73651.2144@compuserve.com ********************************************************** II. QUERIES II.B.1. Fr: Dennis L. Cason Re: Program Correctness Information I am a senior Computer Science undergraduate and for my senior seminar I have to do a presentation on Program correctness. Any steering or advice will be appreciated. E-Mail PCS$1918@selu.edu or PCS$1918@selu.edu Thanx in advance Dennis ********** II.B.2. Fr: Vilcu Stefanita Valeriu Re: Hypertext Information Dear Netters, I'm a new member of the IR-L and I'm not so experienced in searching and getting the strategy of listserv programs. Maybe someone can tell me how I can find some software, docs, and sources about hypertext generally. I'm looking for formats of hypertext files, advice for building a hypertext program, and eventually some sources of compilers, editors, and viewers of hypertext files. Stefanita Valeriu Vilcu "Politehnica" University of Bucharest ********************************************************** III. JOB ANNOUNCEMENTS III.1. Fr: E.S. Atwell Re: Chair & 2 Lectureships at Leeds University I am posting the following on behalf of colleagues in the Philosophy Dept here at Leeds University; readers of this bulletin interested in Artificial Intelligence and/or Computer Analysis of Language and Speech from a Philosophical perspective will hopefully be interested (I have to say I'm biased in favour of potential colleagues I could collaborate with!!). Eric Steven Atwell National Coordinator, Higher Education Funding Councils' KBS Initiative Director, Centre for Computer Analysis of Language And Speech (CCALAS) Artificial Intelligence Division, School of Computer Studies Leeds University Leeds LS2 9JT, England phone: +44 532 335761 FAX: +44 532 335468 Email: eric@scs.leeds.ac.uk &&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& THE UNIVERSITY OF LEEDS DEPARTMENT OF PHILOSOPHY: CHAIR OF PHILOSOPHY, TWO LECTURESHIPS IN PHILOSOPHY Applications are invited for a Chair of Philosophy and for two permanent Lectureships in Philosophy. All these posts are tenable from 1 September 1994, or as soon as possible thereafter by agreement. Candidates with interests in any area of philosophy are welcome to apply. Following a recent expansion of the Department in both staff and student numbers, the University is seeking to consolidate and to strengthen the Department's research profile. The advertised posts will increase the permanent staff of the Department from 16 to 19. The persons appointed will have a proven research record. The successful candidate for the Chair will be expected to provide leadership for research activities in Philosophy within the Department. The salary for the Chair will be within the non-clinical professorial range. The salary for each of the lectureships will be on Grade A (13,601 - 18,855) or Grade B (19,642 - 25,107). [Figures are pounds sterling.] The University of Leeds is an equal opportunity employer. Women and members of ethnic minorities are under-represented in the University in posts at this level and the University would therefore particulary welcome applications from members of such groups, whilst, however, affirming that the appointment will be made entirely on merit. Further particulars for the Chair (reference number 13/16), and application forms and further particulars for the two Lectureships (reference number 13/17) may be obtained from the Personnel Division (Academic Section), Office of the Registrar, the University of Leeds, Leeds LS2 9JT, tel: 0532 335771 - direct line, quoting the relevant reference number. THE CLOSING DATE FOR APPLICATIONS FOR THE LECTURESHIPS IS 18 MARCH 1994. THE CLOSING DATE FOR APPLICATIONS FOR THE CHAIR IS THURSDAY 31 MARCH 1994. [Copies of the further particulars for these posts may be obtained by anonymous ftp from ftp.scs.leeds.ac.uk, name 'anonymous' and give your email address as the password. For the professorial chair further particulars ask for the file philos/chair_partics; for the lectureship further particular ask for the file philos/lect_partics; for the staff-list of the Philosophy Department (listing interests etc.) ask for the file philos/stafflist. The Philosophy Department at Leeds is grateful to the School of Computer Studies for providing this facility.] ********** III.2. Fr: Paul Mc Kevitt Re: U. of Sheffield Computer Science Lecturer The Department of Computer Science wishes to recruit a Lecturer Grade A to a fixed 5 year appointment arising from the award of an SERC Advanced Research Fellowship to Dr. P Mc Kevitt. The lectureship will be tenable from 1/10/94 and applications are invited from anyone with research interests in the following areas: Cognitive Systems Computational Models of Hearing Speech Technology Natural Language Processing Computer Graphics Intelligent Tutoring Systems Computer Argumentation Connectionist Language Processing Formal Methods and Software Engineering Theory of Computer Science Software and systems engineering Communication Networks Neural Networks Parallel Systems Safety Critical Systems Parallel Databases CASE Tools for Parallel Systems CLOSING DATE FOR APPLICATIONS 8TH APRIL, 1994. FOR COMPLETE INFORMATION, CONTACT: Department of Computer Science Regent Court University of Sheffield 211 Portobello Street GB- S1 4DP, Sheffield England, UK, EU. e-mail: dept@dcs.shef.ac.uk fax: +44 742 780972 phone: +44 742 825590 ********** III.3. Fr: Yorick Wilks Re: Research Facilitator at U. of Sheffield Applications are invited for the established post of Research Facilitator with ILASH, the Institute for Language Speech and Hearing which has recently been established in Sheffield with University funding. The mission of ILASH is to promote interdisciplinary and interdepartmental research in all aspects of computation applied to language, speech, and hearing. ILASH links 30 academics, as well as some 100 research students, working in various aspects of information retrieval, natural language processing, speech/hearing modelling, artificial intelligence, linguistics, speech and language pathology, speech technology, computational psychology and neural networks. The Facilitator should be familiar with a wide range of computer-based research tools in these areas of study and should be competent in applying and extending the capabilities of typical tools (and of developing further tools) in one or more of these areas. This post is primarily to assist and support the research of others, and the successful candidate will thus require communication skills in addition to subject knowledge and technical ability in addition to UNIX systems skills. The work will include guiding and assisting members of ILASH in the selection and use of tools and methods appropriate to their research, maintaining a comprehensive view of the tools available locally and remotely, and assisting with research, all as directed by the Board of ILASH. Informal enquiries can be made to Professor Yorick Wilks, the Director of the Institute , Regent Court, 211, Portobello St., Sheffield S1 4DP; Fax (0742) 780972; Internet: yorick@dcs.sheffield.ac.uk. Formal applications should go to: Director of Human Resource Management, University of Sheffield, Western Bank, Sheffield, S10 2TN. CLOSING DATE FOR APPLICATIONS: 4 APRIL 1994. ********************************************************** IRLIST Digest is distributed from the University of California, Division of Library Automation, 300 Lakeside Drive, Oakland, CA. 94612-3550. Send subscription requests to: LISTSERV@UCCVMA.BITNET Send submissions to IRLIST to: IR-L@UCCVMA.BITNET Editorial Staff: Clifford Lynch calur@uccmvsa.ucop.edu or calur@uccmvsa.bitnet Nancy Gusack ncgur@uccmvsa.ucop.edu or nancy.gusack@ucop.edu Mary Engle meeur@uccmvsa.ucop.edu or mary.engle@ucop.edu The IRLIST Archives is now set up for anonymous FTP, as well as via the LISTSERV. Using anonymous FTP via the host dla.ucop.edu, the files will be found in the directory pub/irl, stored in subdirectories by year (e.g., /pub/irl/1993). Using LISTSERV, send the message INDEX IR-L to LISTSERV@UCCVMA.BITNET. To get a specific issue listed in the Index, send the message GET IR-L LOGYYMM, where YY is the year and MM is the numeric month in which the issue was mailed, to LISTSERV@UCCVMA (Bitnet) or LISTSERV@UCCVMA.UCOP.EDU. You will receive the issues for the entire month you have requested. These files are not to be sold or used for commercial purposes. Contact Nancy Gusack or Mary Engle for more information on IRLIST. THE OPINIONS EXPRESSED IN IRLIST DO NOT REPRESENT THOSE OF THE EDITORS OR THE UNIVERSITY OF CALIFORNIA. AUTHORS ASSUME FULL RESPONSIBILITY FOR THE CONTENTS OF THEIR SUBMISSIONS TO IRLIST.