Context model

Results: 450



#Item
1A Context-Sensitive Memory Model for Verification of C/C++ Programs Arie Gurfinkel and Jorge A. Navas University of Waterloo and SRI International SAS’17, August 30th, 2017

A Context-Sensitive Memory Model for Verification of C/C++ Programs Arie Gurfinkel and Jorge A. Navas University of Waterloo and SRI International SAS’17, August 30th, 2017

Add to Reading List

Source URL: seahorn.github.io

Language: English - Date: 2018-08-03 20:31:21
2A Context-Sensitive Memory Model for Verification of C/C++ Programs? Arie Gurfinkel1 and Jorge A. Navas2 1 University of Waterloo (Canada)

A Context-Sensitive Memory Model for Verification of C/C++ Programs? Arie Gurfinkel1 and Jorge A. Navas2 1 University of Waterloo (Canada)

Add to Reading List

Source URL: seahorn.github.io

Language: English - Date: 2018-08-03 20:31:21
3Model contract to ensure equivalent protection in the context of transborder data flows with explanatory reportStudy made jointly by the Council of Europe, the Commission of the European Communities and Internati

Model contract to ensure equivalent protection in the context of transborder data flows with explanatory reportStudy made jointly by the Council of Europe, the Commission of the European Communities and Internati

Add to Reading List

Source URL: www.edoeb.admin.ch

Language: English
4A Context-Sensitive Memory Model for Verification of C/C++ Programs? Arie Gurfinkel1 and Jorge A. Navas2 1 University of Waterloo (Canada)

A Context-Sensitive Memory Model for Verification of C/C++ Programs? Arie Gurfinkel1 and Jorge A. Navas2 1 University of Waterloo (Canada)

Add to Reading List

Source URL: seahorn.github.io

Language: English - Date: 2018-08-03 20:31:21
5A Context-Sensitive Memory Model for Verification of C/C++ Programs? Arie Gurfinkel1 and Jorge A. Navas2 1 University of Waterloo (Canada)

A Context-Sensitive Memory Model for Verification of C/C++ Programs? Arie Gurfinkel1 and Jorge A. Navas2 1 University of Waterloo (Canada)

Add to Reading List

Source URL: jorgenavas.github.io

Language: English - Date: 2018-10-25 12:43:22
6A Context-Sensitive Memory Model for Verification of C/C++ Programs Arie Gurfinkel and Jorge A. Navas University of Waterloo and SRI International SAS’17, August 30th, 2017

A Context-Sensitive Memory Model for Verification of C/C++ Programs Arie Gurfinkel and Jorge A. Navas University of Waterloo and SRI International SAS’17, August 30th, 2017

Add to Reading List

Source URL: seahorn.github.io

Language: English - Date: 2018-08-03 20:31:21
7A Neural Verb Lexicon Model with Source-Side Syntac9c Context for String-to-Tree MT Maria Nădejde1 Alexandra Birch1 and Philipp Koehn2 1University of Edinburgh

A Neural Verb Lexicon Model with Source-Side Syntac9c Context for String-to-Tree MT Maria Nădejde1 Alexandra Birch1 and Philipp Koehn2 1University of Edinburgh

Add to Reading List

Source URL: workshop2016.iwslt.org

Language: English - Date: 2016-12-09 19:41:52
    8Jan-Willem Romeijn Conditioning and Interpretation Shifts Abstract. This paper develops a probabilistic model of belief change under interpretation shifts, in the context of a problem case from dynamic epistemic logic.

    Jan-Willem Romeijn Conditioning and Interpretation Shifts Abstract. This paper develops a probabilistic model of belief change under interpretation shifts, in the context of a problem case from dynamic epistemic logic.

    Add to Reading List

    Source URL: www.philos.rug.nl

    Language: English - Date: 2013-11-14 05:38:49
      9A Supertag-Context Model for Weakly-Supervised CCG Parser Learning Dan Garrette∗ Chris Dyer†

      A Supertag-Context Model for Weakly-Supervised CCG Parser Learning Dan Garrette∗ Chris Dyer†

      Add to Reading List

      Source URL: www.dhgarrette.com

      Language: English - Date: 2018-08-10 17:39:38
        10Error model estimation by maximum-likelihood methods in the context of dynamic modeling Mirjam Fehling-Kaschek1 , Daniel Kaschek1 , Wolfgang Mader1 , Marcus Rosenblatt1 , Jens Timmer1,2,3 1 Institute of Physics, Freibur

        Error model estimation by maximum-likelihood methods in the context of dynamic modeling Mirjam Fehling-Kaschek1 , Daniel Kaschek1 , Wolfgang Mader1 , Marcus Rosenblatt1 , Jens Timmer1,2,3 1 Institute of Physics, Freibur

        Add to Reading List

        Source URL: www.user2017.brussels

        Language: English - Date: 2017-06-23 17:57:29