DE eng

Search in the Catalogues and Directories

Page: 1 2 3 4
Hits 1 – 20 of 64

1
Crowdsourcing Intelligence to Combat Terrorism: Harnessing Bottom-Up Collection to Prevent Lone-Wolf Terror Attacks
In: DTIC (2015)
BASE
Show details
2
Learning to Understand Natural Language with Less Human Effort
In: DTIC (2015)
BASE
Show details
3
Battle of Narratives
In: DTIC (2012)
BASE
Show details
4
Composite Artistry Meets Facial Recognition Technology: Exploring the Use of Facial Recognition Technology to Identify Composite Images
In: DTIC (2011)
BASE
Show details
5
Intelligence Dissemination to the Warfighter
In: DTIC (2007)
BASE
Show details
6
Developing Dependable Software for a System-of-Systems
In: DTIC AND NTIS (2005)
BASE
Show details
7
Computer Programs Supporting Instruction in Acoustics
In: DTIC AND NTIS (1998)
BASE
Show details
8
Cross Model Access in the Multi-Lingual, Multi-Model Database Management System
In: DTIC AND NTIS (1997)
BASE
Show details
9
Information Requirements Analysis: A Qualitative Characterization of the Flightline Expediter for the Integrated Maintenance Information System
In: DTIC (1996)
BASE
Show details
10
Schema and Data Conflict Resolution Across Distributed Graphical ASN.1 Databases.
In: DTIC AND NTIS (1994)
BASE
Show details
11
The Design and Implementation of the Functional/Daplex Data Interface for the Multimodel and Multilingual Database System
In: DTIC AND NTIS (1994)
BASE
Show details
12
Using Multiple Adaptively-Weighted Strategies for the Resolution of Demonstratives
In: DTIC AND NTIS (1993)
BASE
Show details
13
Naive Physics, Event Perception, Lexical Semantics, and Language Acquisition
In: DTIC AND NTIS (1993)
BASE
Show details
14
Design and Implementation of an Object-Oriented Interface for the Multi- Model/Multi-Lingual Database System
In: DTIC AND NTIS (1993)
BASE
Show details
15
Continuous Speech Recognition as an Input Method for Tactical Command Entry in the SH-60B Helicopter
In: DTIC AND NTIS (1992)
BASE
Show details
16
Labelled Formal Languages and Their Uses.
In: DTIC AND NTIS (1991)
Abstract: This research augments formal languages with the machinery necessary to describe labelled combinatorial objects such as trees, permutations, and networks. The most attractive feature of this method of describing combinatorial objects is the direct translation to generating functions, treating the grammar of an ordinary formal language as a set of equations and then solving these equations yields an enumerating generating function. This is still true of labelled formal languages although the equations are usually differential rather than rational or algebraic. There are two promising applications for labelled formal languages. In the analysis of algorithms one often identifies combinatorial quantities that can be described with labelled formal languages and, using the translation mentioned about, these quantities can be easily computed. The other application uses labelled formal languages to control a general-purpose system for the ranking, sequencing, and selection of combinatorial objects. Both of these applications demonstrate the value of labelled formal languages as a descriptive and analytic tool.
Keyword: *ALGORITHMS; *PROGRAMMING LANGUAGES; COMBINATORIAL ANALYSIS; COMPUTER LOGIC; COMPUTER PROGRAMMING; Computer Programming and Software; CONTEXT SENSITIVE GRAMMARS; FIELDS(COMPUTER PROGRAMS); PERMUTATIONS; THESES
URL: http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA328418
http://www.dtic.mil/docs/citations/ADA328418
BASE
Hide details
17
An Investigation into the Use of Computer-Assisted Instruction to Present Basic English Grammar Concepts
In: DTIC AND NTIS (1991)
BASE
Show details
18
Rule Based Sinusoidal Encoding of Speech
In: DTIC AND NTIS (1990)
BASE
Show details
19
An Investigation of the Methodology for Software Translation from PASCAL to C of an Undocumented Microcomputer Program
In: DTIC AND NTIS (1990)
BASE
Show details
20
The Design and Implementation of a Syntax Directed Editor for the Specification Language Spec
In: DTIC AND NTIS (1989)
BASE
Show details

Page: 1 2 3 4

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
64
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern