2 |
Fusion of Stochastic and Linguistic Information Using a Conditional Event Framework
|
|
|
|
In: DTIC AND NTIS (2001)
|
|
BASE
|
|
Show details
|
|
3 |
Linguistic Assistant for Domain Analysis (LIDA)
|
|
|
|
In: DTIC AND NTIS (2000)
|
|
BASE
|
|
Show details
|
|
4 |
Analog Hardware Description Language (AHDL).
|
|
|
|
In: DTIC AND NTIS (1996)
|
|
BASE
|
|
Show details
|
|
5 |
Knowledge-Based Automatic Graph Layout.
|
|
|
|
In: DTIC AND NTIS (1995)
|
|
BASE
|
|
Show details
|
|
7 |
An Evaluation Methodology for Natural Language Processing Systems
|
|
|
|
In: DTIC AND NTIS (1992)
|
|
BASE
|
|
Show details
|
|
8 |
Analysis of Observation Report Databases/Knowledge Bases
|
|
In: DTIC AND NTIS (1991)
|
|
BASE
|
|
Show details
|
|
9 |
A User's Guide to the TEXPLAN System
|
|
|
|
In: DTIC AND NTIS (1991)
|
|
BASE
|
|
Show details
|
|
10 |
Northeast Artificial Intelligence Consortium (NAIC). Volume 18. A distributed Artificial Intelligence Approach to Information Fusion and Object Classification
|
|
|
|
In: DTIC AND NTIS (1990)
|
|
BASE
|
|
Show details
|
|
11 |
Planning Multisentential English Text Using Communicative Acts
|
|
|
|
In: DTIC AND NTIS (1990)
|
|
BASE
|
|
Show details
|
|
13 |
Transformational Generative Grammar: A Survey
|
|
|
|
In: DTIC AND NTIS (1988)
|
|
BASE
|
|
Show details
|
|
14 |
The Role of PROLOG (PROgramming and LOGic) in Natural Language Processing.
|
|
|
|
In: DTIC AND NTIS (1988)
|
|
BASE
|
|
Show details
|
|
15 |
Natural Language Processing: A Tutorial.
|
|
|
|
In: DTIC AND NTIS (1986)
|
|
BASE
|
|
Show details
|
|
16 |
Notes on the Conversion of LogLisp from Rutgers/UCI-Lisp to InterLisp
|
|
|
|
In: DTIC AND NTIS (1983)
|
|
BASE
|
|
Show details
|
|
17 |
Logic Programming in LISP.
|
|
|
|
In: DTIC AND NTIS (1981)
|
|
Abstract:
The 'Language Studies' contract is divided into four project areas, all of which are directed to the problems of effectively, reliably and efficiently using modern computers in a wide range of applications. Three of the projects deal with methods of communicating with computers. Task 1. Very High Level Programming Systems (P.I: J. A. Robinson). This group is working towards combining the features developed to support work in the area of artificial intelligence and those used in general program development into a new conceptual framework that can be understood and used by a large community of users. Task 2. Proving Program Correctness (P.I: J. C. Reynolds). This group is working towards programming language designs which increase the probability that specification errors will be detected by the compiler or interpreter and to provide the language facilities so that users will more nearly be able to prove that programs perform as they are specified than is currently possible. Task 3. Grammars of Programming (P.I: E. F. Storm). This group is working towards the development of methods which will allow users to communicate with computer programs in terms of more normal to their every day communication forms. Task 4. Systems Studies (P.I: R. G. Sargent). This group is working towards developing more sophisticated and efficient models of computer systems which can predict system performance when given particular parameter values. The current efforts concern models of transaction processing systems (TPS). (Author) ; See also AD-A096 044.
|
|
Keyword:
*COMPUTER LOGIC; *COMPUTER PROGRAMMING; *HIGH LEVEL LANGUAGES; COMPUTER PROGRAM VERIFICATION; Computer Programming and Software; ERROR ANALYSIS; GRAMMARS; LISP programming language; MAN COMPUTER INTERFACE; METHODOLOGY; PARAMETERS; PE62702F; SCHEDULING; WURADC55811903
|
|
URL: http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA096042 http://www.dtic.mil/docs/citations/ADA096042
|
|
BASE
|
|
Hide details
|
|
18 |
The METAL System. Volume I and Volume II. Appendices.
|
|
|
|
In: DTIC AND NTIS (1981)
|
|
BASE
|
|
Show details
|
|
19 |
Multiple Finite Source Queueing Model with Fixed Priority Scheduling.
|
|
|
|
In: DTIC AND NTIS (1981)
|
|
BASE
|
|
Show details
|
|
20 |
Linguistic Documentation of Metal System
|
|
|
|
In: DTIC AND NTIS (1978)
|
|
BASE
|
|
Show details
|
|
|
|