Home Catalogue search

eng

Refine your search:

Search in the Catalogues and Directories






	Sort by
Simple Search

Page: 1 2

Hits 1 – 20 of 27

1	Program Composition
	Chandy, K. M.
	In: DTIC AND NTIS (1994)
	BASE
	Show details

2	Research in Knowledge Delivery
	Hovy, Eduard H.; Mann, William C.
	In: DTIC AND NTIS (1989)
	BASE
	Show details

3	Knowledge Delivery Research.
	Mann, William C.
	In: DTIC AND NTIS (1986)
	BASE
	Show details

4	Prerequisites for Deriving Formal Specifications from Natural Language Requirements.
	Weischedel,Ralph M
	In: DTIC AND NTIS (1983)
	BASE
	Show details

5	Design of a System That Understands Informal Specifications.
	Weischedel,Ralph M; Chester,Daniel L
	In: DTIC AND NTIS (1983)
	BASE
	Show details

6	Knowledge Representation and Natural-Language Semantics.
	Moore,R C
	In: DTIC AND NTIS (1983)
	BASE
	Show details

7	Mapping between Semantic Representations Using Horn Clauses.
	Weischedel,Ralph M
	In: DTIC AND NTIS (1983)
	BASE
	Show details

8	File Searching Problems in Logic Programming Systems.
	Eastman,C M
	In: DTIC AND NTIS (1983)
	Abstract: During this period, the investigator intended to investigate alternative approaches for improving searching performance in logic programming systems to a level that would be acceptable in a production system by conducting experiments in the LOGLISP system. Due to incompatibilities between the DEC 10 source computer and the CDC CYBER 760 running under NOS, which was available at Florida State University, as well as the differences between the UCI LISP on the DEC 10 and the ALISP available on the CYBER, it was impossible to bring the LOGLISP system to fully operational status and perform the experiments. (Author)
	Keyword: Computer files; Programming languages; *Searching; Computer Programming and Software; Data bases; Dialects; Information retrieval; Knowledge representation; LISP programming language; LOGLISP programming language; PE61102F; PROLOG programming language; WUAFOSR2304A2
	URL: http://www.dtic.mil/docs/citations/ADA136522 http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA136522
	BASE
	Hide details

9	Two Discourse Generators. A Grammar and a Lexicon for a Text-Production System.
	Mann,William C; Matthiessen,Christian M I M
	In: DTIC AND NTIS (1982)
	BASE
	Show details

10	Functional Semantics.
	Hamlet,Richard; Mills,Harlan
	In: DTIC AND NTIS (1982)
	BASE
	Show details

11	The Anatomy of a Systemic Choice.
	Mann,William C
	In: DTIC AND NTIS (1982)
	BASE
	Show details

12	Flexible Parsing
	Hayes, Philip J.; Reddy, Raj
	In: DTIC AND NTIS (1981)
	BASE
	Show details

13	Prerequisites to Deriving Formal Specifications from Natural Language Requirements.
	Weischedel,Ralph M
	In: DTIC AND NTIS (1981)
	BASE
	Show details

14	Maximal Objects and the Semantics of Universal Relation Databases.
	Maier, David; Ullman, Jeffrey D
	In: DTIC AND NTIS (1981)
	BASE
	Show details

15	An Algebraic Structure Theory of Rule Sets. I. A Formalization of Both Production Systems and Decision Tables.
	Moriya,Shinji
	In: DTIC AND NTIS (1981)
	BASE
	Show details

16	Prerequisites to Deriving Formal Specifications from Natural Language Requirements.
	Weischedel,Ralph M
	In: DTIC AND NTIS (1980)
	BASE
	Show details

17	Computer as Author -- Results and Prospects.
	Mann,William C; Moore,James A
	In: DTIC AND NTIS (1980)
	BASE
	Show details

18	Translation of Phrase Structured Programming Languages.
	Buttelmann,William
	In: DTIC AND NTIS (1979)
	BASE
	Show details

19	Acoustic/Linguistic Aspects of Automatic Speech Recognition.
	Broad,David J
	In: DTIC AND NTIS (1979)
	BASE
	Show details

20	Acoustic/Linguistic Aspects of Automatic Speech Recognition.
	Broad,David J; Pfeifer,Larry L
	In: DTIC AND NTIS (1978)
	BASE
	Show details

Page: 1 2

© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern