Computer

Results: 301026



#Item
21Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK

Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK

Add to Reading List

Source URL: www.prismmodelchecker.org

Language: English - Date: 2012-05-10 09:21:59
22Theoretical Computer Science–40  www.elsevier.com/locate/tcs Presorting algorithms: An average-case point of view

Theoretical Computer Science–40 www.elsevier.com/locate/tcs Presorting algorithms: An average-case point of view

Add to Reading List

Source URL: precision.moscito.org

Language: English - Date: 2011-03-20 04:03:38
23Rain Classroom Manual  Part 1 Prepare Work FOR TEACHERS ■Computer: WindowsXP SP3、Windows7 or more advanced versions

Rain Classroom Manual Part 1 Prepare Work FOR TEACHERS ■Computer: WindowsXP SP3、Windows7 or more advanced versions

Add to Reading List

Source URL: qn-s0.yuketang.cn

Language: English - Date: 2018-03-20 23:28:08
24Die Datenschleuder Das wissenschaftliche Fachblatt für Datenreisende Ein Organ des Chaos Computer Club e.V. NETTER PC, DEN NEHMEN WIR!

Die Datenschleuder Das wissenschaftliche Fachblatt für Datenreisende Ein Organ des Chaos Computer Club e.V. NETTER PC, DEN NEHMEN WIR!

Add to Reading List

Source URL: ds.ccc.de

Language: German - Date: 2006-03-14 18:33:10
    25Stochastic Model Checking? Marta Kwiatkowska, Gethin Norman, and David Parker School of Computer Science, University of Birmingham Edgbaston, Birmingham B15 2TT, United Kingdom  Abstract. This tutorial presents an overvi

    Stochastic Model Checking? Marta Kwiatkowska, Gethin Norman, and David Parker School of Computer Science, University of Birmingham Edgbaston, Birmingham B15 2TT, United Kingdom Abstract. This tutorial presents an overvi

    Add to Reading List

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

    Language: English - Date: 2011-06-22 09:34:32
    26Description Logics  ILCS 2007 Introduction to Logic in Computer Science: Autumn 2007

    Description Logics ILCS 2007 Introduction to Logic in Computer Science: Autumn 2007

    Add to Reading List

    Source URL: formal.iti.kit.edu

    Language: English - Date: 2016-07-22 17:55:15
    27Published as a conference paper at ICLRM AKING N EURAL P ROGRAMMING A RCHITECTURES G ENERALIZE VIA R ECURSION Jonathon Cai, Richard Shin, Dawn Song Department of Computer Science

    Published as a conference paper at ICLRM AKING N EURAL P ROGRAMMING A RCHITECTURES G ENERALIZE VIA R ECURSION Jonathon Cai, Richard Shin, Dawn Song Department of Computer Science

    Add to Reading List

    Source URL: people.eecs.berkeley.edu

    Language: English - Date: 2017-03-10 19:56:16
    28Reading Wikipedia to Answer Open-Domain Questions Adam Fisch, Jason Weston & Antoine Bordes Danqi Chen∗ Facebook AI Research Computer Science 770 Broadway

    Reading Wikipedia to Answer Open-Domain Questions Adam Fisch, Jason Weston & Antoine Bordes Danqi Chen∗ Facebook AI Research Computer Science 770 Broadway

    Add to Reading List

    Source URL: arxiv.org

    Language: English - Date: 2017-04-30 21:08:35
    29die datenschleuder. das wissenschaftliche fachblatt für datenreisende ein organ des chaos computer club T-Com macht’s möglich

    die datenschleuder. das wissenschaftliche fachblatt für datenreisende ein organ des chaos computer club T-Com macht’s möglich

    Add to Reading List

    Source URL: ds.ccc.de

    Language: German - Date: 2006-03-14 18:33:00
      30Operator Counting Heuristics for Probabilistic Planning Felipe Trevizan, Sylvie Thi´ebaux, Patrik Haslum Data61, CSIRO and Research School of Computer Science, Australian National University   Abstr

      Operator Counting Heuristics for Probabilistic Planning Felipe Trevizan, Sylvie Thi´ebaux, Patrik Haslum Data61, CSIRO and Research School of Computer Science, Australian National University Abstr

      Add to Reading List

      Source URL: users.cecs.anu.edu.au

      Language: English - Date: 2018-07-07 12:35:35