Language model

Results: 4719



#Item
1Increasing Usability of Spin-based C Code Verification Using a Harness Definition Language Leveraging Model-driven Code Checking to Practitioners Daniel Ratiu  Andreas Ulrich

Increasing Usability of Spin-based C Code Verification Using a Harness Definition Language Leveraging Model-driven Code Checking to Practitioners Daniel Ratiu Andreas Ulrich

Add to Reading List

Source URL: mbeddr.com

Language: English - Date: 2018-08-02 04:06:51
2Unbounded Model-Checking with Interpolation for Regular Language Constraints Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, and Peter Schachte The University of Melbourne {ggange,jnavas,pjs,harald,s

Unbounded Model-Checking with Interpolation for Regular Language Constraints Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, and Peter Schachte The University of Melbourne {ggange,jnavas,pjs,harald,s

Add to Reading List

Source URL: jorgenavas.github.io

Language: English - Date: 2018-10-25 12:43:22
3Universal Language Model Fine-tuning for Text Classification Jeremy Howard∗ fast.ai University of San Francisco

Universal Language Model Fine-tuning for Text Classification Jeremy Howard∗ fast.ai University of San Francisco

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2018-05-23 20:17:13
4Language-level Symmetry Reduction for Probabilistic Model Checking Alastair F. Donaldson Alice Miller David Parker Computing Laboratory Department of Computing Science

Language-level Symmetry Reduction for Probabilistic Model Checking Alastair F. Donaldson Alice Miller David Parker Computing Laboratory Department of Computing Science

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2009-07-01 05:37:09
    5Indian Education for All  Model Teaching Units Language Arts - Elementary Level  Volume One

    Indian Education for All Model Teaching Units Language Arts - Elementary Level Volume One

    Add to Reading List

    Source URL: wisconsinfirstnations.org

    Language: English - Date: 2017-12-19 16:41:05
      6CLUF: a Neural Model for Second Language Acquisition Modeling Shuyao Xu Singsound Inc. Beijing, China

      CLUF: a Neural Model for Second Language Acquisition Modeling Shuyao Xu Singsound Inc. Beijing, China

      Add to Reading List

      Source URL: sharedtask.duolingo.com

      Language: English - Date: 2018-05-31 10:40:16
        7Language model adaptation with MAP estimation and the perceptron algorithm Michiel Bacchiani, Brian Roark and Murat Saraclar AT&T Labs-Research, 180 Park Ave., Florham Park, NJ 07932, USA {michiel,roark,murat}@research.a

        Language model adaptation with MAP estimation and the perceptron algorithm Michiel Bacchiani, Brian Roark and Murat Saraclar AT&T Labs-Research, 180 Park Ave., Florham Park, NJ 07932, USA {michiel,roark,murat}@research.a

        Add to Reading List

        Source URL: www.aclweb.org

        Language: English - Date: 2010-06-14 20:48:20
          8Antimony A human-readable, human-writable, model definition language v2.8, October, 2015

          Antimony A human-readable, human-writable, model definition language v2.8, October, 2015

          Add to Reading List

          Source URL: antimony.sourceforge.net

          Language: English - Date: 2015-10-10 01:18:27
            9Jens Knoop, Uwe Zdun (Hrsg.): Software Engineering 2016, Lecture Notes in Informatics (LNI), Gesellschaft f¨ur Informatik, BonnSupporting Process Model Validation through Natural Language Generation Henrik Leop

            Jens Knoop, Uwe Zdun (Hrsg.): Software Engineering 2016, Lecture Notes in Informatics (LNI), Gesellschaft f¨ur Informatik, BonnSupporting Process Model Validation through Natural Language Generation Henrik Leop

            Add to Reading List

            Source URL: subs.emis.de

            Language: English - Date: 2016-02-25 13:12:59
              10Learning biases for the evolution of linguistic structure: an associative network model Kenny Smith Language Evolution and Computation Research Unit, School of Philosophy, Psychology and Language Sciences, The University

              Learning biases for the evolution of linguistic structure: an associative network model Kenny Smith Language Evolution and Computation Research Unit, School of Philosophy, Psychology and Language Sciences, The University

              Add to Reading List

              Source URL: www.lel.ed.ac.uk

              Language: English - Date: 2017-03-17 12:58:53