Home Catalogue search

eng

Refine your search:

Search in the Catalogues and Directories






	Sort by
Simple Search

Page: 1 2 3

Hits 1 – 20 of 60

1	Composite Artistry Meets Facial Recognition Technology: Exploring the Use of Facial Recognition Technology to Identify Composite Images
	Montgomery, Tracy L
	In: DTIC (2011)
	BASE
	Show details

2	Enhancing a Web Crawler with Arabic Search Capability
	Nguyen, Qui V
	In: DTIC (2010)
	BASE
	Show details

3	Building a Virtual Cultural Intelligence Community
	Zahn, Matthew A.; Lacey, Wayne R.
	In: DTIC (2007)
	BASE
	Show details

4	An Analysis of Specware and Its Usefulness in the Verification of High Assurance Systems
	DeCloss, Daniel P.
	In: DTIC (2006)
	BASE
	Show details

5	Speeding Up a Path-Based Policy Language Compiler
	Guven, Ahmet
	In: DTIC AND NTIS (2003)
	BASE
	Show details

6	An Architecture for the Semantic Processing of Natural Language Input to a Policy Workbench
	Custy, E. J.
	In: DTIC AND NTIS (2003)
	BASE
	Show details

7	Reasoning by Analogy Using Holographic Conceptual Projection
	Degirmenci, Yilmaz
	In: DTIC (2002)
	BASE
	Show details

8	Face Recognition Using Infrared Imaging
	Pereira, Diogo C.
	In: DTIC AND NTIS (2002)
	BASE
	Show details

9	Computer Programs Supporting Instruction in Acoustics
	Melody, Kevin A.
	In: DTIC AND NTIS (1998)
	BASE
	Show details

10	Cross Model Access in the Multi-Lingual, Multi-Model Database Management System
	Anastasopoulos, Achilles
	In: DTIC AND NTIS (1997)
	BASE
	Show details

11	Implementing Voice Recognition and Natural Language Processing in the NPSNET Networked Virtual Environment.
	DeVilliers, Edward M.
	In: DTIC AND NTIS (1996)
	BASE
	Show details

12	Reactivation of the Relational Interface in M2DBMS and Implementation of the EWIR Database.
	Scrivener, Donna N.; Edwards, Renell D.
	In: DTIC AND NTIS (1996)
	BASE
	Show details

13	Design and Analysis of an Object-Oriented Database of Electronic Warfare Data.
	Coyne, Kevin M.
	In: DTIC AND NTIS (1996)
	BASE
	Show details

14	A Type Inference Algorithm And Transition Semantics For Polymorphic C.
	Oezgen, Mustafa
	In: DTIC AND NTIS (1996)
	Abstract: In an attempt to bring the ML-style type inference to the C programming language, Smith and Volpano developed a type system for a dialect of C, called PolyC SmV96a SmV95b. PolyC extends C with ML-style polymorphism and a limited form of higher-order function. Smith and Volpano proved a type soundness theorem that basically says that evaluation of a well-typed PolyC program cannot fail due to a type mismatch. The type soundness proof is based on an operational characterization of a special kind of semantic formulation called a natural semantics. This thesis presents an alternative semantic formulation, called a transition semantics, that could be used in place of the natural semantics to prove type soundness. The primary advantage of the transition semantics is that it eliminates the extra operational level, but the disadvantage is that it consists of many more evaluation rules than the natural semantics. Thus it is unclear whether it is a suitable alternative to the two-level approach of Smith and Volpano. Further, the thesis gives the first full type inference algorithm for the type system of PolyC. Despite implicit variable dereferencing found in PolyC, the algorithm turns out to be a rather straight-forward extension of Damas and Milner's algorithm W DaM82. The algorithm has been implemented as an attribute grammar in Grammatech's SSL and a complete source code listing is given in the Appendix.
	Keyword: PROGRAMMING LANGUAGES; SEMANTICS; ALGORITHMS; C PROGRAMMING LANGUAGE; COMPILERS; COMPUTER PROGRAM DOCUMENTATION; Computer Programming and Software; CONTROL SEQUENCES; EXECUTIVE ROUTINES; LANGUAGE TRANSLATION; POLYMORPHISM; RULE BASED SYSTEMS; STRUCTURED PROGRAMMING; THESES
	URL: http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA318845 http://www.dtic.mil/docs/citations/ADA318845
	BASE
	Hide details

15	Design and Implementation of Real-Time Monitor for the Object-Oriented Interface.
	Senocak, Erhan
	In: DTIC AND NTIS (1995)
	BASE
	Show details

16	The Design and Implementation of a Compiler for the Object-Oriented Data Manipulation Language.
	Barbosa, Carlos M.; Kutlusan, Aykut
	In: DTIC AND NTIS (1995)
	BASE
	Show details

17	The Design and Implementation of a Compiler for the Object-Oriented Data Definition Language.
	Ramirez, Luis M.; Tan, Recep
	In: DTIC AND NTIS (1995)
	BASE
	Show details

18	Design and Specification of an Object-Oriented Data Manipulation Language.
	Stephens, Michael W.
	In: DTIC AND NTIS (1995)
	BASE
	Show details

19	Towards an Implementation of Polymorphic C.
	Bonem, Peter B.
	In: DTIC AND NTIS (1995)
	BASE
	Show details

20	Translation of the Data Flow Query Language for the Multimodel, Multibackend Database System
	Free, Nancy C.
	In: DTIC AND NTIS (1994)
	BASE
	Show details

Page: 1 2 3

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