Sciweavers

182

Voted

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 3 months ago

Download www.dialog-21.ru

Sumit Bhatia, Prakhar Biyani, Prasenjit Mitra

claim paper

Read More »

182

Voted

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 3 months ago

Download statlab.fon.bg.ac.rs

Marina Dobrota, Milica Bulajic, Lutz Bornmann, Vel...

claim paper

Read More »

276

Voted

JASIS
2016

76views Algorithms» more JASIS 2016»

A conceptual model for video games and interactive media

10 years 3 months ago

Download gamer.ischool.uw.edu

Jacob Jett, Simone Sacchi, Jin Ha Lee, Rachel Ivy ...

claim paper

Read More »

177

Voted

JAR
2016

70views Algorithms» more JAR 2016»

Semi-intelligible Isar Proofs from Machine-Generated Proofs

10 years 3 months ago

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 »

197

Voted

JAR
2016

62views Algorithms» more JAR 2016»

Eisbach: A Proof Method Language for Isabelle

10 years 3 months ago

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 »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers