Sciweavers

    76 search results - page 3 / 16
    » The groupthink specification exercise
    Sort
    View
    AAAI
    2007
    95views Intelligent Agents» more  AAAI 2007»
    Supporting Feedback and Assessment of Digital Ink Answers to In-Class Exercises
    13 years 10 months ago
    Supporting Feedback and Assessment of Digital Ink Answers to In-Class Exercises
    Download  projects.csail.mit.edu
    Effective teaching involves treating the presentation of new material and the assessment of students’ mastery of this material as part of a seamless and continuous feedback cycl...
    Kimberle Koile, Kevin Chevalier, Michel Rbeiz, Ada...
    claim paper
    Read More »
    JASIS
    2007
    119views more  JASIS 2007»
    Visualization of the citation impact environments of scientific journals: An online mapping exercise
    13 years 7 months ago
    Visualization of the citation impact environments of scientific journals: An online mapping exercise
    Download  www.leydesdorff.net
    Aggregated journal-journal citation networks based on the Journal Citation Reports 2004 of the Science Citation Index (5968 journals) and the Social Science Citation Index (1712 j...
    Loet Leydesdorff
    claim paper
    Read More »
    EDM
    2009
    116views Data Mining» more  EDM 2009»
    Dimensions of Difficulty in Translating Natural Language into First-Order Logic
    13 years 5 months ago
    Dimensions of Difficulty in Translating Natural Language into First-Order Logic
    Download  www.informatics.sussex.ac.uk
    In this paper, we present a study of a large corpus of student logic exercises in which we explore the relationship between two distinct measures of difficulty: the proportion of s...
    Dave Barker-Plummer, Richard Cox, Robert Dale
    claim paper
    Read More »
    DAC
    2003
    ACM
    129views Computer Architecture» more  DAC 2003»
    Using a formal specification and a model checker to monitor and direct simulation
    14 years 8 months ago
    Using a formal specification and a model checker to monitor and direct simulation
    Download  network.ku.edu.tr
    We describe a technique for verifying that a hardware design correctly implements a protocol-level formal specification. Simulation steps are translated to protocol state transiti...
    Serdar Tasiran, Yuan Yu, Brannon Batson
    claim paper
    Read More »
    SERP
    2003
    87views Software Engineering» more  SERP 2003»
    Specification of the Verity Learning Companion and Self-Assessment Tool
    13 years 9 months ago
    Specification of the Verity Learning Companion and Self-Assessment Tool
    Download  www.cse.unr.edu
    In this paper, the specification of Verity, a webbased instructional tool, is presented. Verity is intended to be used as a learning assistant and self-assessment tool, more than ...
    Sergiu Dascalu, Daniela Saru, Ryan Simpson, Justin...
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.