| 41 |
Lexical Selection for Cross-Language Applications: Combining LCS with WordNet
|
|
|
|
In: DTIC (1998)
|
|
BASE
|
|
Show details
|
|
|
| 42 |
Putting Declarative Meta Control to Work
|
|
|
|
In: DTIC AND NTIS (1998)
|
|
BASE
|
|
Show details
|
|
|
| 43 |
Eliminating Covert Flows with Minimum Typings
|
|
|
|
In: DTIC (1997)
|
|
BASE
|
|
Show details
|
|
|
| 44 |
Using Speech and Natural Language Technology in Language Intervention
|
|
|
|
In: DTIC AND NTIS (1997)
|
|
BASE
|
|
Show details
|
|
|
| 45 |
A Sound Polymorphic Type System for a Dialect of C (PREPRINT)
|
|
|
|
In: DTIC (1997)
|
|
BASE
|
|
Show details
|
|
|
| 46 |
Microlanguage-Based Specialization.
|
|
|
|
In: DTIC AND NTIS (1996)
|
|
BASE
|
|
Show details
|
|
|
| 47 |
Towards an ML-style Polymorphic Type System for C
|
|
|
|
In: DTIC (1996)
|
|
BASE
|
|
Show details
|
|
|
| 48 |
Video Browsing Using Cooperative Visual and Linguistic Indices.
|
|
|
|
In: DTIC AND NTIS (1996)
|
|
BASE
|
|
Show details
|
|
|
| 49 |
Reactivation of the Relational Interface in M2DBMS and Implementation of the EWIR Database.
|
|
|
|
In: DTIC AND NTIS (1996)
|
|
BASE
|
|
Show details
|
|
|
| 50 |
Design and Analysis of an Object-Oriented Database of Electronic Warfare Data.
|
|
|
|
In: DTIC AND NTIS (1996)
|
|
BASE
|
|
Show details
|
|
|
| 51 |
Rewriting Logic and its Applications First International Workshop, Asilomar Conference Center, Pacific Grove, California, 3-6 September 1996. Volume 4 Electronic Notes in Theoretical Computer Science.
|
|
|
|
In: DTIC AND NTIS (1996)
|
|
BASE
|
|
Show details
|
|
|
| 52 |
Dialogue Theory for Virtual Environments.
|
|
|
|
In: DTIC AND NTIS (1995)
|
|
BASE
|
|
Show details
|
|
|
| 53 |
The Design and Implementation of a Compiler for the Object-Oriented Data Manipulation Language.
|
|
|
|
In: DTIC AND NTIS (1995)
|
|
BASE
|
|
Show details
|
|
|
| 54 |
Natural Language Text Retrieval Using a Large Semantic Network
|
|
|
|
In: DTIC AND NTIS (1993)
|
|
BASE
|
|
Show details
|
|
|
| 55 |
A Simplified Account of Polymorphic References. Revised
|
|
|
|
In: DTIC AND NTIS (1993)
|
|
BASE
|
|
Show details
|
|
|
| 56 |
Document Filtering Using Semantic Information from a Machine Readable Dictionary
|
|
|
|
In: DTIC (1993)
|
|
BASE
|
|
Show details
|
|
|
| 57 |
Naive Physics, Event Perception, Lexical Semantics, and Language Acquisition
|
|
|
|
In: DTIC AND NTIS (1993)
|
|
BASE
|
|
Show details
|
|
|
| 58 |
Talking to InterFIS: Adding Speech Input to a Natural Language Interface
|
|
|
|
In: DTIC AND NTIS (1992)
|
|
BASE
|
|
Show details
|
|
|
| 59 |
A Formal Description of the Incremental Translation of Stage 2 VHDL into State Deltas in the State Delta Verification System (SDVS)
|
|
|
|
In: DTIC AND NTIS (1992)
|
|
BASE
|
|
Show details
|
|
|
| 60 |
Development of a Spoken Language System
|
|
|
|
In: DTIC AND NTIS (1992)
|
|
BASE
|
|
Show details
|
|
|
|
|
