• Refine your search:
  • 
    Keyword:
    
    • COMPUTER PROGRAMS (306)
    • Computer Programming and Software (300)
    • Linguistics (209)
    • Computer programs (160)
    • computational linguistics (113)
    • *COMPUTER PROGRAMS (85)
    • SYNTAX (82)
    • ALGORITHMS (65)
    • SEMANTICS (64)
    • THESES (64)
    •   more
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    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) BASE Show 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) Abstract: We introduce an extension of the logical language of a software verification tool Why with algebraic types and pattern matching expressions. We describe the corresponding additions to the syntax of Why and give the semantics of the new constructions in terms of first-order logic with polymorphic types as it is adopted in Why and the Alt-Ergo prover. ; On introduit une extension du langage logique de l'outil de vérification des logiciels Why avec des types algébriques et des expressions de filtrage par motif. On décrit les modifications correspondantes de la syntaxe de Why et on donne la sémantique des nouvelles constructions dans la logique du premier ordre avec des type polymorphes telle qu'elle est adoptée dans Why et dans le démonstrateur automatique Alt-Ergo. Keyword: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.3: Mechanical verification; algebraic types; first-order logic; formal language; pattern matching URL: https://hal.inria.fr/inria-00439232v2/file/RR-7128.pdf https://hal.inria.fr/inria-00439232 https://hal.inria.fr/inria-00439232v2/document BASE Hide 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