| 21 |
Verbale Selektion von räumlichen Objekten - Ein benutzerorientierter Ansatz für mobile Systeme auf Basis von Ontologien
|
|
|
|
BASE
|
|
Show details
|
|
|
| 22 |
Question Generation for Learning by Reading
|
|
|
|
In: DTIC (2005)
|
|
BASE
|
|
Show details
|
|
|
| 23 |
Safe and Principled Language Interoperation
|
|
|
|
In: DTIC AND NTIS (2005)
|
|
BASE
|
|
Show details
|
|
|
| 24 |
Semantic Decomposition of Bitmap Images Using CHREST
|
|
|
|
In: DTIC AND NTIS (2005)
|
|
BASE
|
|
Show details
|
|
|
| 25 |
Naturally Speaking: A Systems Biology Tool With Natural Language Interfaces
|
|
|
|
In: DTIC (2004)
|
|
BASE
|
|
Show details
|
|
|
| 26 |
NL Generation for Virtual Humans in a Complex Social Environment
|
|
|
|
In: DTIC (2003)
|
|
BASE
|
|
Show details
|
|
|
| 27 |
Automating After Action Review: Attributing Blame or Credit in Team Training
|
|
|
|
In: DTIC (2003)
|
|
BASE
|
|
Show details
|
|
|
| 28 |
Convex hull calculations: a Matlab implementation and correctness proofs for the lrs-algorithm
|
|
|
|
BASE
|
|
Show details
|
|
|
| 29 |
Towards a Strand Semantics for Authentication Logic
|
|
|
|
In: DTIC (1999)
|
|
BASE
|
|
Show details
|
|
|
| 30 |
Insights into Working Memory from The Perspective of The EPIC Architecture for Modeling Skilled Perceptual-Motor and Cognitive Human Performance.
|
|
|
|
In: DTIC AND NTIS (1998)
|
|
BASE
|
|
Show details
|
|
|
| 31 |
Decidable Call by Need Computations in Term Rewriting
|
|
|
|
In: Proceedings of the 14th International Conference on Automated Deduction ; 14th International Conference on Automated Deduction ; https://hal.archives-ouvertes.fr/hal-00344328 ; 14th International Conference on Automated Deduction, 1997, Australia. pp.4--18 (1997)
|
|
BASE
|
|
Show details
|
|
|
| 32 |
Analogical Reasoning and Conceptual Change: A Case Study of Johannes Kepler
|
|
|
|
In: DTIC (1997)
|
|
BASE
|
|
Show details
|
|
|
| 33 |
On the Computation of Fixpoints in Static Program Analysis with an Application to Analysis of AKL
|
|
|
|
In: ftp://clip.dia.fi.upm.es/pub/papers/PARFORCE/final_review/D.WP2.1.3.M3.ps.Z (1995)
|
|
BASE
|
|
Show details
|
|
|
| 34 |
High-Order Modeling Techniques for Continuous Speech Recognition.
|
|
|
|
In: DTIC AND NTIS (1995)
|
|
BASE
|
|
Show details
|
|
|
| 35 |
System, Performance, and Applicability Assessment of a High-Performance Computer System.
|
|
|
|
In: DTIC AND NTIS (1995)
|
|
BASE
|
|
Show details
|
|
|
| 36 |
Accelerator Systems for Neural Networks, Speech, and Related Applications.
|
|
|
|
In: DTIC AND NTIS (1995)
|
|
BASE
|
|
Show details
|
|
|
| 37 |
High-Accuracy Large-Vocabulary Speech Recognition Using Mixture Tying and Consistency Modeling
|
|
|
|
In: DTIC (1994)
|
|
BASE
|
|
Show details
|
|
|
| 38 |
Segment-Based Acoustic Models for Continuous Speech Recognition.
|
|
|
|
In: DTIC AND NTIS (1994)
|
|
BASE
|
|
Show details
|
|
|
| 39 |
Segment-Based Acoustic Models for Continuous Speech Recognition.
|
|
|
|
In: DTIC AND NTIS (1994)
|
|
BASE
|
|
Show details
|
|
|
| 40 |
A Computational Theory of Grounding in Natural Language Conversation.
|
|
|
|
In: DTIC (1994)
|
|
BASE
|
|
Show details
|
|
|
|
|
