• 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)
    •   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...37 Hits 61 – 80 of 723 61 Query Segmentation For E-Commerce Sites ... Gong, Xiaojing. - : IUPUI University Library, 2013 BASE Show details 62 Compositionality through Projection ... Leventeas, Dimitrios. - : ETH Zurich, 2013 BASE Show details 63 Query Segmentation For E-Commerce Sites Gong, Xiaojing. - 2013 BASE Show details 64 The Rhetorical Challenge of Whiteness within Blackboard for African American Bidialectal Students at Elizabeth City State University Chambers, Mary-Lynn. - : East Carolina University, 2013 BASE Show details 65 Compositionality through Projection Leventeas, Dimitrios. - : Eidgenössische Technische Hochschule Zürich, Department of Computer Science, 2013 BASE Show details 66 Enabling Efficient Intelligence Analysis in Degraded Environments Lecocq, Regine; Lavigne, Valerie In: DTIC (2013) BASE Show details 67 Automated Extraction and Characterisation of Social Network Data from Unstructured Sources -- An Ontology-Based Approach Martineau, Etienne; Lecocq, Regine In: DTIC (2013) BASE Show details 68 Performance Evaluation of a Semantic Perception Classifier Lennon, Craig; Bodt, Barry; Childers, Marshal... In: DTIC (2013) BASE Show details 69 Discovering statistics using R Field, Andy P.; Miles, Jeremy; Field, Zoë. - Los Angeles, Calif. : SAGE, 2012 MPI für Psycholinguistik Show details 70 Battle of Narratives Ruth, Lars In: DTIC (2012) BASE Show details 71 A Method for Correcting Broken Hyphenations in Noisy English Text Micher, Jeffrey C In: DTIC (2012) BASE Show details 72 Integration of Technology Into the Classroom: Effects on reading comprehension Stearns, Susan C In: Research Papers (2012) BASE Show details 73 Commitment-based learning of hidden linguistic structures Akers, Crystal Gayle, 1978-. - 2012 BASE Show details 74 Proposal to adapt computer programs assessment processes and computational linguistics tools to support evaluation of documents written in natural language as a result of learning tasks Hernandez-Figueroa, Z.; Rodríguez del Pino, Juan Carlos; Afonso-Suarez, M. D. In: Inted2012: International Technology, Education And Development Conference [ISSN 2340-1079], p. 3344-3349 (2012) BASE Show details 75 Reinforcement learning for adaptive dialogue systems : a data-driven methodology for dialogue management and natural language generation Rieser, Verena. - Berlin [u.a.] : Springer, 2011 Leibniz-Zentrum Allgemeine Sprachwissenschaft Show details 76 Automated Essay Scoring: A Literature Review Blood, Ian A.. - 2011 BASE Show details 77 Krivine machines and higher-order schemes Salvati, Sylvain; Walukiewicz, Igor In: https://hal.inria.fr/inria-00589407 ; [Research Report] 2011, pp.17 (2011) Abstract: We propose a new approach to analysing higher-order recursive schemes. Many results in the literature use automata models generalising pushdown automata, most notably higher-order pushdown automata with collapse (CPDA). Instead, we propose to use the Krivine machine model. Compared to CPDA, this model is closer to lambda-calculus, and incorporates nicely many invariants of computations, as for example the typing information. The usefulness of the proposed approach is demonstrated with new proofs of two central results in the field: the decidability of the local and global model checking problems for higher-order schemes with respect to the mu-calculus. 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; ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.3: Studies of Program Constructs/F.3.3.3: Program and recursion schemes; ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.2: Lambda calculus and related systems URL: https://hal.inria.fr/inria-00589407 https://hal.inria.fr/inria-00589407/file/hpda-dec.pdf https://hal.inria.fr/inria-00589407/document BASE Hide details 78 Composite artistry meets facial recognition technology : exploring the use of facial recognition technology to identify composite images Montgomery, Tracy L.. - : Monterey, California. Naval Postgraduate School, 2011 BASE Show details 79 Automated Essay Scoring: A Literature Review ... Blood, Ian A.. - : Columbia University, 2011 BASE Show details 80 Performance Assessments of Two-Way, Free-Form, Speech-to-Speech Translation Systems for Tactical Use Weiss, Brian A.; Schlenoff, Craig I. In: DTIC (2011) BASE Show details Page: 1 2 3 4 5 6 7 8...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