Sciweavers

    JASIS
    2016
    50views Algorithms» more  JASIS 2016»
    Identifying the role of individual user messages in an online discussion and its use in thread retrieval
    10 years 28 days ago
    Identifying the role of individual user messages in an online discussion and its use in thread retrieval
    Download  www.dialog-21.ru
    Sumit Bhatia, Prakhar Biyani, Prasenjit Mitra
    claim paper
    Read More »
    JASIS
    2016
    41views Algorithms» more  JASIS 2016»
    A new approach to the QS university ranking using the composite I-distance indicator: Uncertainty and sensitivity analyses
    10 years 28 days ago
    A new approach to the QS university ranking using the composite I-distance indicator: Uncertainty and sensitivity analyses
    Download  statlab.fon.bg.ac.rs
    Marina Dobrota, Milica Bulajic, Lutz Bornmann, Vel...
    claim paper
    Read More »
    JASIS
    2016
    76views Algorithms» more  JASIS 2016»
    A conceptual model for video games and interactive media
    10 years 28 days ago
    A conceptual model for video games and interactive media
    Download  gamer.ischool.uw.edu
    Jacob Jett, Simone Sacchi, Jin Ha Lee, Rachel Ivy ...
    claim paper
    Read More »
    JAR
    2016
    70views Algorithms» more  JAR 2016»
    Semi-intelligible Isar Proofs from Machine-Generated Proofs
    10 years 28 days ago
    Semi-intelligible Isar Proofs from Machine-Generated Proofs
    Download  www.cs.cornell.edu
    Sledgehammer is a component of the Isabelle/HOL proof assistant that integrates external automatic theorem provers (ATPs) to discharge interactive proof obligations. As a safeguard...
    Jasmin Christian Blanchette, Sascha Böhme, Ma...
    claim paper
    Read More »
    JAR
    2016
    62views Algorithms» more  JAR 2016»
    Eisbach: A Proof Method Language for Isabelle
    10 years 28 days ago
    Eisbach: A Proof Method Language for Isabelle
    Download  ssrg.nicta.com.au
    Abstract Machine-checked proofs are becoming ever-larger, presenting an increasing maintenance challenge. Isabelle’s most popular language interface, Isar, is attractive for new ...
    Daniel Matichuk, Toby C. Murray, Makarius Wenzel
    claim paper
    Read More »
    « first‹ previous…109410951096109710981099110011011102…next ›last »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.