Sciweavers

    4609 search results - page 118 / 922
    » Automatic Generation of Sigma-Protocols
    Sort
    View
    JACIII
    2007
    67views more  JACIII 2007»
    Automatic Generation of VHDL for Control Logic of Air Conditioning Using Evolutionary Computation
    15 years 6 months ago
    Automatic Generation of VHDL for Control Logic of Air Conditioning Using Evolutionary Computation
    Download  www.fujipress.jp
    Kazuyuki Kojima, Keiichi Watanuki
    claim paper
    Read More »
    EDM
    2009
    179views Data Mining» more  EDM 2009»
    Learning Factors Transfer Analysis: Using Learning Curve Analysis to Automatically Generate Domain Models
    15 years 4 months ago
    Learning Factors Transfer Analysis: Using Learning Curve Analysis to Automatically Generate Domain Models
    Download  www.educationaldatamining.org
    This paper describes a novel method to create a quantitative model of an educational content domain of related practice item-types using learning curves. By using a pairwise test t...
    Philip I. Pavlik Jr., Hao Cen, Kenneth R. Koedinge...
    claim paper
    Read More »
    ICAART
    2009
    INSTICC
    64views Intelligent Agents» more  ICAART 2009»
    Automatic Multilingual Lexicon Generation using Wikipedia as a Resource
    15 years 4 months ago
    Automatic Multilingual Lexicon Generation using Wikipedia as a Resource
    Download  www-users.cs.york.ac.uk
    Ahmad R. Shahid, Dimitar Kazakov
    claim paper
    Read More »
    TSE
    2010
    161views more  TSE 2010»
    Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking
    15 years 4 months ago
    Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking
    Download  www.cs.washington.edu
    — Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page vali...
    Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, ...
    claim paper
    Read More »
    SIGMOD
    2011
    ACM
    290views Database» more  SIGMOD 2011»
    Database state generation via dynamic symbolic execution for coverage criteria
    14 years 9 months ago
    Database state generation via dynamic symbolic execution for coverage criteria
    Download  people.engr.ncsu.edu
    Automatically generating sufficient database states is imperative to reduce human efforts in testing database applications. Complementing the traditional block or branch coverage...
    Kai Pan, Xintao Wu, Tao Xie
    claim paper
    Read More »
    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.