• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year:
    
    • 2022 (1)
    • 2021 (9)
    • 2020 (3)
    • 2019 (4)
    • 2018 (2)
    • 2017 (8)
    • 2016 (1)
    • 2015 (16)
    • 2014 (9)
    • 2013 (15)
    • 2012 (6)
    • 2011 (11)
    • 2010 (8)
    • 2009 (22)
    • 2008 (15)
    • 2007 (16)
    • 2006 (14)
    • 2005 (11)
    • 2004 (15)
    • 2003 (21)
    •   more
  • 
    Medium:
    
    • Online (703)
    • Print (20)
  • 
    Type
  • 
    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 Page: 1 2 3 4 5 6 7 8 9...37 Hits 81 – 100 of 723 81 Expanding the Toolkit and Resource Environment to Assist Translation (TREAT) and Its User Base Hobbs, Reginald L.; Voss, Clare R.; Laoudi, Jamal In: DTIC (2011) BASE Show details 82 Synthesis of Systemic Functional Theory & Dynamical Systems Theory for Socio-Cultural Modeling O'Halloran, Kay; Judd, Kevin In: DTIC (2011) BASE Show details 83 Emergent Intelligent Behavior through Integrated Investigation of Embodied Natural Language, Reasoning, Learning, Computer Vision, and Robotic Manipulation Siskind, Jeffrey M In: DTIC (2011) BASE Show details 84 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 85 Software forensics: extending authorship analysis techniques to computer programs Sallis, Philip; MacDonell, Stephen; Gray, Andrew. - : University of Otago, 2011 BASE Show details 86 Transfer Learning in Integrated Cognitive Systems Shapiro, Daniel; Langley, Pat; Stracuzzi, David J.... In: DTIC (2010) BASE Show details 87 Specification and Validation of Space System Behaviors Drusinsky, Doron; Raque, Steven In: DTIC (2010) Abstract: The NASA Independent Verification and Validation (IV&V) Facility is using formal specification techniques for the IV&V of the flight software for several upcoming missions. Such formal specifications are typically created on the basis of natural-language (NL) requirement specifications that are formalized at a later stage. This paper describes a technique for the discovery of NL requirements by systematic analysis of UML Activity Diagrams and Sequence Diagrams that represent critical mission operational scenarios and sequences. Our technique demonstrates a pattern oriented approach where patterns of NL requirements are mined out of the UML models based on predetermined categories of assertions, including Bounded Eventualities, Loops, Reentrance, and Order and Precedence. ; The original document contains color images. Keyword: *NATURAL LANGUAGE; *SPACE SYSTEMS; *VALIDATION; *VERIFICATION; Astronautics; COMPUTER PROGRAMS; Linguistics; REQUIREMENTS; SCENARIOS; SPECIFICATIONS URL: http://www.dtic.mil/docs/citations/ADA516732 http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA516732 BASE Hide details 88 Entity Profiling for Intelligence Using the Graphical Overview of Social and Semantic Interactions of People (GOSSIP) Software Tool Kwantes, Peter; Terhaar, Phil In: DTIC (2010) BASE Show details 89 Teaching Intelligence Analysis with TIACRITIS Tecuci, G.; Schum, D.; Boicu, M.... In: DTIC (2010) BASE Show details 90 TIACRITIS System and Textbook: Learning Intelligence Analysis through Practice Tecuci, Gheorghe; Boicu, Mihai; Marcu, Dorin... In: DTIC (2010) BASE Show details 91 Visualization for the masses : learning from the experts Freyne, Jill; Smyth, Barry. - : Springer, 2010 BASE Show details 92 Automated Translation of Chinese-to-English Creative Literature Hoover, Carl; Sommer, Heather. - 2010 BASE Show details 93 Plastic Machines: Behavioural Diversity and the Turing Test Wheeler, Michael. - : Emerald, 2010 BASE Show details 94 Discovering statistics using SPSS : (and sex and drugs and rock'n'roll) Field, Andy P.. - London : Sage, 2009 MPI für Psycholinguistik Show details 95 Quantitative data analysis with SPSS 14, 15 and 16 : a guide for social scientists Bryman, Alan; Cramer, Duncan. - London : Routledge, 2009 MPI für Psycholinguistik Show details 96 Compulsory laptop programs: Teachers' responses to the adoption and implementation process DALGARNO, NANCY. - 2009 BASE Show details 97 Digital students in the democratic classroom : using technology to enhance critical pedagogy in first-year composition Skurat Harris, Heidi A. In: CardinalScholar 1.0 (2009) BASE Show details 98 λμ-calculus and Λμ-calculus: a Capital Difference Herbelin, Hugo; Saurin, Alexis In: https://hal.inria.fr/inria-00524942 ; 2009 (2009) BASE Show details 99 Systematic development and safety of execution in structured parallel programming ; Développement systématique et sûreté d’exécution en programmation parallèle structurée Gesbert, Louis. - : HAL CCSD, 2009 In: https://tel.archives-ouvertes.fr/tel-00481376 ; Autre [cs.OH]. Université Paris-Est, 2009. Français. ⟨NNT : 2009PEST0004⟩ (2009) BASE Show details 100 Algebraic types and pattern matching in the logical language of the Why verification platform Paskevich, Andrei In: https://hal.inria.fr/inria-00439232 ; [Research Report] RR-7128, INRIA. 2009 (2009) BASE Show details Page: 1 2 3 4 5 6 7 8 9...37

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) 2 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 19 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 702 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0