DE eng

Search in the Catalogues and Directories

Page: 1...272 273 274 275 276 277 278
Hits 5.501 – 5.520 of 5.553

5501
COMPUTATIONAL LINGUISTICS: BIBLIOGRAPHY, 1964
In: DTIC AND NTIS (1965)
BASE
Show details
5502
SPEECH COMMUNICATIONS FROM AN INFORMATION THEORY VIEWPOINT.
In: DTIC AND NTIS (1965)
BASE
Show details
5503
LARYNGEAL FREQUENCY ANALYSIS FOR LINGUISTIC RESEARCH.
In: DTIC AND NTIS (1965)
BASE
Show details
5504
A FORMAL SEMANTICS FOR COMPUTER-ORIENTED LANGUAGES
In: DTIC AND NTIS (1964)
Abstract: This dissertation presents a number of results attained in a study of the formalization of certain properties of computer-oriented languages. The presentation of the results in the thesis is based on the structure of this program, called the compiler-compiler. Although there are several sections devoted to theoretical questions, these are set off from the main development. A more detailed introduction to the paper is given and some of the philosophical questions raised by formalizing semantics are considered. A formal syntax language used in the compiler-compiler is discussed; relationships are established between this formalization of syntax and others appearing in the literature. A complete discussion of the Formal Semantic Language is given further. The two formal systems were combined to form the basis for a useful computer technique. The final chapter contains a discussion of the strengths and weaknesses of our system as well as several suggestions for future research. The appendices include a record of the development of a translator for one small language from a formal definition of the language to examples of resultant machine code. ; Doctoral thesis.
Keyword: *MACHINE TRANSLATION; ALGOL PROGRAMMING LANGUAGE; BIBLIOGRAPHIES; COMIT PROGRAMMING LANGUAGE; COMPILER-COMPILER; COMPUTER LOGIC; COMPUTER PROGRAMMING; DATA PROCESSING; DATA STORAGE SYSTEMS; Linguistics; PROGRAMMING LANGUAGES; SET THEORY
URL: http://www.dtic.mil/docs/citations/AD0462935
http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=AD0462935
BASE
Hide details
5505
SIMULATION AND EVALUATION OF PHONETIC SPEECH RECOGNITION TECHNIQUES. VOL. IV. AN INDEXED BIBLIOGRAPHY ON SPEECH ANALYSIS, SYNTHESIS, AND PROCESSING.
In: DTIC AND NTIS (1964)
BASE
Show details
5506
ANNOTATED BIBLIOGRAPHY OF RAND PUBLICATIONS IN COMPUTATIONAL LINGUISTICS
In: DTIC AND NTIS (1964)
BASE
Show details
5507
BIBLIOGRAPHY OF HUMAN FACTORS RESEARCH WITH ABSTRACTS, 1954 THROUGH 1962
In: DTIC AND NTIS (1963)
BASE
Show details
5508
FURTHER SYLLABIC STUDIES FOR ALGORITHMIC PREDICTION OF ENGLISH PARTS OF SPEECH: AN ANNOTATED BIBLIOGRAPHY
In: DTIC AND NTIS (1963)
BASE
Show details
5509
INFORMATION PROCESSING RELEVANT TO MILITARY COMMAND: SURVEY, RECOMMENDATIONS AND BIBLIOGRAPHY. VOLUME II (BIBLIOGRAPHY APPENDIX).
In: DTIC AND NTIS (1963)
BASE
Show details
5510
Studies in Machine Translation: Bibliography of Russian Scientific Articles
In: DTIC AND NTIS (1963)
BASE
Show details
5511
STUDIES IN RUSSIAN MORPHOLOGY. I. THE SUFFIX-AGA
In: DTIC AND NTIS (1962)
BASE
Show details
5512
Some References Related to Air Force Activities in Programmed Learning.
In: DTIC AND NTIS (1962)
BASE
Show details
5513
GUIDE TO RUSSIAN REFERENCE AND LANGUAGE AIDS: AN ANNOTATED BIBLIOGRAPHY.
In: DTIC AND NTIS (1962)
BASE
Show details
5514
Romanische Bibliographie : = Romance bibliography [<Journal>]
Ineichen, Gustav (Herausgeber). - Berlin [u.a.] : de Gruyter. Tübingen : Niemeyer
BLLDB
UB Frankfurt Linguistik
Show details
5515
Bibliography, Summer Institute of Linguistics - Philippines. Universities of North Dakota and the Philippines
1960
BASE
Show details
5516
MLA international bibliography of books and articles on the modern languages and literatures [<Journal>]
New York, NY
BLLDB
UB Frankfurt Linguistik
Show details
5517
Kratylos : kritisches Berichts- u. Rezensionsorgan für indogermanische u. allgemeine Sprachwissenschaft = annual review of Indo-European and general linguistics [<Journal>]
Wiesbaden : Reichert. Wiesbaden : Harrassowitz
BDSL
BLLDB
OLC Linguistik
UB Frankfurt Linguistik
Show details
5518
Bibliographia onomastica [<Journal>]
Leuven
BLLDB
UB Frankfurt Linguistik
Show details
5519
Selected bibliography of Malayo-Polynesian linguistic studies
BASE
Show details
5520
Bibliographie linguistique : de l'année ... et complément des années précédentes = Linguistic bibliography [<Journal>]
Utrecht [u.a.] : Spectrum
BLLDB
UB Frankfurt Linguistik
Show details

Page: 1...272 273 274 275 276 277 278

Catalogues
917
1
402
0
245
56
1
Bibliographies
4.961
35
0
0
0
0
0
3
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
319
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern