• Refine your search:
  • 
    Keyword:
    
    • *SEMANTICS (19)
    • Linguistics (19)
    • COMPUTER PROGRAMS (16)
    • Computer Programming and Software (13)
    • SYNTAX (6)
    • *PROGRAMMING LANGUAGES (4)
    • *COMPUTER PROGRAMS (3)
    • NATURAL LANGUAGE (3)
    • SPECIFICATIONS (3)
    • VALIDATION (3)
    •   more
  • 
    Creator / Publisher:
    
    • NAVAL RESEARCH LAB WASHINGTON DC CENTER FOR HIGH ASSURANCE COMPUTING SYSTEMS (CHACS) (3)
    • Gordon, Michael (2)
    • McLean, John (2)
    • STANFORD UNIV CA DEPT OF COMPUTER SCIENCE (2)
    • ARMY RESEARCH LAB ABERDEEN PROVING GROUND MD VEHICLE TECHNOLOGY DIRECTORATE (1)
    • Bennett, Winston, Jr. (1)
    • Bharadwaj, Ramesh (1)
    • Bodt, Barry (1)
    • CYCORP AUSTIN TX (1)
    • Camden, Rick (1)
    •   more
  • 
    Year
  • 
    Medium
  • 
    Type:
    
    • Article (19)
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Hits 1 – 19 of 19 1 Performance Evaluation of a Semantic Perception Classifier Lennon, Craig; Bodt, Barry; Childers, Marshal... In: DTIC (2013) BASE Show details 2 Battle of Narratives Ruth, Lars In: DTIC (2012) BASE Show details 3 Automated Communications Analysis System using Latent Semantic Analysis Foltz, Peter W. In: DTIC (2006) BASE Show details 4 DARPA Agent Markup Language (DAML) Unified Modeling Language (UML)-Based Ontology Toolset (UBOT) Kogut, Paul In: DTIC (2005) BASE Show details 5 Using Model-Theoretic Invariants for Semantic Integration Gruninger, Michael In: DTIC (2004) BASE Show details 6 The Case for Using Semantic Nets as a Convergence Format for Symbolic Information Fusion Rohmer, Jean In: DTIC AND NTIS (2004) BASE Show details 7 Disparate Ontology Understanding, Brokering, Linking, and Elaboration (DOUBLE) Reed, Stephen In: DTIC AND NTIS (2004) BASE Show details 8 Matching Jobs, People, and Instructional Content: An Innovative Application of a Latent Semantic Analysis-Based Technology Laham, Darrell; Bennett, Winston, Jr.; Landauer, Thomas K. In: DTIC AND NTIS (2003) BASE Show details 9 Text Retrieval via Semantic Forests Schone, Patrick; Townsend, Jeffrey L.; Crystal, Thomas H.... In: DTIC (1997) BASE Show details 10 Applying the SCR Requirements Specification Method to Practical Systems: A Case Study Bharadwaj, Ramesh; Heitmeyer, Connie In: DTIC (1996) BASE Show details 11 Proving Noninterference and Functional Correctness Using Traces McLean, John In: DTIC (1992) BASE Show details 12 Very High Speed Integrated Circuits (VHSIC) Hardware Description Language (VHDL) Syntax and Semantics Summary Mills, Michael T. In: DTIC AND NTIS (1991) BASE Show details 13 A Tandem Semantic Interpreter for Incremental Parse Selection Wauchope, Kenneth In: DTIC AND NTIS (1990) BASE Show details 14 The Problem of Undefinedness in Specifications Legenfelder, Douglas R. In: DTIC AND NTIS (1988) BASE Show details 15 A Formal Method for the Abstract Specification of Software McLean, John In: DTIC (1984) BASE Show details 16 Tools for Testing Denotational Semantic Definitions of Programming Languages. Kini,Vittal; Martin,David F; Stoughton,Allen In: DTIC AND NTIS (1983) BASE Show details 17 Functional Semantics. Hamlet,Richard; Mills,Harlan In: DTIC AND NTIS (1982) BASE Show details 18 Towards a Semantic Theory of Dynamic Binding Gordon, Michael In: DTIC AND NTIS (1975) BASE Show details 19 Operational Reasoning and Denotational Semantics Gordon, Michael In: DTIC AND NTIS (1975) BASE Show details

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 19 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0