Language

Results: 167502



#Item
11Language-based Defenses against Untrusted Browser Origins Karthikeyan Bhargavan INRIA Paris-Rocquencourt Antoine Delignat-Lavaud INRIA Paris-Rocquencourt

Language-based Defenses against Untrusted Browser Origins Karthikeyan Bhargavan INRIA Paris-Rocquencourt Antoine Delignat-Lavaud INRIA Paris-Rocquencourt

Add to Reading List

Source URL: www.doc.ic.ac.uk

Language: English - Date: 2018-02-20 10:22:48
    12Regularizing and Optimizing LSTM Language Models  Stephen Merity 1 Nitish Shirish Keskar 1 Richard Socher 1 arXiv:1708.02182v1 [cs.CL] 7 Aug 2017

    Regularizing and Optimizing LSTM Language Models Stephen Merity 1 Nitish Shirish Keskar 1 Richard Socher 1 arXiv:1708.02182v1 [cs.CL] 7 Aug 2017

    Add to Reading List

    Source URL: arxiv.org

    Language: English - Date: 2017-08-07 20:34:08
    13The Email Analysis Framework: Aiding the Analysis of Personal Natural Language Texts Faisal Alquaddoomi Cameron Ketcham

    The Email Analysis Framework: Aiding the Analysis of Personal Natural Language Texts Faisal Alquaddoomi Cameron Ketcham

    Add to Reading List

    Source URL: ceur-ws.org

    Language: English - Date: 2014-07-23 09:49:41
    14Testing Extensible Language Debuggers Domenik Pavletic Syed Aoun Raza  Kolja Dummann

    Testing Extensible Language Debuggers Domenik Pavletic Syed Aoun Raza Kolja Dummann

    Add to Reading List

    Source URL: mbeddr.com

    Language: English - Date: 2018-08-02 04:06:51
    15An Intermediate Language for the Stochastic Simulation of Biological Systems Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo–Schettini, Paolo Milazzo Dipartimento di Informatica, Universit` a di Pisa

    An Intermediate Language for the Stochastic Simulation of Biological Systems Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo–Schettini, Paolo Milazzo Dipartimento di Informatica, Universit` a di Pisa

    Add to Reading List

    Source URL: pages.di.unipi.it

    Language: English - Date: 2015-12-18 06:55:15
    16Language-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
      17Language Models for Proofs Anonymous Author(s) ABSTRACT Proofs play a key role in reasoning about programs and verification of properties of systems. Mechanized proof assistants help users in developing proofs and checki

      Language Models for Proofs Anonymous Author(s) ABSTRACT Proofs play a key role in reasoning about programs and verification of properties of systems. Mechanized proof assistants help users in developing proofs and checki

      Add to Reading List

      Source URL: web.cs.ucdavis.edu

      Language: English - Date: 2018-10-22 12:57:37
      18Statewide Issue for the November 6, 2018 General Election BALLOT LANGUAGE Issue 1 To Reduce Penalties for Crimes of Obtaining, Possessing, and

      Statewide Issue for the November 6, 2018 General Election BALLOT LANGUAGE Issue 1 To Reduce Penalties for Crimes of Obtaining, Possessing, and

      Add to Reading List

      Source URL: www.sos.state.oh.us

      Language: English - Date: 2018-09-12 10:21:10
      19Language-based Defenses against Untrusted Browser Origins Karthikeyan Bhargavan INRIA Paris-Rocquencourt Antoine Delignat-Lavaud INRIA Paris-Rocquencourt

      Language-based Defenses against Untrusted Browser Origins Karthikeyan Bhargavan INRIA Paris-Rocquencourt Antoine Delignat-Lavaud INRIA Paris-Rocquencourt

      Add to Reading List

      Source URL: www.doc.ic.ac.uk

      Language: English - Date: 2014-01-06 10:00:12